C 预处理器是先删除注释还是先扩展宏？

Question

考虑这个（可怕的，可怕的，不好的，非常糟糕的）代码结构：

#define foo(x) // commented out debugging code

// Misformatted to not obscure the point
if (a)
foo(a);
bar(a);

我已经看到两个编译器的预处理器在此代码上生成不同的结果：

if (a)
bar(a);

显然

if (a)
;
bar(a);

，这对于可移植代码库来说是一件坏事。

我的问题：预处理器应该对此做什么？先删除注释，还是先扩展宏？

Answer 1

不幸的是，原始的 ANSI C 规范 明确排除了第 4 节中的任何预处理器功能（“本规范仅描述 C 语言，没有对库或预处理器做出任何规定。”）。

不过，C99 规范明确地处理了这个问题。在“翻译阶段”，注释被替换为单个空格，这发生在预处理指令解析之前。 （详见第 6.10 节）。

VC++ 和 GNU C 编译器 都遵循此范例 - 其他编译器如果较旧，可能不兼容，但如果它符合 C99 标准，那么您应该是安全的。

Answer 2

如此副本中所述 - C99 标准中翻译阶段的 n 粘贴说明，删除注释（它们被单个空格替换）发生在翻译阶段 3，而预处理指令的处理和宏的扩展在阶段 4。

在 C90 中标准（我只有硬拷贝，所以没有复制粘贴）这两个阶段以相同的顺序发生，尽管翻译阶段的描述在某些细节上与 C99 标准略有不同 - 事实上注释是在处理预处理指令之前删除并替换为单个空白字符，并且扩展的宏没有什么不同。

同样，C++ 标准使这两个阶段以相同的顺序发生。

至于如何处理 '//' 注释，C99 标准是这样说的 (6.4.9/2)：

除了字符常量、字符串文字或注释之外，字符 //
引入一个注释，其中包括所有多字节字符，但不包括
下一个换行符。

C++ 标准说 (2.7)：

字符 // 开始注释，以下一个换行符结束
性格。

因此，您的第一个示例显然是翻译人员的错误 - 当 foo( ) 宏已扩展 - 注释字符不应成为 foo() 宏“内容”的一部分。

但由于您面临着一个有错误的翻译器，您可能需要将宏定义更改为：

#define foo(x) /* junk */

以解决该错误。

然而（我在这里偏离了主题......），由于行拼接（换行符之前的反斜杠）发生在处理注释之前，因此您可能会遇到类似这样的令人讨厌的代码：

#define evil( x) printf( "hello "); // hi there, \
                 printf( "%s\n", x); // you!



int main( int argc, char** argv)
{
    evil( "bastard");

    return 0;
}

这可能会让编写者感到惊讶它。

或者更好的是，尝试以下由喜欢框式注释的人（当然不是我！）编写的内容：

int main( int argc, char** argv)
{
                            //----------------/
    printf( "hello ");      // Hey, what the??/
    printf( "%s\n", "you"); // heck??         /
                            //----------------/
    return 0;
}

取决于您的编译器是否默认处理 三字母 或不（编译器应该这样做，但由于三字母几乎让所有遇到它们的人感到惊讶，一些编译器决定默认关闭它们），您可以或可能不会得到你想要的行为——当然，无论是什么行为。

Answer 3

根据 MSDN，注释被替换为单个标记化阶段的空间，
这发生在扩展宏的预处理阶段之前。

Answer 4

切勿在宏中添加 // 注释。如果必须添加注释，请使用 /* */。另外，你的宏有一个错误：

#define foo(x) do { } while(0) /* junk */

这样， foo 总是可以安全使用。例如：

if (some condition)
    foo(x);

无论 foo 是否定义为某个表达式，都永远不会抛出编译器错误。

Answer 5

#ifdef _TEST_
#define _cerr cerr
#else
#define _cerr / ## / cerr
#endif

• 适用于某些编译器 (VC++)。当_TEST_未定义时，

  _cerr ...

  将被注释行替换

  // cerr ...

Answer 6

我似乎记得合规需要三个步骤：

1. 条
2. 展开宏
3. 再次剥离

这样做的原因与编译器能够直接接受 .i 文件有关。