编译时检测宏定义类型是否为void的技术方案问询

你的现有方法虽然能处理简单的整数和浮点类型，但遇到复杂类型（比如void*、const void、结构体类型等）时会失效——因为预处理器会把type展开成完整类型，导致#if (type == void)出现语法错误。下面给你两种更可靠的方案，适配绝大多数场景：

方案1：标准C11的_Generic方法（跨编译器兼容） #

利用C11引入的_Generic特性，我们可以通过指针类型来间接判断原类型是否为void（因为void*是唯一指向void的指针类型）：

// 定义检测宏：如果type是void，返回1，否则返回0
#define IS_VOID(type) _Generic((type*)0, void*: 1, default: 0)

// 测试示例
#define type void  // 你可以替换成任意类型测试
#if IS_VOID(type)
#warning "当前type定义的是void类型"
#else
#warning "当前type定义的不是void类型"
#endif

这个方案的优势是符合C11标准，在任何支持C11的编译器（GCC、Clang、MSVC 2015+）都能正常工作。如果需要检测带限定符的void（比如const void、volatile void），可以扩展宏：

#define IS_ANY_VOID(type) _Generic((type*)0, \
    void*: 1, \
    const void*: 1, \
    volatile void*: 1, \
    const volatile void*: 1, \
    default: 0)

方案2：GCC/Clang专属的内置函数（更灵活） #

如果你只需要兼容GCC或Clang编译器，可以用它们提供的__builtin_types_compatible_p内置函数，直接比较类型兼容性：

// 检测是否为单纯的void类型
#define IS_VOID(type) __builtin_types_compatible_p(type, void)

// 检测是否为带任何限定符的void类型
#define IS_ANY_VOID(type) \
    __builtin_types_compatible_p(type, void) || \
    __builtin_types_compatible_p(type, const void) || \
    __builtin_types_compatible_p(type, volatile void) || \
    __builtin_types_compatible_p(type, const volatile void)

// 测试示例
#define type const void
#if IS_ANY_VOID(type)
#warning "当前type是带限定符的void类型"
#endif

这个函数的优势是能直接判断类型是否完全兼容，甚至可以处理函数指针、数组这类更复杂的类型。

为什么你的原有方法会失效？ #

当type被定义为void*时，你的代码会展开成#if (void* == void)——预处理器无法解析这种表达式，会直接抛出编译错误。原有方法只适用于type是单一关键字的基本类型（比如int、float），无法处理复合类型。

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