如何知道一个变量是否是 C 中的 function 指针？

Question

我有一个void(*func)(int)类型的 function 并且我得到一个指向这个 function 的指针，我怎么能确定一个指针真的属于这种类型？

if (typeof(pointer) == void(*func)(int)) {
    //do something     
}

那是对的吗？

编辑 - 我从 function 中获取指针作为参数，我想检查此 function 中指针的类型。

Answer 1

如果您要动态获取 function 指针，请尝试使用 union to 和标志变量来获取它的类型而不检查复杂的东西

#define type1 1
#define type2 2
union FN
{
void ....
int ....
....
}

typedef struct{
int type;

union FN fn;
} Function;

Answer 2

typeof不是 C 标准的一部分。 它是一个 GNU 扩展。

如果您想确定某物属于特定类型，您可以在编译时使用 C11 中引入的_Generic来处理它：

_Generic((pointer), 
    void(*)(int): /* insert your code here */,
)

如果所述指针不是void(*)(int)类型，那么它将无法编译。

Answer 3

如果您的 function 将指针作为参数并具有以下原型：

void my_function(void (*func)(int)) {
    // How can I test if `func` really points to a function taking an `int`?
}

那么你可以在my_function的主体中做很多事情来验证func真正指向的内容。

您可以测试它是否指向已知的 function：

 if (func == exit) { /* haha! (*func)(1) will abort */ }

除了上述之外，无法判断实际传递给my_function的内容：它可能是具有正确原型的实际 function，或者是另一个 function 隐式或显式转换为预期类型，甚至是其他一些标量 ZA8CFZFDE6331B4B66 转换。

如果要编写扩展取决于表达式类型的宏，可以使用新的 C11 _Generic构造：

#define IS_VOID_FUNC_OF_INT(func)  _Generic(func, void(*)(int): 1, default: 0)

但是在上面的 function my_function的主体中使用它总是会评估为1 ：只有定义的func类型由_Generic测试，而不是用作 function 参数的原始表达式。