转换函数指针

Question

如果我有一个声明为的原型：

void foo(int (*fi)(void *, void *))

我用这样的方式调用该函数：

foo(int (*)(void*, void*)(bool_expr ? func1 : func2));

其中 func1 和 func2 定义如下：

int func1(char *s1, char *s2);
int func2(int *i1, int *i2);

函数调用是否将函数之一 (func1 ^ func2) 转换为所需函数的类型通过 foo?我还可以让 foo 的原型看起来像：

void foo(int (*)(void *, void *))

Answer 1

根据 C 规范，转换函数指针会导致未指定的行为，但许多编译器（例如 gcc）会执行您期望它们执行的操作，因为函数指针只是内存中的一个地址。为了安全起见，我将重新声明 func1 和 func2 以采用 void*，然后根据需要将这些指针强制转换为 char* 和 int*。

Answer 2

在 GCC 中，此表达式：

bool_expr ? func1 : func2

给出此警告：

warning: pointer type mismatch in conditional expression

即使您没有打开特殊警告。

更重要的是，GCC 通过将两个表达式都转换为 void * 来解决这种指针类型不匹配的问题；那么，当您尝试将其强制转换回来时（无论是显式地使用 (int (*)(void*, void*)) ，还是隐式地通过将其传递给 foo），它会给出此警告：

warning: ISO C forbids conversion of object pointer to function pointer type

如果您启用迂腐。 做的原因是函数指针不必在内部实现为指向内存位置的指针，因此它可能不具有与常规“对象”指针相同的大小等。）

（ISO C 禁止这样 说，这：

foo((bool_expr ? (int (*)(void*, void*))func1 : (int (*)(void*, void*))func2));

应该是相对安全的，前提是 foo 将有效的 char 指针传递给 func1 或有效的 int指向func2的指针。

我猜想，在函数指针确实与 void * 不兼容的系统上，编译器不会解决不匹配的 bool_expr 问题？ func1 : func2 支持 void * （尽管我还没有查阅这方面的规范）。

Answer 3

正如评论所发布的代码未编译。

FWIW，这将按照您对 VC2010 的预期进行编译和执行：

int func1(char *s1, char *s2) { printf("func1\n"); return 0; }
int func2(int *i1, int *i2)   { printf("func2\n"); return 0; }

void foo(int (*)(void *, void *));

int main(int argc, char** argv)
{
    foo(2 == argc ? (int(*)(void*,void*))func1 :
                    (int(*)(void*,void*))func2);

    return 0;
}

void foo(int (*a)(void *, void *))
{
    a((void*)0, (void*)0);
}