了解成员指针运算符

Question

我从一本c++练习书中复制了这个程序。幕后发生了什么？

预期输出是：

总和=30总和=70

#include<iostream>
using namespace std;

class M
{
    int x;
    int y;
public:
    void set_xy(int a, int b)
    {
        x=a;
        y=b;
    }
    friend int sum(M m);
};

int sum (M m);
//so far so good, problem begins from here. what's happening after here?
{                               
    int M ::*px = &M ::x;
    int M ::*py = &M ::y;
    M *pm =&m;
    int s= m.*px+ pm->*py;
    return s;
}

int main()
{
    M n;
    void (M :: *pf)(int, int) = &M ::set_xy;
    (n.*pf)(10, 20);
    cout <<"sum=" << sum(n) << endl;

    M *op= &n;
    (op-> *pf)(30,40);
    cout << "sum=" << sum(n)<< endl;

    cin.ignore();
    getchar();
    return 0;
}

Answer 1

问题是因为 op-> 处有额外的空格。 *pf：

 (op->*pf)(30,40);  // ok

我想@fefe可能已经在评论中说了原因。 ->* 是单个运算符，类似于 .*。因此，如果将这两者分开，则会导致不同的语法，从而导致编译器错误。

Answer 2

看一下指向类数据的指针。对于错误， ->* 是一个运算符，不能在它们之间放置空格。

Answer 3

iammilind 跟我打赌这个错误； op->;必须更改 *pf ，以便将 ->* 一起作为单个运算符 - a 指向成员运算符的指针（无法找到更好的链接）。 op ->* pf 中的空格完全有效。

对于像 i++ 这样的东西也是如此； ++ 是单个运算符，如果您尝试使用 i++，将会导致错误。

现在来说说它正在做什么。该示例是一个指向成员函数的指针。 pf 被声明为 class M 的成员函数，它接受两个 int 参数，返回类型为 void 。它被初始化为指向 M::set_xy 函数。

在 main 内部：

• n 的类型为 M，因此为了使用 pf 来调用 set_xy of n 您可以使用 .* 运算符：(n.*pf)(10, 20); 。这相当于 n.set_xy(10, 20);。

• 由于 op 的类型为 M*（指向 M 对象的指针），因此您需要使用 ->* 运算符并调用 pf 指向的函数为：(op->*pf)(30, 40);，即相当于op->set_xy(30, 40);

内部 sum：

• 这些示例只是指向成员/实例的指针变量，而不是成员函数。它只是演示如何使用这些类型的指针将 mx 和 my 加在一起。