C++宏传入数组字面量报错，如何让宏正确接收？

定义如下C结构体：

typedef struct {
  int num_files;
  audio_file files[];
} message_files;

希望编写一个宏自动计算静态数组的文件数量，无需手动指定，于是写出如下宏：

#define FILES(arr) {sizeof((audio_file []) arr) / sizeof(audio_file), arr}

message_files files[3] = {
  FILES({{1,500}, {2,500}}),
  FILES({{3,1000}}),
  FILES({{4,5000}, {5,10}})
};

编译时出现错误：error: macro "FILES" passed 4 arguments, but takes just 1。如何让宏正确接受数组字面量？

问题根源 #

C预处理器会将宏参数中的**逗号（括号内部的逗号除外）**视为宏参数的分隔符。你传入的{{1,500}, {2,500}}包含两个外层逗号，预处理器会将其拆分为{{1、500}、{2、500}}四个独立参数，超出了宏定义的单参数限制，因此报错。

方法1：用额外括号包裹参数 #

给传入的数组字面量添加一层括号，让预处理器将整个括号内的内容视为单个参数：

#define FILES(arr) {sizeof((audio_file []) arr) / sizeof(audio_file), arr}

message_files files[3] = {
  FILES( ({{1,500}, {2,500}}) ),
  FILES( ({{3,1000}}) ),
  FILES( ({{4,5000}, {5,10}}) )
};

这种写法完全兼容C89及以后的标准，括号不会影响数组字面量的解析。

方法2：使用可变参数宏（C99+） #

利用C99引入的可变参数宏特性，让宏接收任意内容作为参数，避免逗号被拆分：

#define FILES(...) {sizeof((audio_file []) {__VA_ARGS__}) / sizeof(audio_file), {__VA_ARGS__}}

message_files files[3] = {
  FILES({1,500}, {2,500}),
  FILES({3,1000}),
  FILES({4,5000}, {5,10})
};

这种写法更简洁，无需额外括号，直接传入数组元素列表即可，宏内部会自动将其封装为数组字面量计算长度。如果你的代码无需兼容C99之前的标准，推荐使用这种方式。

内容的提问来源于stack exchange，提问作者return true