gcc和Microsoft预处理器之间的区别

Question

我发现Microsoft Visual Studio编译器和gcc以不同的方式预处理以下小片段：

# define M3(x, y, z) x + y + z
# define M2(x, y) M3(x, y)
# define P(x, y) {x, y}
# define M(x, y) M2(x, P(x, y))
M(a, b)

'gcc -E'给出以下内容：

a + {a + b}

，'cl / E'发出关于缺少宏参数的警告并产生以下输出：

a + {a, b} +

似乎来自嵌套宏扩展的逗号不被视为参数分隔符。 不幸的是，我没有找到cl预处理器中实现的算法的描述，所以我不确定我的建议是否正确。 有谁知道cl预处理器是如何工作的，它的算法和gcc之间有什么区别？ 以及如何解释观察到的行为？

Answer 1

# define M3(x, y, z) x + y + z
# define M2(x, y) M3(x, y)
# define P(x, y) {x, y}
# define M(x, y) M2(x, P(x, y))
M(a, b)

让我们一步一步地手动推出：

M(a, b)
--> M2(a, P(a, b))
--> M2(a, {a, b})

标准说：

列表中的各个参数由逗号预处理标记分​​隔，但匹配内部括号之间的逗号预处理标记不会分开

只提到括号，所以......

--> M3(a, {a, b})
--> a + {a + b}

重要：

M3(a, {a, b})

在这里，根据标准的先前引用，三个“参数”被传递给M3（使用单引号来描述标记/参数）：

M3('a', '{a', 'b}')

这些扩展到了

'a' + '{a' + 'b}'

这就是cpp （4.6.1）逐字提供的内容：

# 1 "cpp.cpp"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "cpp.cpp"




a + {a + b}

cpp （或gcc和g++ ）是正确的，MSVC不是。

作为贵族，请确保存在错误报告。

Answer 2

解释这种行为的唯一逻辑就是这样。

CL方式：

 M(a,b) 
 M2(a,P(a,b)) 
 M3(a,P(a,b))
 M3(a,{a,b}) -> M3 gets 2 arguments ( 'a' and '{a,b}') instead of 3.
    |  \ /
  arg1  |
      arg2 

Gcc方式：

M(a,b) 
M2(a,P(a,b)) 
M3(a,P(a,b))
M3(a,{a,b}) -> Gcc probably thinks there are 3 arguments here ('a', '{a', 'b}').
   |  | |
 arg1 | |
   arg2 |
     arg3

Answer 3

我认为gcc做对了，微软做的不对。

当对该行进行宏替换时

M2(a, P(a, b))

标准（第6.10.3.1节）要求在用其参数（“P（a，b）”）替换宏的替换列表（“M3（x，y）”）中的第二个参数（“y”）之前，宏对该论点进行替换。 这意味着“P（a，b）”在插入之前被处理为“{a，b}”，从而产生

M3(a, {a, b})

然后进一步替换为

a + {a + b}