C语言中可变参数后能否跟参数？send宏中__VA_ARGS__后加终止参数合规吗？

1. C语言是否允许参数出现在可变参数之后？ #

不允许。按照C语言标准（涵盖C99到最新的C23），可变参数标记...必须作为函数参数列表的最后一项，不能在它之后定义任何普通参数。无论是函数定义还是声明，都必须遵守这个规则，否则属于语法错误。

2. 该send宏定义在__VA_ARGS__后插入终止参数是否符合规范？ #

这个宏的写法在多数场景下符合规范，但存在一个边缘场景需要注意：

• 当正常调用send并传入可变参数时（比如send(1, "a", 2)），宏会展开为compile_args(1, "a", 2, NULL)，这种情况完全符合C标准，compile_args可以通过可变参数机制正常处理。
• 问题出在未传入可变参数的场景（比如send(1)）：此时__VA_ARGS__会被替换为空，宏展开后变成compile_args(1, , NULL)，这会出现多余的逗号，属于语法错误。

如果要兼容这种空参数场景，可以借助C23标准引入的__VA_OPT__特性（或GNU编译器的扩展语法）修改宏定义，避免多余逗号：

#define send(targ, ...)(compile_args(targ, __VA_ARGS__ __VA_OPT__(,) VALIST_TERMINATOR))

另外需要注意：VALIST_TERMINATOR被定义为NULL，要确保compile_args处理的可变参数类型都能与NULL兼容（比如都是指针类型），否则会出现类型不匹配问题，但这属于代码逻辑层面，而非宏语法的规范问题。

内容的提问来源于stack exchange，提问作者Edwin Skeevers