如果我用一个空参数表声明一个函数，然后传递参数怎么办？

Question

例如，

#include <stdio.h>

void foo();

int main(void)
{
        foo();
        foo(42);
        foo("a string", 'C', 1.0);
        return 0;
}

void foo()
{
        puts("foo() is called");
}

输出：

foo() is called
foo() is called
foo() is called

这段代码编译得很好（没有使用clang的警告）并运行良好。 但我想知道传递给foo()的值会发生什么？ 他们被推入堆栈还是被丢弃？

也许这个问题听起来毫无用处，但它确实有意义。 例如，当我有int main()而不是int main(void) ，并将一些命令行参数传递给它时， main()的行为会受到影响吗？

此外，使用时<stdarg.h>之前需要至少一个已命名的参数...由ISO C.是否有可能的，我们可以利用这种声明为void foo()从零传递给无限参数给功能？

我注意到void foo()是一个“非原型声明”，而void foo(void)是一个“原型声明”。 这有点相关吗？

---

澄清

似乎这个问题被标记为重复， 空参数列表是什么意思？ [重复] （有趣的是，这个问题也是重复的......）。 事实上，我不认为我的问题与那个问题有关。 它侧重于“C中的void foo()是什么意思”，但我知道这意味着“我可以传递任意数量的参数”，而且我也知道这是一个过时的功能。

但这个问题完全不同。 关键字是“假设”。 我只是想知道我是否向void foo()传递了不同数量的参数，就像上面的示例代码一样，它们可以在foo()吗？ 如果是这样，这是怎么做到的？ 如果没有，传递的参数会有什么不同吗？ 那是我的问题。

Answer 1

在C中， void foo()声明了一个带有未指定数量的参数的函数。 函数以下列方式声明：

return-type function-name(parameter-list,...) { body... }

parameter-list是函数用逗号分隔的参数列表。 如果没有给出参数，那么该函数不带任何参数，应该用空的括号或用关键字void定义。 如果参数列表中的变量前面没有变量类型，则假定为int。

Answer 2

正如Jonathan Leffler所说，C的调用约定确定调用函数（不是被调用函数）负责从堆栈中弹出参数，因此即使参数与被调用函数所期望的不匹配，程序也不会崩溃。

我将补充说，C的调用约定还确定参数以相反的顺序被压入堆栈（即调用foo (1, 2)将2推送到1 ）。 这允许被调用的函数访问第一个参数，即使它不知道其余的参数。 例如，声明为int foo (int a, int b, ...)的函数将能够访问a和b甚至不知道已经传递a什么其他参数： a和b只是在堆栈顶部。 访问其他参数需要堆栈指针黑客，这正是printf所做的。 当然，通过使用预期的不同参数（例如， printf ("%d%d", 3.5); ），可以轻松获得有趣的结果。

因此，根据问题，是的， int foo ()可以使用任何数量/类型的参数安全地调用，并且在20世纪80年代，使用堆栈上的指针hacks来访问未知参数将被视为“正常做法”。 当可移植性和可读性变得越来越受关注时， <stdarg.h>作为实现这些指针hacks的可移植方式出现（编译器将为目标平台生成正确的代码，因此它不再是“hack”） 。 但是，正如已经说过的那样， <stdarg.h>至少需要一个参数，所以它对int foo () 。