无效的字符流宏

Question

以下预处理宏：

#define _VARIANT_BOOL /##/

实际上并不是有效的C；粗略地说，原因是预处理器被定义为处理一个令牌流，而上面的假设是它在一个字符流上工作。

另一方面，不幸的是，上述情况实际上发生在一个Microsoft头文件中，所以无论如何我都必须处理它。(我正在研究一个预处理器实现。)

还有什么其他情况是人们在野外遇到的，无论在遗留代码中-不管这些代码多么古老-只要该代码仍在使用中，预处理器宏实际上是无效的，但由于它们是在使用面向字符的预处理器实现的编译器下编写的，所以仍然有效吗？

(基本原理:如果我编写了一个正确的、干净的、符合标准的面向令牌的实现，我正试图提前了解需要破解多少个特殊情况。)

Answer 1

标准(§6.10.3.3 The ## operator)的相关部分说：

如果结果不是有效的预处理令牌，则行为未定义。

这意味着您的预处理器可以做它喜欢做的任何事情，并且仍然是标准的一致性，包括模仿常见的行为。

我认为您仍然可以使用“基于令牌”的实现并支持这种行为，方法是指定当##运算符的结果不是有效的预处理令牌时，结果是两个操作数令牌不变。您还可能希望让预处理器发出有关无效代码的警告。