调用 va_arg 的次数少于传递的参数数

Question

如果我调用 va_arg 的次数少于可变参数函数中传递的参数数量，是否会出现未定义的行为？

例如:

#include <stdarg.h>
void foo(unsigned n, ...) {
    va_list ap;
    int bar = 0;

    va_start(ap, n);
    if (n) bar = va_arg(ap,int);
    // Do something with bar
}

int main() {
    foo(2, 3, 4);
    return 0;
}

该程序会导致未定义的行为吗？

Answer 1

您的程序确实导致未定义的行为，但不是因为您使用va_arg 的方式。那只是忽略了额外的参数，所以包含它似乎是在浪费打字。

导致未定义行为的原因是您没有在该函数中包含 va_end。

来自规范(7.15.1.1 va_arg 宏):

Each invocation of the va_arg macro modifies ap so that the values of successive arguments are returned in turn. ...If there is no actual next argument ... the behavior is undefined ...

来自 7.15.1.3 va_end 宏:

...if the va_end macro is not invoked before the return, the behavior is undefined.

没有提到必须调用 va_arg 一定次数。正如您所见，va_end 很重要。