能否用C语言_Generic模拟is_function特性，实现编译时函数参数断言？

在标准C中，直接用_Generic实现完全通用的is_function确实存在局限——因为函数指针的类型随返回值、参数列表变化，无法在_Generic中枚举所有可能的函数指针类型。但借助编译器扩展（比如GCC的typeof和__builtin_types_compatible_p），可以实现编译时判断表达式是否为函数名或函数指针的通用方案。

实现方案 #

核心思路是利用编译器内置的类型兼容性判断，区分函数类型（函数名）、函数指针类型与其他类型：

#include <stdio.h>

// 定义一个辅助函数，仅用于获取基准函数类型
static void dummy_func(void) {}

// 判断表达式是否为函数或函数指针的宏
#define is_function(expr) \
    (__builtin_types_compatible_p(typeof(expr), typeof(dummy_func)) || \
     __builtin_types_compatible_p(typeof(expr), typeof(&dummy_func)))

代码解释 #

• typeof(expr)：获取表达式的原始类型。对于函数名，它返回函数类型（而非隐式转换后的函数指针类型）；对于函数指针变量，返回函数指针类型；普通变量则返回对应的数据类型。
• __builtin_types_compatible_p(type1, type2)：GCC内置的编译时函数，判断两个类型是否兼容。这里用dummy_func的类型（函数类型）和&dummy_func的类型（函数指针类型）作为基准，只要表达式类型与其中之一兼容，就判定为函数/函数指针。

测试示例 #

// 测试函数
void test_void(void) {}
int test_int(int a) { return a; }

int main(void) {
    // 编译时断言：验证函数名
    _Static_assert(is_function(test_void), "test_void must be a function");
    _Static_assert(is_function(test_int), "test_int must be a function");

    // 编译时断言：验证函数指针
    void(*fp_void)(void) = test_void;
    int(*fp_int)(int) = test_int;
    _Static_assert(is_function(fp_void), "fp_void must be a function pointer");
    _Static_assert(is_function(fp_int), "fp_int must be a function pointer");

    // 验证非函数类型
    int x = 10;
    void* p = &x;
    _Static_assert(!is_function(x), "x is not a function");
    _Static_assert(!is_function(p), "p is not a function");

    printf("All assertions passed.\n");
    return 0;
}

局限性 #

• 该方案依赖GCC（或兼容GCC扩展的编译器，如Clang）的内置特性，不符合严格的C标准；
• 若需严格遵循C标准，只能通过在_Generic中枚举常用的函数指针类型来实现有限的判断，但无法覆盖所有函数类型。

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