Question

我如何指示gcc警告我有关无效的函数指针转换，比如g ++会对下面的代码做什么？

而且..为什么gcc不警告我这个？将指针传递给do_something（）时会发生什么？

#include <stdio.h>

typedef void (*void_func_t) ();
typedef void (*void_int_func_t) (int, int, int);

void do_something(void_func_t f)
{
    void_int_func_t foo = f;
    foo(1,2,3);
}

void a()
{
    printf("a\n");
}

void b(int one, int two, int three)
{
    printf("%i, %i, %i\n", one, two, three);
}

int main()
{
    do_something(a);
    do_something(b);
    return 0;   
}

输出：

➜  gcc -W -Wall -Werror func.c 
➜  ./a.out
a
1, 2, 3

c ++，但会警告/给出错误

g++ -W -Wall -Werror func.c
func.c: In function ‘void do_something(void_func_t)’:
func.c:8:27: error: invalid conversion from ‘void_func_t {aka void (*)()}’ to ‘void_int_func_t {aka void (*)(int, int, int)}’ [-fpermissive]
func.c: In function ‘int main()’:
func.c:25:19: error: invalid conversion from ‘void (*)(int, int, int)’ to ‘void_func_t {aka void (*)()}’ [-fpermissive]
func.c:6:6: error:   initializing argument 1 of ‘void do_something(void_func_t)’ [-fpermissive]

Answer 1

带有空括号的函数原型是一个过时的¹功能。不要使用它。

如果您使用正确的声明，您将收到警告：

typedef void(*void_func_t)(void);

由于此旧功能，void(*)()和void(*)(int, int, int)类型兼容。前一种类型带有未指定数量的参数。这是双重问题，因为编译器没有警告，并且如果使用不正确数量的参数调用函数，则行为未定义。

与C不同，在C ++中，空括号表示函数不带参数，因此void(*)()等同于void(*)(void)。

¹（引用自：ISO / IEC 9899：201x 6.11.6函数声明符 1）
使用带有空括号的函数声明符（不是prototype-format参数类型声明者）是一个过时的功能。

如何像g ++那样指示gcc警告我无效的函数指针转换？

1 个答案: