C99标准下宏参数展开：如何将逗号分隔宏常量正确传入多参数宏

问题根本原因 #

C预处理器处理宏调用时遵循「先拆分参数、后展开参数」的规则：你直接调用ADD_FLAGS(HEX)时，预处理器首先统计ADD_FLAGS的参数数量，此时HEX还没有被展开，只会被识别为1个参数，和ADD_FL需要的8个参数要求不匹配，因此报参数数量不足的错误。

原有尝试失败原因 #

你之前的两种写法都没有解决「参数展开时机早于ADD_FL参数拆分」的核心问题：ADD_FL的参数拆分仍然发生在HEX展开之前，所以始终只能识别到1个参数，触发参数数量不足的报错。

兼容C99的跨编译器解决方案 #

按照如下方式定义宏即可，无需任何编译器扩展，可完美适配armclang、GHS、Tasking三类编译器：

#define HEX 0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00
#define BITS 0x01

// 实际处理8参数的功能宏，保持原有逻辑不变
#define ADD_FL(a, b, c, d, e, f, g, h) \
        a, b | BITS, c, d, e, f, g, h

// 两层辅助展开宏，保证参数先完成展开再拆分传参
#define EXPAND(...) __VA_ARGS__
#define ADD_FLAGS(packed_args) EXPAND(ADD_FL EXPAND((packed_args)))

调用方式和你之前的写法完全一致，不需要修改现有调用代码：

const myStructure Table[ENTRY_COUNT] =                   
{
   /* Entity Index 0 */
   {
      <some structure fields>,
      ADD_FLAGS(HEX),     // 8-byte array
      <more structure fields>
   }
}

实现逻辑说明 #

两层EXPAND的作用是强制预处理器先把传入的packed_args（也就是你传入的HEX）完全展开成8个逗号分隔的数值，再把这些数值作为参数传给ADD_FL，此时预处理器拆分ADD_FL的参数时就能识别到刚好8个参数，完全匹配要求。
展开后的最终效果如下，符合你的预期：

0x00, 0x00 | 0x01, 0x00, 0x00, 0x00, 0x00, 0x00, 0x00

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