深度理解计算可变参数宏 __VA_ARGS__ 的参数个数

网上很多关于计算可变参数宏 __VA_ARGS__ 的参数个数的帖子很多，但是都是写个宏，告诉别人就是这样写的，用就对了，但是都没有解释其中的道理。对于大多说人来说，知道这样用就够了，但是我喜欢探究其间的原理。通过跟老同事的探讨用于算是理解了。在此文字记录下，希望对你有所帮助。

源码1.c

#define OSI_VA_NARGS_IMPL(_0, _1, _2, _3, N, ...) N
#define OSI_VA_NARGS(...) OSI_VA_NARGS_IMPL(0, ##__VA_ARGS__, 3, 2, 1, 0)
void fun(void)
{
    int a = OSI_VA_NARGS(7, 9, 8);
}

首先对这段代码进行简单解释下，OSI_VA_NARGS这个宏的作用是计算传入参数的个数，像代码中的a为3，如果a = OSI_VA_NARGS(0, 5)，则a为2。OSI_VA_NARGS_IMPL和OSI_VA_NARGS中数字的最大值为3，则此宏表示最大只能计算出3个参数，如果写a = OSI_VA_NARGS(0, 5, 3, 3)

则无法测出参数个数。

好了，到此基本就知道这个宏怎么用了，如果你只想会用，不想深究具体理论，下面就可以不用看了。

第一反应我想到的是通过查看预编译的结果，看看展开后的宏应该是什么样的。于是用gcc -E 1.c -o 2.c看看，结果内容如下：

2.c

void a(void)
{
 int a = 3;
}

没有得到想要的结果，上网又查不到相关的解释，就只能想老同事求学了。最后经过一番讨论，终于弄明白了。

 首先，你应该懂##__VA_ARGS__的意思

__VA_ARGS__ 是一个可变参数的宏，这个可变参数的宏是新的C99规范中新增的，实现思想就是宏定义中参数列表的最后一个参数为省略号（也就是三个点）。既__VA_ARGS__表示OSI_VA_NARGS(...)中的省略号的内容。__VA_ARGS__前面再加上两个##，就表示当可变参数的个数为0时，这里的##起到把前面多余的","去掉的作用，否则会编译出错。

根据##__VA_ARGS__的意思就可以将OSI_VA_NARGS(7, 9, 8)展开，内容如下：

 所以N的值就出来了，返回值为3，你可以尝试替换其他个数参数按照这个图对应测一下，你能明白意思了。也可以尝试把OSI_VA_NARGS_IMPL和OSI_VA_NARGS中的数最大值都改成16，再试试。或许就能明白为什么数的最大值表示支持的最大参数。