調用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宏）：

的va_arg宏修改ap的每次調用，使得連續的參數的值被依次返回。 ......如果沒有實際的一個參數...行爲是不確定...

和7.15.1.3的va_end宏：

...如果va_end宏在返回之前未被調用，行爲是未定義的。

沒有提及必須撥打va_arg一定次數。正如你所看到的，va_end是重要的，但。

Answer 2

va_arg定義爲按照它們傳遞的順序返回參數。如果你稱它的次數少於參數，那麼你會忽略任何額外的參數。