C++和预处理器宏陷阱

Question

你能看出下面的陈述有什么问题吗？

GCC 错误指出：

“类型名称”声明为返回数组的函数

#define MACRO(a) (a)[1]

class index {
public:
    typedef int index_type[2];
    const index_type& operator[](int i) const;
};

int k = 0;
int i = MACRO(index()[k]);

顺便说一句：我知道出了什么问题，我认为分享这是一件有趣的事情。非常感谢 litb，他对之前问题的解释有助于很快解决这个错误。

Answer 1

在展开的行中：

int i = (index()[k])[1];

(index()[k]) 被解释为强制转换表达式，声明一个返回索引长度 k 的数组的函数。至少，事情看起来就是这样。我不确定 gcc 如何有效地将 [1] 解释为表达式。

Answer 2

我的猜测是您的语法存在歧义。编译器可能会查看扩展的宏：

 int i = (index()[k])[1];

并认为 index 实际上是返回数组的非成员函数声明，而不是构造 type 的临时对象索引。

但这只是一个猜测...如果您已经知道答案，请告诉我们:)

Answer 3

当您应用宏时，它会扩展为：

class index 
{
    // ...
    typedef int index_type[2];
    const index_type& operator[](int i)const;
    // ...
};

int k = 0;
int i = (index()[k])[1];

现在的问题（假设 index::operator[] 是公共的，并且从代码片段中看不出来）是 index::operator[] 的结果通过引用返回，并且您正在将 index() 对象构造为临时对象，因此，假设您的 index::operator[] 是按照我猜测您实现它的方式实现的（返回对成员对象的引用） ，index::operator[]的结果在返回后将立即无效（因为临时被破坏），因此您有未定义的行为。