两个相同的预处理器定义给出不同的结果

Question

考虑片段：

 
#define CAT(a, b) a##b 

#define M_0 CAT(x, y) 
#define M(a) CAT(M_, a)() 
M(0); 

#define N_0() CAT(x, y) 
#define N(a) CAT(N_, a)() 
N(0); 

给我M(a)和N(a)两个定义看起来相同。 然而，GCC 4.6.1的cpp这个扩展为：

 
CAT(x, y)(); 
xy; 

为什么？

Answer 1

#define M_0 CAT(x, y) 
#define N_0() CAT(x, y) 

M_0是一个简单的文字替换。 N_0是一个宏函数，当被评估时，根据需要评估任何其他宏函数。