为什么不可能在 C 中将所有可变参数作为可变参数转发？

问题描述

https://linux.die.net/man/3/stdarg

man stdarg(3) 显示了如何对可变参数函数进行编程的示例。但是最外层可变参数函数调用的函数不是可变参数。

有没有办法在这样的可变参数函数中调用可变参数，并按原样传递所有参数？如果是这样，有人可以告诉我如何做的详细信息吗？

void foo(char *fmt,...) {
printf(fmt,...) // not sure how to call a variadic function here ... is just ... from foo
}

编辑：call printf using va_list 中的所有答案都没有明确回答我的问题。

如果答案是“不可能”，请明确回答“不可能”。而不是提供任何不相关的东西。我不需要任何替代解决方案。

此外，如果“不可能”，有人可以证明为什么不可能。该链接中的所有答案都没有回答这个问题。因此，这篇文章应该保持开放，专门回答我的问题。

解决方法

实际上在 gcc 中是可能的，有一个鲜为人知的内置功能，可以让您“构造”函数调用。 Reference here

例如查看 this question，它收到了您正在寻找的 answer，它只是不是最受欢迎的。这是该示例代码的重新发布，以节省您的点击次数：

int my_printf(const char *fmt,...) {
    void *args = __builtin_apply_args();
    printf("Hello there! Format string is %s\n",fmt);
    void *ret = __builtin_apply((void (*)())printf,args,1000);
    __builtin_return(ret);
}

int main(void) {
    my_printf("%d %f %s\n",-37,3.1415,"spam");
    return 0;
}

此功能尚未（尚未）在 clang 中重新实现，尽管您可以在档案中阅读有关它的有趣 discussion。

所以回到你最初的可能性问题，我想我们必须澄清在这种情况下什么是“可能”。除了 va_list 之外，C standard 无法引用可变参数列表。像 gcc 这样的编译器可以放入自己的扩展来处理这个问题（比如 __builtin_apply），但它们总是不可移植和非标准的。

您可能想问的下一个问题是“为什么”，我真的只能推测答案，但我相信这可能是因为这样做需要对 ABI 和调用约定施加额外的约束和要求，某些东西C 和 C++ 规范尽可能避免。

一般来说，一个被调用的函数不知道在它进入之前有多少东西被压入堆栈，而且我不知道有任何 ABI 要求在所有情况下都存在此信息。如果 foo() 要将它的参数“转发”到另一个可变参数函数，它需要知道有多少东西已经传递给它，而这些信息在编译时根本不可用（调用将构造“下一级”函数）。

只有编写函数的人真正知道如何迭代其调用堆栈，为此选择的语法是使用 va_list 对象。

当然，不难看出如何创建允许传递参数计数和长度的 ABI，但如果您实际要调用的世界上所有库都不符合您的要求，则这是一项学术练习ABI。

c variadic-functions