c - 为什么要将指针转换为函数

Question

我一直在研究一些代码，遇到了一些我能理解的代码，但我想不出这样做的任何原因。

我在下面的代码中重现了这种情况:

include <stdio.h>

void printsum(int x, double y)
{
     printf("Soma: %.2f\n", (double)x + y);
}

typedef int int_alias;

typedef void (* funcptr) (int_alias x, double y);
typedef void (* fptr) (int x, double y);

fptr pptr = &printsum;

#define A_MACRO(x, y) ((funcptr) (pptr)) (x, y)

int main()
{
    int a = 10;
    double b = 2.2;

    A_MACRO(a, b);
    /* ((funcptr) (pptr)) (a, b); */

    return 0;
}

这是在事件发生并调用宏时完成的，所以打印函数是一个回调函数。

我不明白的是由于宏而发生的转换，据我所知 pptr 已经是一个指向函数的指针，那么为什么要转换为 又是 funcptr 吗？

我对这种结构不是很熟悉，所以也许这是我遗漏的东西，谁能给我一些关于这个的信息？

Answer 1

funcptr 和 fptr 都是函数指针的别名，是的，但它们可能是指向函数的指针具有不同的参数类型，具体取决于int_alias 的定义。

如果 int_alias 的类型定义不是 int(或等效的 signed int)，则转换是危险的。无论如何，指针值都会被强制转换保留，但是通过强制转换指针调用函数，如 A_MACRO() 所做的那样，在这种情况下会产生未定义的行为。

请注意，“int 以外的任何类型”都包括枚举类型。尽管枚举类型的值可以隐式转换为 int，但枚举类型不是 int。这是与真正实质的区别，因为实现可能使用比 int 更窄的枚举类型的表示。例如，GCC 可能会根据其值范围和编译器选项为各种枚举类型选择宽度和符号不同的表示。

综上所述，A_MACRO() 执行的转换虽然本身合法，但没有任何用处。它实际上可能是有害的。最初编写它的人可能希望它帮助使代码适应不同的整数类型(通过 int_alias typedef)，但实际上这是一个等待发生的错误。一个更好的选择是……

#define A_MACRO(x, y) ((pptr) ((int) x, y))

...或者简单的...

#define A_MACRO(x, y) ((pptr) (x, y))

...如果要点是隐藏函数是通过指针调用的事实。