如何获取可变参数宏参数列表中每个参数的类型？

你遇到的核心问题是默认参数提升导致函数指针类型不匹配，进而引发未定义行为。要解决这个问题，关键是把__VA_ARGS__中的每个参数类型提取出来，组合成精确的函数指针签名。下面是两种可行的实现思路：

方法一：递归宏展开参数类型 #

借助C11的__VA_OPT__和递归宏，可以逐个提取参数的typeof，最终拼接出完整的函数指针类型。

先定义辅助宏处理参数类型展开：

// 提取单个参数的类型
#define _PTAPPLY_GET_TYPE(arg) typeof(arg)

// 递归展开可变参数，生成逗号分隔的类型列表
#define _PTAPPLY_EXPAND_TYPES(...) _PTAPPLY_EXPAND_TYPES_IMPL(__VA_ARGS__)
#define _PTAPPLY_EXPAND_TYPES_IMPL(a, ...) _PTAPPLY_GET_TYPE(a) \
    _VA_OPT__(, _PTAPPLY_EXPAND_TYPES(__VA_ARGS__))

// 递归终止的空宏
#define _PTAPPLY_EXPAND_TYPES_IMPL()

// 主宏：生成精确函数指针并调用
#define ptapply(pt, ret_type, identifier, ...) \
    ((ret_type (*)(typeof(pt), _PTAPPLY_EXPAND_TYPES(__VA_ARGS__))) \
    pget(pt, identifier))(pt __VA_OPT__(,) __VA_ARGS__)

原理说明 #

• _PTAPPLY_GET_TYPE负责提取单个参数的实际类型；
• _PTAPPLY_EXPAND_TYPES通过递归遍历__VA_ARGS__，将每个参数转换为typeof(arg)，最终拼接成type1, type2, ...的类型序列；
• 主宏中的函数指针类型会被精确生成为ret_type (*)(typeof(pt), type1, type2, ...)，完全匹配调用时的参数类型，从根源避免默认参数提升带来的类型不匹配问题。

方法二：_Generic类型匹配（简化场景） #

如果你的参数类型范围有限，可以用C11的_Generic做针对性的类型匹配，这种方式更直观但通用性稍弱：

#define ptapply(pt, ret_type, identifier, ...) \
    _Generic((__VA_ARGS__), \
        char: ((ret_type (*)(typeof(pt), char))pget(pt, identifier))(pt, __VA_ARGS__), \
        short: ((ret_type (*)(typeof(pt), short))pget(pt, identifier))(pt, __VA_ARGS__), \
        float: ((ret_type (*)(typeof(pt), float))pget(pt, identifier))(pt, __VA_ARGS__), \
        default: ((ret_type (*)(typeof(pt), ...))pget(pt, identifier))(pt, __VA_ARGS__) \
    )

这种方式需要提前枚举可能出现的参数类型，适合参数类型固定的场景。

注意事项 #

1. 编译器兼容性：上述方案需要支持C11的__VA_OPT__和typeof，GCC、Clang、MSVC 2019及以上版本均支持；
2. 空参数处理：__VA_OPT__会自动处理无可变参数的情况，避免多余逗号导致的语法错误；
3. 未定义行为规避：精确匹配函数指针类型后，调用时参数不会触发默认提升，严格符合C语言函数调用规范。

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