void (*f) (void)
表示指向函数的指针,没有返回 void 的参数。
void *(*f)(void *)
表示指向函数的指针,该函数接受一个 void 指针并返回一个 void 指针。
由于类型不同,编译器不允许您在不强制转换的情况下将一个传递给另一个。 (请注意,强制转换在这里并不是真正的正确答案,正如@detly 指出的那样,会导致未定义的行为。)
至于解引用函数指针,您不必在函数指针之前显式放置一个“*”来调用它。例如,你可以调用你的函数指针 f 只是这样做
f();
函数指针示例
假设您有一个函数f,您想将它传递给一个名为takes_a_function 的函数。
takes_a_function 可能会有类似
的类型
void takes_a_function(void (*f)(void *data), void *data);
注意takes_a_function 有两个参数,一个函数指针和一个指向某些数据的空指针。另请注意,函数f 恰好将 void 指针作为参数。这个想法是您可以将数据传递给takes_a_function,它会将其传递给f。例如,takes_a_function 可以这样定义
void takes_a_function(void (*f)(void *), void *data) {
f(data);
}
现在,让我们编写一个函数来传递给takes_a_function。我们的函数只会打印一个传递给它的 int。
void prints_an_int(void *data) {
// The idiom for converting a void pointer to another kind
// of pointer. NO NEED TO CAST. Note this behavior is only
// defined if the pointer data really does point to an int.
int *i = data;
printf("%d", *i);
}
int i = 0;
takes_a_function(prints_an_int, &i);
关于这个例子的几个关键点:
-
prints_an_int 与 takes_a_function 期望的函数指针具有相同的类型。无需投射。
- 无需使用
& 运算符来创建对函数的引用。这就是为什么我们可以直接将prints_an_int 传递给takes_a_function。但我们也可以说takes_a_function(&prints_an_int, &i),也是一样的。
-
void* 基本上意味着“指向未知类型的指针”。要实际使用它,您必须将类型为void* 的变量分配给另一个您期望其类型的指针变量。仅当您实际传入正确的指针类型时,才能保证有效!在这个例子中,我们可以将data 分配给int*,因为data 确实指向一个int。如果您想要更多的数据而不仅仅是一个整数,一种常见的模式是创建您自己的结构类型,其中包含您想要的所有字段,然后将其传递。
- 作为一种特殊情况,编译器在将 void 指针分配给其他指针时不要求您进行强制转换,反之亦然。但同样,只有最终将 void 指针转换回正确的类型时,您才会得到定义的行为。