借助GCC/TCC/Clang的C11扩展，能否检测宏参数是否为指针类型？

我太懂这种踩坑的感觉了——明明宏需要单级指针，结果手滑传了构造器宏用的二级指针，编译可能不报错但运行直接崩，排查起来头大！先说说你现有ISPTR宏的问题：单级指针和多级指针的sizeof、_Alignof完全一致，所以这个判断根本没法区分指针层级，完全不靠谱。

下面给你两个靠谱的解决方案，从编译期就把错误拦下来：

方案1：C11及以上用_Generic+_Static_assert（最推荐） #

利用C11的_Generic做类型匹配，配合编译期断言直接在编译阶段报错，错误信息还清晰：

// 先定义一个判断单级指针的辅助宏
#define IS_SINGLE_LEVEL_PTR(ptr) _Generic((ptr), \
    void*: 1, \
    char*: 1, \
    int*: 1, \
    float*: 1, \
    double*: 1, \
    /* 把你业务中用到的所有单级指针类型都加进来 */ \
    default: 0)

// 你的目标宏，先做检测再执行逻辑
#define YOUR_TARGET_MACRO(ptr) do { \
    _Static_assert(IS_SINGLE_LEVEL_PTR(ptr), "ERROR: 请传入单级指针，不要传二级指针！"); \
    /* 这里写你宏的原有逻辑 */ \
} while(0)

只要你传了二级指针（比如void**），编译时就会直接抛出你自定义的错误提示，根本不会让错误留到运行阶段。

方案2：兼容旧标准的编译期报错法 #

如果你的项目还在用C99甚至更早的标准，没法用_Generic，可以用类型不兼容的编译错误来间接检测：

#define ASSERT_SINGLE_PTR(ptr) do { \
    /* 尝试把参数赋值给单级指针，如果是二级指针，这里会编译失败 */ \
    void* _temp_ptr = ptr; \
    (void)_temp_ptr; /* 避免未使用变量警告 */ \
} while(0)

// 你的目标宏
#define YOUR_TARGET_MACRO(ptr) do { \
    ASSERT_SINGLE_PTR(ptr); \
    /* 宏原有逻辑 */ \
} while(0)

这个方法的原理是：二级指针（比如void**）不能直接赋值给单级指针（void*），编译器会抛出类型不兼容的错误。缺点是错误信息没有方案1直观，但胜在兼容性好。

为什么原来的判断方法不行？ #

再强调下：在几乎所有现代系统中，不管是几级指针，它们的大小和对齐要求都是完全相同的——都是对应系统的指针宽度（32位系统4字节，64位系统8字节），所以sizeof(X)==sizeof(void*)和_Alignof(X)==_Alignof(void*)只能判断是不是指针类型，根本区分不了是单级还是多级。

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