通过C中的函数指针合法/定义传递其他参数？

Question

可能重复:
将函数指针转换为另一种类型

假设我用一个函数初始化一个函数指针,该函数实际上比函数指针定义需要更少的参数,如果通过函数指针调用,函数是否仍能正确执行？

我尝试使用gcc,它按预期工作,但我想知道这种行为在编译器/平台上是否一致(我怀疑在某些环境中它可能会对堆栈造成严重破坏):

#include <stdio.h>

typedef void (*myfun)(int, int, int);

void test_a(int x, int y, int z) {
    printf("test_a %d %d %d\n", x, y, z);
}

void test_b(int x, int y) {
    printf("test_b %d %d\n", x, y);
}

int main() {
    myfun fp;
    fp = test_a;
    fp(1, 2, 3);
    fp = (myfun) test_b;
    fp(4, 5, 6);
}

Answer 1

这是未定义的行为.使用风险由您自己承担.有传言说会导致鼻腔恶魔!

Answer 2

程序的行为未定义.它完全编译的事实是因为强制转换,它有效地告诉编译器"这是错的,但无论如何都要这样做".如果删除强制转换,您将收到相应的错误消息:

a.c:17:8: error: assignment from incompatible pointer type [-Werror]

(来自gcc -Wall -Werror.)

更具体地说,行为取决于调用约定.如果你在平台上,参数在堆栈上以"反向"顺序传递,程序会给出一个非常不同的结果.