C:函数指针

Question

我尝试编写“现代”堆栈(包含任何类型的数据)，但有一次犯了一个错误。使用指针调用的函数的参数数量不正确。但这不会在程序运行时造成任何问题。

这是测试示例，其工作绝对正确。

#include <stdio.h>

int add(int a1, int a2)
{
    return a1 + a2;
}

int main(void)
{
    int (*pointer)() = add;
    printf("12 + 13 = %d\n", pointer(12, 13, 123, 13, 21,3, 125, 234, 523));
    printf("12 + 14 = %d\n", pointer(12, 14, 123, 13, 21,3, 125, 234, 523));
    printf("12 + 15 = %d\n", pointer(12, 15, 123, 13, 21,3, 125, 234, 523));
    printf("12 + 16 = %d\n", pointer(12, 16, 123, 13, 21,3, 125, 234, 523));
    printf("12 + 17 = %d\n", pointer(12, 17, 123, 13, 21,3, 125, 234, 523));
    printf("12 + 18 = %d\n", pointer(12, 18, 123, 13, 21,3, 125, 234, 523));
    printf("12 + 19 = %d\n", pointer(12, 19, 123, 13, 21,3, 125, 234, 523));
    return 0;
}

据我了解，然后调用一个add函数，将9个参数插入调用堆栈。但函数 add() 只使用其中两个。为什么这样的多次调用没有像程序崩溃那样的效果？ (操作系统:FreeBSD 9.1)

补充:我更改了代码:

printf("12 + 13 = %d\n", pointer(12));
printf("12 + 13 = %d\n", pointer(13));
...

编译标志:-Wall -O4 tst_call.cgcc(版本 4.6)不会产生警告，但输出不正确:

$ gcc -Wall -O4 tst_call.c
$ ./a.out
12 + 13 = -10236
12 + 14 = 12615693
12 + 15 = 12615694
12 + 16 = 12615695
12 + 17 = 12615696
12 + 18 = 12615697
12 + 19 = 12615698

gcc49(版本 4.9)生成警告列表(警告:“a2”在此函数中使用时未初始化 [-Wuninitialized])。这是输出:

$ gcc49 -Wall -O4 tst_call.c
$ ./a.out
12 + 13 = 12
12 + 14 = 13
12 + 15 = 14
12 + 16 = 15
12 + 17 = 16
12 + 18 = 17
12 + 19 = 18

Answer 1

C 中的传统调用约定让调用者将所有参数弹出到函数中。如果您推送 50 个参数(无论函数使用多少个参数)，它仍然会弹出所有 50 个参数。

因此，无论推送的参数数量与函数期望/使用的参数数量之间是否不匹配，堆栈都会被保留。当然，如果您推送的参数比函数预期的少，事情可能不会那么顺利。同样，如果您设法获得不匹配，(例如)调用者和函数都认为它们应该从堆栈中删除参数，那么事情就会变得很糟糕。