2

我试图编写“现代”堆栈（包含任何类型的数据）并且有一次犯了错误。那是使用指针调用函数的参数数量不正确。但这在程序运行时不会引起任何问题。

所以这是测试示例，whitch 工作绝对正确。

#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.c gcc (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 版）生成警告列表（警告：在此函数 [-Wuninitialized] 中未初始化使用“a2”）。这是输出：

$ 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
4

2 回答 2

3

C 中的传统调用约定让调用者弹出函数的所有参数。如果你推送了 50 个参数（不管函数使用的数字是多少），它仍然会弹出所有 50 个参数。

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

于 2013-10-07T17:36:30.363 回答
2

参数以相反的顺序压入堆栈。在这种情况下，您在没有指定参数的情况下声明了指向函数的指针，因此编译器不会给出9参数错误。并且当9参数传递时，add将正确地看到前两个参数（它们将按预期位于堆栈的开头），因此它将正常执行前两个参数。它将忽略其余参数。

于 2013-10-07T17:36:19.483 回答