c++ - 使用宏访问指向数据成员的指针会产生 "error: expected unqualified-id before ‘*’ token ”

Question

大问题的最少代码:

struct S { int i; };
typedef int (S::*Type);

Type foo (int) { return &S::i; }
#define FOO(X) *foo(X)

int main ()
{
  S s;
  s.*foo(0) = 0; // ok
  s.FOO(0) = 0; // error  <--- ?? 
}

如果 foo() 方法被替换为 FOO() 宏以避免“*”，那么它会导致标题中出现错误。当我使用 g++ -E 选项检查预处理时，“ok”和“error”行看起来都一样。
为什么宏会出现这个错误？

Answer 1

使用 clang 3.8 我得到了您程序的下一个输出:

# 1 "test.cpp"
# 1 "<built-in>" 1
# 1 "<built-in>" 3
# 325 "<built-in>" 3
# 1 "<command line>" 1
# 1 "<built-in>" 2
# 1 "test.cpp" 2
struct S { int i; };
typedef int (S::*Type);

Type foo (int) { return &S::i; }


int main ()
{
  S s;
  s.*foo(0) = 0;
  s. *foo(0) = 0;
}

可以看到行中的空格:

s. *foo(0) = 0;

这个空格是“expected the unqualified-id before...”错误的原因。空间本身应该是 token spacing 的产物.

不知道为什么g++ 不显示空格。可能是关于表示预处理输出的编译器错误。