我们可以两次调用 va_start() 而不在其间调用 va_end() 吗？

Question

这是我的最小示例:

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

void print_strings_and_lengths(int count, ...)
{
    va_list ap;

    /* Print strings */
    va_start(ap, count);
    for (int i = 0; i < count; i++) {
        char *s = va_arg(ap, char *);
        printf("%d - %s\n", i, s);
    }

    /* Print string lengths */
    va_start(ap, count); /* Is it okay to call va_start() again without calling va_end()? */
    for (int i = 0; i < count; i++) {
        char *s = va_arg(ap, char *);
        printf("%d - %zu\n", i, strlen(s));
    }
    va_end(ap);
}

int main()
{
    print_strings_and_lengths(3, "apple", "ball", "cat");
    return 0;
}

此代码正在调用 va_start()在同一个变量参数列表上两次。 va_end()在两次调用之间不调用函数。这段代码是定义明确的还是调用了未定义的行为？

Answer 1

C11 7.16.1/1:

[...] Each invocation of the va_start and va_copy macros shall be matched by a corresponding invocation of the va_end macro in the same function.

没有对应的 va_end va_start调用所以代码会导致未定义的行为，不需要诊断，因为上面的引用不是约束的一部分。