宏串联和进一步扩展

Question

我可以放心地期望它

#define TEMPLATE_DECL_BEGIN_0 template <
#define TEMPLATE_DECL_BEGIN_1 TEMPLATE_DECL_BEGIN_0 typename Arg0
#define TEMPLATE_DECL_BEGIN_2 TEMPLATE_DECL_BEGIN_1 , typename Arg1
#define TEMPLATE_DECL_BEGIN_3 TEMPLATE_DECL_BEGIN_2 , typename Arg2
#define TEMPLATE_DECL(N) TEMPLATE_DECL_BEGIN_ ## N >

TEMPLATE_DECL(0)
TEMPLATE_DECL(1)
TEMPLATE_DECL(2)
TEMPLATE_DECL(3)

在任何合理标准的 C 预处理器上生成吗

template < >
template < typename Arg0 >
template < typename Arg0 , typename Arg1 >
template < typename Arg0 , typename Arg1 , typename Arg2 >

？

我担心的是先前替换后串联后的宏扩展：它是否有效，以便在 N 被替换后例如被 2 然后

TEMPLATE_DECL_BEGIN_2

变成

TEMPLATE_DECL_BEGIN_1 , typename Arg1

？

Answer 1

是的。来自 C99 标准的 6.10.3.3§3：

对于类似对象和类似函数的宏调用，在替换列表之前
重新检查更多宏名称以替换 ## 预处理标记的每个实例
替换列表中（不是来自参数）被删除，并且前面的预处理
令牌与以下预处理令牌连接。

和 6.10.3.4§3 ：

替换列表中的所有参数都被替换后#和##
处理完成后，所有地标预处理标记都会被删除。然后，
重新扫描生成的预处理令牌序列以及所有后续的
预处理源文件的标记，以替换更多宏名称。

该标准保证 x ## y 在替换更多宏名称之前发生，因此如果您当时构造一个宏名称，它将被替换。

这是来自 C99 标准，但我非常怀疑他们从 C89 标准更改了这一部分，这将是真正适用于 C++ 的版本。