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;
}

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

添加:我更改了代码:

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

编译标志:-Wall -O4 tst_call.cgcc(ver. 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 个参数。

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