指向成员函数的函数指针

Question

有几个重复项，但没有人解释为什么我可以使用成员变量来存储指针（在 FOO 中），但是当我尝试使用局部变量时（在 BAR 的注释部分中）），这是非法的。有人能解释一下吗？

#include <iostream>
using namespace std;

class FOO
{
public:
 int (FOO::*fptr)(int a, int b);
 int add_stuff(int a, int b)
 {
  return a+b;
 }
 void call_adder(int a, int b)
 {  
  fptr = &FOO::add_stuff;
  cout<<(this->*fptr)(a,b)<<endl;
 }
};

class BAR
{
public:
 int add_stuff(int a, int b)
 {
  return a+b;
 }
 void call_adder(int a, int b)
 {  
  //int (BAR::*fptr)(int a, int b);
  //fptr = &BAR::add_stuff;
  //cout<<(*fptr)(a,b)<<endl;
 }
};

int main()
{
 FOO test;
 test.call_adder(10,20);
 return 0;
}

Answer 1

显然，您误解了 FOO 调用中 this->* 的含义。

当您将 this->* 与成员 fptr 指针一起使用时，this->* 部分与 fptr 完全无关>fptr 是 FOO 的成员。当您使用指向成员的指针调用成员函数时，您必须使用 ->* 运算符（或 .* 运算符），并且您总是 必须指定要与该成员指针一起使用的实际对象。这就是调用表达式的 this->* 部分的作用。即，调用总是看起来像

(<pointer-to-object> ->* <pointer-to-member>) (<arguments>)

或作为

(<object> .* <pointer-to-member>) (<arguments>)

调用的左侧（<指向对象的指针>或

换句话说，无论fptr是成员变量、局部变量、全局变量还是任何其他类型的变量，通过fptr的调用都会总是看起来像是

(this->*fptr)(a, b);

假设您想使用 *this 对象调用它。再举一个例子，如果您想为指针 pfoo 指向的其他对象调用它，则调用将如下所示

FOO *pfoo;
...
(pfoo->*fptr)(a, b);

在您的 BAR 类中，调用应如下所示 < code>(this->*fptr)(a,b) 即使 fptr 是局部变量。

Answer 2

当使用成员函数指针时，需要指定它所作用的对象。

也就是说，您需要创建一个指向 BAR 实例的指针（我们称之为 bar）并执行 do:

(bar->*fptr)(a,b)

来调用该函数，或者创建一个 BAR 实例并执行 do:

(bar.*fptr)(a,b)

换句话说：

#include <iostream>

class BAR
{
    int i;
public:
    BAR(): i(0) {};
    int AddOne() { return ++i; };
    int GetI() { return i; };
}

int main()
{
    BAR bar;
    auto fPtr = &BAR::AddOne; // This line is C++0x only (because of auto)
    std::cout << (bar.*fPtr)(); //This will print 1 to the console
    std::cout << std::endl;
    std::cout << bar.GetI(); //This will also print 1 to the console.
}

Answer 3

我不认为变量的使用本身是非法的。尝试在没有类实例的情况下调用该方法是非法的。

也就是说，您应该真正调用 (someVar->*fptr)(a,b) ，其中 someVar 的类型为 BAR*

Answer 4

BAR::call_adder() 有几个问题。其一，你正在混合案例。在 C++ 中，大小写很重要。 BAR 和 bar 不同。其次，在修复大小写问题后，您很好地对指针进行了标记和分配，但是当您尝试通过指针调用成员函数时，您需要将 operator ->* 与类对象一起使用。这是 call_adder() 已修复

 void call_adder(int a, int b)
 {  
  int (BAR::*fptr)(int a, int b);
  fptr = &BAR::add_stuff;
  cout<<(this->*fptr)(a,b)<<endl;
 }

Answer 5

当您调用类的成员函数时，编译器会生成代码以在函数运行时设置“this”。当您从未完成的函数指针调用它时。有很多方法可以解决这个问题，但它们不能“保证”工作并且依赖于编译器。只要您小心并知道可能遇到的问题，您就可以做到。