C++ 为什么可变宏如此令人不快？
与C++的可变模板相比，CPP（C/C++预处理器；为了简单起见，我将在这个问题中将其视为一种单独的语言）中的可变宏非常有限。本质上，可变宏只是带有参数的宏，其参数允许包含逗号。这并没有提供简单的方法来计算参数、逐个操作参数等。这些都是可能的，但需要复杂、混乱且编译速度慢的黑客，如中所述。使用C++ 为什么可变宏如此令人不快？,c++,c,c-preprocessor,language-lawyer,variadic-macros,C++,C,C Preprocessor,Language Lawyer,Variadic Macros,与C++的可变模板相比，CPP（C/C++预处理器；为了简单起见，我将在这个问题中将其视为一种单独的语言）中的可变宏非常有限。本质上，可变宏只是带有参数的宏，其参数允许包含逗号。这并没有提供简单的方法来计算参数、逐个操作参数等。这些都是可能的，但需要复杂、混乱且编译速度慢的黑客，如中所述。使用VA_ARGS可以做的唯一简单的事情就是将它们传递给一个变量函数 我的问题是，为什么它们是这样设计的？在任何纯函数式语言（如CPP）中，列表的标准方法都是cons样式的模式匹配：处理列表的第一个参数，对其余
VA_ARGS注意：我不是在寻找表格“因为人们不应该想要可变宏”的答案/注释。像boost.preprocessor这样的东西的存在表明理性的人希望以非平凡的方式使用预处理器。也不寻求关于为什么其他设计是好主意/坏主意的个人意见。我试图从时间上找出实际的推理。 < P>变量宏，从C.< /P>继承为C++。 写了一篇向C添加变量宏的论文 国家： 此建议允许宏的作者声明它需要 变量数量的参数，并替换尾随参数 整体而言 [……] 有可能提供更多的设施，但这一点已被搁置 进一步的建议 一个问题是是否应该允许零实际参数 以匹配尾部参数。已经决定不允许这样做，因为 这更适合单独提出另一项提案 因此，计划是添加最需要的功能（一个可用于填充printf调用的宏），并为以后的论文留下进一步的扩展 在C++中，宏是二等公民。C++很少使用新的宏语法或特征进行创新，而是在没有宏的情况下解决问题的方法。 C没有进一步创新
添加到C中的实际vararg宏来自于从该宏派生出来的论文，但该宏在这一决定背后有着最清晰的动机文本。中的意图显然只是作为可变函数的包装器。可变宏是在C99中引入的，后来在C++11中引入。C99基本原理V5.10 6.10.3提供了以下解释： C99的一个新特性：C89引入了一种标准机制，用于使用 参数数量可变，但不允许以任何方式使用相同的参数编写宏 财产。例如，无法编写类似于调用printf的宏 该设施现在可用。宏定义使用省略号的方式与指示 变量参数列表。但是，由于宏替换是文本的而不是运行时的，因此 不同的机制用于指示替换参数的位置：标识符
\uuu VA\u ARGS\uuu虽然
\uu VA\u ARGS\uu\uu VA\u COUNT\uu\u VA\u COUNT\uN580（及其后继者）似乎代表了一个流行且无争议的建议，即允许变量通过宏，而
\uuuu VA\u COUNT\uuuu