函数指针的类型

Question

我有一个简短的程序来测试“无限递归”。但是，我遇到了另一个与函数指针相关的棘手问题......

程序如下：

#include <stdio.h>

int repeat(char (*func)(int, int), int a) {
  func(a, a+1);
  return repeat(func, a+1);
}

char f (int a , int b){
  printf("%d\n", a);
  //return (double)(a + b);
  return 'c';
}

int main(int argc, char const *argv[])
{
  repeat(&f, 1);
  return 0;
}

就我而言，我认为“repeat(&f, 1)”中的'f'具有“char *”的类型和'func' “int repeat(char (*func)(int, int), int a)”的类型也是“char *”。

然而，这似乎很奇怪。如果我将“(char (*func)(int, int), int a)”更改为 “(char func(int, int), int a) ”，编译器（在gcc和vc6中测试）没有任何警告，运行结果是一样的。

如果我将“(char (*func)(int, int), int a) ”更改为“(double func(int, int), int a) ”, 编译器抛出：

警告：不兼容的指针类型将 'char ()(int, int)' 传递给 'double ()(int, int)' 类型的参数 [-Wincompatible-pointer-types ] 重复(&f, 1);

似乎编译器将“double (int, int)”和“double (*)(int, int)”视为相同的东西。换句话说，如果我将“(char (*func)(int, int), int a)”更改为“double (*func)(int, int) ”，编译器会抛出同样的信息（我已经测试过了）：

警告：不兼容的指针类型将 'char ()(int, int)' 传递给 'double ()(int, int)' 类型的参数 [-Wincompatible-pointer-types ] 重复(&f, 1);

上帝... 好吧，这不是结束。 之后，我将“repeat(&f, 1)” 改为“repeat(f, 1)”，其他部分不变。 也就是说，整个程序是：

#include <stdio.h>

int repeat(char (*func)(int, int), int a) {
  func(a, a+1);
  return repeat(func, a+1);
}

char f (int a , int b){
  printf("%d\n", a);
  //return (double)(a + b);
  return 'c';
}

int main(int argc, char const *argv[])
{
  repeat(f, 1);
  return 0;
}

编译器不给出任何警告，运行结果是一样的。

所以我很困惑，以下所有巴黎都没有产生警告和正确的结果。

    1   repeat(&f, 1)   int repeat(char (*func)(int, int), int a)
    2   repeat(&f, 1)   int repeat(char func(int, int), int a) 
    3   repeat(f, 1)    int repeat(char (*func)(int, int), int a) 
    4   repeat(f, 1)    int repeat(char func(int, int), int a) 

当然，“repeat(f, 1)”中的“f”的类型是“char (int, int)”，而“func”在“int repeat(double (func)(int, int), int a)”中的类型为“char ()(int, int)”。

您可以通过将“int repeat(char (*func)(int, int), int a)”更改为“int repeat(double (*func)(int , int), int a)”并查看警告信息：

警告：不兼容的指针类型将 'char (int, int)' 传递给 'double ()(int, int)' 类型的参数 [-Wincompatible-pointer-types] repeat(f, 1);*

谁能给一些cmets？我完全认为关于类型，只有四个中的第一个是正确的。

Answer 1

当用作函数参数时，两种语法

foo(char bar(int, int), int a)  

和

foo(char (*bar)(int, int), int a)

从编译器的角度来看是相同的。

还请注意，当您调用函数foo 时，传递给它的函数名称将被视为指向该函数的指针。这两个调用都是有效的

foo(&f, 1)
foo(f, 1)

就我而言，我认为repeat(&f, 1) 中的f 具有char * 的类型，int repeat(char (*func)(int, int), int a) 中的func 也具有char * 的类型。

没有。 f 和func 都是char (*)(int, int) 类型，即它们是指向一个函数的指针，该函数接受两个int 作为参数并返回char

Answer 2

参数类型：

() 在语法中强加的优先顺序：

    int repeat(char (*func)(int, int), int a)

表示(*func)(int,int) 是一个函数，它接受两个int 参数并返回一个char。 * 表示func 是一个指向返回char 的函数的指针。

以下更现代的语法也可以：

    int repeat(char func(int, int), int a)

注意，以下看起来与第一个很接近，但完全不同，函数参数将是一个指向返回 char * 的函数的指针：

    int repeat(char *func(int, int), int a)

是的，为了完整起见，int repeat((char *)func(int, int), int a) 将是一个语法错误，因为(char*) 将被理解为强制类型转换运算符，而应该是类型。

使用 f 和 &f 语法：

C11 标准第 6.5.3.2 节规定“一元 & 运算符产生其操作数的地址。如果操作数的类型为 ''type''，则结果为type ''指针类型''":

• f 是一个以两个 int 作为参数并返回一个 char 的函数
• 所以&f 是一个指向以两个int 作为参数并返回一个char 的函数的指针。

但第 6.3.2.1/4 节中的标准还指出“函数指示符是具有函数类型的表达式。(...) 类型为“函数返回类型”的函数指示符被转换到具有类型“指向函数返回类型的指针”的表达式”：

• f 是一个以两个 int 作为参数并返回一个 char 的函数
• 如果在表达式中提供（当然不是在函数调用的语法中），f 也被理解为指向以两个int 作为参数并返回一个char 的函数的指针。

现在，您会发现这两种语法。

从历史上看，以前在(*func)() 语法中使用* 是强制调用指向的函数的（参见原始K&R）。