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);

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

我的问题：预处理器应该对此做什么？先去掉cmets，还是先展开宏？

Answer 1

不幸的是，最初的 ANSI C Specification 明确排除了第 4 节中的任何预处理器功能（“本规范仅描述 C 语言。它没有为库或预处理器提供任何规定。”）。

不过，C99 specification 会明确处理此问题。 cmets 在“翻译阶段”中被替换为单个空格，这发生在预处理指令解析之前。 （详见第 6.10 节）。

VC++ 和 GNU C Compiler 都遵循这种范式 - 如果其他编译器较旧，则可能不兼容，但如果它符合 C99，则应该是安全的。

Answer 2

如 C99 标准中翻译阶段的 this copy-n-pasted decription 所述，在翻译阶段 3 中会删除 cmets（它们被单个空格替换），而在阶段 4 中处理预处理指令并扩展宏。

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

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

至于应该如何处理“//”cmets，C99 标准是这样说的（6.4.9/2）：

除了在字符常量、字符串字面量或注释中，字符 // 引入包含所有多字节字符的注释，但不包括 下一个换行符。

C++ 标准说 (2.7)：

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

因此，您的第一个示例显然是该翻译器的一个错误-当扩展 foo() 宏时，应保留 foo(a) 之后的“;”字符-注释字符不应成为the foo() 宏的“内容”。

但由于您遇到了一个有问题的翻译器，您可能希望将宏定义更改为：

#define foo(x) /* junk */

解决该错误。

但是（我在这里偏离了主题......），因为在处理 cmets 之前发生了行拼接（换行之前的反斜杠），您可能会遇到类似这样的讨厌代码：

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



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

    return 0;
}

这可能会让写它的人感到惊讶。

或者更好的是，尝试以下由喜欢盒子式 cmets 的人（当然不是我！）编写的：

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

取决于你的编译器是否默认处理trigraphs（编译器应该这样做，但由于三元组几乎让所有遇到它们的人都感到惊讶，所以一些编译器决定默认关闭它们），你可能会也可能不会你想要的行为——当然是任何行为。

Answer 3

根据MSDN，在分词阶段将cmets替换为单个空格， 这发生在扩展宏的预处理阶段之前。

Answer 4

永远不要把 // cmets 放在你的宏中。如果必须放置 cmets，请使用 /* */。另外，你的宏有错误：

#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 文件有关。