Можно ли передать va_list другой функции без использования va_copy?

Question

This blog post утверждает, что прохождение va_list другой функции, как в следующем коде небезопасно, и что va_list должны сначала быть скопированы с помощью va_copy:

void 
foo_ap(const char *fmt, va_list ap) 
{ 
    char buf[128]; 

    vsnprintf(buf, sizeof(buf), fmt, ap); 

    // now, do something with buf ... 
} 

Как один из комментариев к сообщению в блоге упоминает, я могу Посмотрите, как это будет небезопасно, так как состояние спецификации C99 (7.15):

Объект ap может быть передан в качестве аргумента другой функции; если эта функция вызывает макрос va_arg с параметром ap, значение ap в вызывающей функции является неопределенным и должно быть передано в макрос va_end до любой дополнительной ссылки на ap.

(Пока foo_ap не ссылается ap после прохождения его, то вторая часть предложения, кажется, не применяются в любом случае.) Автор блога говорит в другом комментарии, что он может быть неправильно, но, возможно, кто-то может добавить некоторые разъяснения. Должен ли я действительно использовать va_copy, чтобы быть в безопасности? Или существуют какие-либо платформы, которые не соответствуют спецификации и требуют использования va_copy?

Answer 1

Вам нужно только va_copy, если вы все еще планируете использовать ap после vsnprintf. Например, вы можете дважды позвонить vsnprintf - один раз, чтобы определить размер требуемого буфера, и снова для форматирования для реального. Если вам не нужно снова использовать ap (за исключением, возможно, для передачи его va_end, если вы были его создателем с va_start), то вам не нужно va_copy.