我几天前参加了技术面试,有人问我 C编译器的implments如何使用可变数量的参数? 它是如何通过堆栈的?
有人知道或可以探索吗?
谢谢, 担
我几天前参加了技术面试,有人问我 C编译器的implments如何使用可变数量的参数? 它是如何通过堆栈的?
有人知道或可以探索吗?
谢谢, 担
据我所知,用C ......
调用函数按从右到左的顺序将参数压入堆栈。
调用者负责在执行被调用函数后从堆栈中删除参数。这可能正是因为调用者保证知道它放在堆栈上的参数多少,而被调用函数可能会错误。
P.S: 调用约定通常是特定于实现的。我刚刚描述的内容被称为“cdecl”调用约定。将此与通常称为“stdcall”的调用约定进行对比,其中被调用函数负责从堆栈中删除其参数。因此,它不支持可变长度参数列表。
P.P.S: 正如用户nategoose评论的那样,我没有提到变量参数列表是如何实际的 用过的。参见例如该 POSIX文档 <stdarg.h>
头 了解更多信息。
它使用va_宏实现它们 - 例如 的va_start。确切地说,这些宏所做的是实现定义 - 换句话说,它将从CPU架构到架构,从编译器到编译器不等。但是他们必须在C调用堆栈中玩弄技巧。通常,这将涉及将最后一个命名参数的地址作为基础,然后通过在此基础上执行指针算法来访问可变参数。
到目前为止,你很难过在技术面试中得到这个问题,我会假设正确答案是:
调用者将显式参数推送到堆栈,计数变量参数和变量参数本身。然后,目标函数代码将负责根据传递的计数和它的堆栈地址弹出所有参数。
并添加一些想法,为什么将这些参数放在单独的数组中是不方便的。
查看va_start,va_arg和va_end。 这里 这是一个很大的信息。