C++ 为什么 va_start 期望最后一个非可变函数参数？

Question

我正在使用 Visual Studio 2012 编译此示例代码：

#include <stdarg.h>
#include <stdio.h>

const char * __cdecl foo(const char * format, const char * requiredArgument, ...)
{
    va_list args;
    va_start(args, format);
    vprintf(format, args);
    va_end(args);
    return requiredArgument;
}

int main(int, char **)
{
    foo("The %s is %d pixels wide and %d pixels high.", "box", 300, 200);
    return 0;
}

程序的调试构建在打印消息“框宽 300 像素，高 200 像素。”后正常终止。

发布版本因分段错误而崩溃。

我对这种行为的解释 - 但我可能错了，如果是，请纠正我 - 是我错误地指定了一个函数参数，而不是 @ 中的最后一个非可变参数987654322@，这里唯一可接受的形式是va_start(args, requiredArgument)，而不是我想要的va_start(args, format)。 换句话说，我误用了va_start，导致整个程序流程变得不可预测，所以这里的分段错误没什么问题。

如果我的假设是正确的，我现在有两个问题：

• 如果选择其他显然是非法的，为什么还要在va_start 中指定最后正式声明的函数参数？

• 为什么挑剔的 VC++ 编译器不针对如此容易检测和潜在的严重缺陷发出警告？

Answer 1

如果选择其他任何东西显然是非法的，为什么还要在 va_start 中指定最后一个正式声明的函数参数？

因为那个宏需要知道最后一个参数的地址。

为什么挑剔的 VC++ 编译器不针对如此容易检测和潜在的严重缺陷发出警告？

因为它还不够“智能”。或者它的创建者决定不包括这个警告。或者也许可以，但默认情况下它是关闭的，您可以使用一些编译器标志打开它。