打印功能指针时不兼容的指针类型警告

Question

我正在尝试创建一个函数指针数组，以便我可以使用指针打印函数的输出。 （来自《Effective C》书中的练习。）

#include <stdio.h>
#include <stdlib.h>

int a(void) { return 1; }
int b(void) { return 2; }
int c(void) { return 3; }

int main(void)
{

    int(*func_arr)[3] = {&a, &b, &c};
    printf("%d\n", (*func_arr)[0]);
}

但是，当我编译它时，我收到警告

starting.c:10:26: warning: incompatible pointer types initializing 'int (*)[3]' with an expression of type
      'int (*)(void)' [-Wincompatible-pointer-types]
    int(*func_arr)[3] = {&a, &b, &c};
                         ^~
starting.c:10:30: warning: excess elements in scalar initializer
    int(*func_arr)[3] = {&a, &b, &c};
                             ^~

并且当我运行程序时，我得到的输出为 -443987883，而它应该只是 1。

有谁知道解决方案为了这？谢谢你！

Answer 1

该声明

int(*func_arr)[3] = {&a, &b, &c};

声明了一个指向数组类型int[3]的指针。

因此，声明了一个指针类型的标量对象，您尝试使用大括号括起来的初始值设定项列表来初始化该对象，其中包含多个不兼容指针类型的初始值设定项。

相反，您需要编写

int ( *func_arr[3] )( void ) = { a, b, c };

用作初始值设定项的函数指示符隐式转换为指向函数的指针。
因此，不需要像 &a 那样编写，尽管这样的表达式也可以有效地用作初始值设定项。

为了简化数组声明，您可以为函数指针类型引入一个类型化名称。

例如

typedef int ( *FnPtr )( void );

现在数组声明可以如下所示

FnPtr func_arr[3] = { a, b, c };

并且要输出函数调用的结果，您需要编写 printf 的调用，例如

printf("%d\n", func_arr[0]() );