奇怪的C++成员函数指针的规则？

Question

可能的重复：
带括号的成员函数地址错误

在 这个最近的问题OP遇到了C++语言的一个奇怪的规定，使得如果成员函数名称带有括号，则获取该成员函数的地址是非法的。例如，这段代码是非法的：

struct X {
    void foo();
};

int main() {
    void (X::* ptr)();
    ptr = &(X::foo);   // Illegal; must be &X::foo
}

我查了一下，发现这是由于 C++ ISO 规范的 §5.3.1/3 造成的，其中内容如下

仅当显式 & 时才会形成指向成员的指针。使用且其操作数是未括在括号中的限定 ID [...]

有谁知道为什么规范有这个规则吗？它特定于指向成员的指针，因此我怀疑这会解决一些语法上的歧义，但老实说，我根本不知道它可能是什么。

Answer 1

这只是个人意见。
如果允许 &(qualified-id) 作为 &(unary-expression)，
qualified-id 必须是一个表达式，并且表达式应该有一个类型
（即使它不完整）。
然而，C++ 没有表示成员的类型，只有
指向成员的指针。
例如，以下代码无法编译。

struct A { int i; };

template< class T > void f( T* );

int main() {
  (void) typeid( A::i );
  f( &A::i );
}

为了使 &(qualified-id) 有效，编译器必须保存
内部成员类型。
但是，如果我们放弃 &(qualified-id) 表示法，编译器就不需要
处理成员类型。
由于成员类型始终以指向它的指针的形式处理，
我猜标准优先考虑简化编译器的类型
系统一点。

Answer 2

想象一下这段代码：

struct B { int data; };
struct C { int data; };

struct A : B, C {
  void f() {
    // error: converting "int B::*" to "int*" ?
    int *bData = &B::data;

    // OK: a normal pointer
    int *bData = &(B::data);
  }
};

如果没有括号的技巧，您将无法直接获取 B 的数据成员的指针（您将需要基类转换和带有 this 的游戏 - 不太好）。

---

来自ARM：

请注意，必须显式使用取址运算符来获取指向成员的指针；没有隐式转换...如果有的话，我们在成员函数的上下文中就会产生歧义...例如，

void B::f() {
    int B::* p = &B::i; // 好的
    p = B::i； // 错误：B::i 是 int
    p = &i; // 错误：'&i' 意味着 '&this->i' 是一个 'int*'

    int *q = &i; // 好的
    q = B::i； // 错误：'B::i 是一个 int
    q = &B::i; // 错误：'&B::i' 是 'int B::*'
}

IS 只是保留了这个标准之前的概念，并明确提到括号使它这样你就不会没有得到指向成员的指针。