C++宏使用__VA_ARGS__报错：无存储类或类型说明符

错误原因 #

你的代码存在三个关键问题，直接触发了编译器报错：

1. 宏语法笔误：IF_NOT_EMPTY_1(...) __VA_ARGS_ 末尾缺失下划线，正确写法应为 __VA_ARGS__，这个错误会导致预处理器无法识别可变参数，生成无效代码。
2. 宏拼接逻辑错误：IF_NOT_EMPTY_IMPL 中用 IF_NOT_EMPTY_##Condition 拼接宏名的逻辑不成立——这里的Condition是传入的具体类名（比如第二次调用时的TestClass2），不是0或1，拼接出的宏不存在，预处理器会保留无效宏名，最终引发语法错误。
3. 递归终止条件缺失：当__VA_ARGS__为空时，宏没有正确停止递归，会生成多余的空内容，触发“无存储类或类型说明符”的报错。

修复后的代码 #

我们可以通过参数个数判断实现正确的递归展开：

#define EXPORT_CLASS(Type) \
extern "C" Type* create##Type() { \
    return new Type(); \
} \
extern "C" void destroy##Type(Type* instance) { \
    delete instance; \
}

// 判断是否存在剩余参数
#define HAS_ARGS(...) HAS_ARGS_IMPL(__VA_ARGS__, 1, 0)
#define HAS_ARGS_IMPL(_1, _2, N, ...) N

// 根据条件选择是否展开内容
#define IF(cond, ...) IF_##cond(__VA_ARGS__)
#define IF_1(...) __VA_ARGS__
#define IF_0(...)

// 递归生成多个类的导出函数
#define EXPORT_CLASSES_IMPL(Type, ...) \
EXPORT_CLASS(Type) \
IF(HAS_ARGS(__VA_ARGS__), EXPORT_CLASSES_IMPL(__VA_ARGS__))

// 外层包装确保宏正确展开
#define EXPORT_CLASSES(...) EXPORT_CLASSES_IMPL(__VA_ARGS__)

// 调用示例
EXPORT_CLASSES(TestClass1, TestClass2)

更简洁的替代方案（C++20及以上） #

如果你的编译器支持C++20，可利用__VA_OPT__简化逻辑，无需复杂的递归判断：

#define EXPORT_CLASS(Type) \
extern "C" Type* create##Type() { \
    return new Type(); \
} \
extern "C" void destroy##Type(Type* instance) { \
    delete instance; \
}

// 遍历参数并生成导出函数
#define FOR_EACH_EXPORT(func, ...) \
    func(__VA_ARGS__) \
    __VA_OPT__(FOR_EACH_EXPORT(func, __VA_ARGS__))

#define EXPORT_CLASSES(...) FOR_EACH_EXPORT(EXPORT_CLASS, __VA_ARGS__)

// 调用示例
EXPORT_CLASSES(TestClass1, TestClass2)

__VA_OPT__会在__VA_ARGS__不为空时才展开后续内容，自动处理递归终止，代码更简洁易懂。

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