va_start()

Макрос va_start() инициализирует ap для последующего использования в va_arg()и va_end(), и должен вызываться первым.

Аргумент last это имя последнего аргумента перед списком с переменным количеством аргументов, то есть это последний аргумент, тип которого известен вызывающей функции.

Так как адрес этого аргумента может быть использован в макросе va_start(), он не должен быть объявлен как регистровая переменная, иметь тип функции или массива.

va_arg()

Макрос va_arg() раскрывается в выражение, которое имеет тип и значение следующего аргумента в вызове. Аргумент ap — это va_list ap, инициализированный va_start(). Каждый вызов va_arg() изменяет ap так, что следующий вызов возвращает следующий аргумент. Аргумент type — это имя типа, указанное так, что тип указателя на объект, который имеет указанный тип, можно получить просто добавив * в type.

Первый вызов макроса va_arg() после va_start() вернёт аргумент после last. Последующие вызовы вернут значения оставшихся аргументов.

Если аргументы закончились, или если type не совместим с типом настоящего следующего аргумента (преобразование происходит согласно преобразованию аргументов по умолчанию), может произойти любая ошибка.

Если ap передан в функцию, которая использует va_arg(ap,type), то значение ap не определено после возврата из функции.

va_end()

Каждый использование va_start() должно завершаться соответствующим вызовом va_end() в той же функции. После вызова va_end(ap) значение переменной ap не определено. Возможно несколько проходов по списку, если каждый из них начинать va_start() и заканчивать va_end(). Макрос va_end() может быть и функцией.

va_copy()

Макрос va_copy() копирует (ранее инициализированный) список с переменным количеством аргументов src в dest. Его действие такое же, как если бы va_start() применили к dest с тем же аргументом last, после чего было бы совершено такое же количество вызовов va_arg(), которое имеется в текущем состоянии src.

Очевидной реализацией было бы создать переменную с типом va_list, указывающую на стековый фрейм функции с переменным количеством аргументов. В этом случае (безусловно, наиболее распространенном) кажется, что достаточно присвоения

va_list aq = ap;

К сожалению, есть системы, в которых это массив указателей (длиной 1), и нужно делать

va_list aq;
*aq = *ap;

Наконец, в системах, где аргументы передаются через регистры, в va_start() может потребоваться выделить память, сохранить там аргументы, а также индекс следующего элемента для того, чтобы va_arg() мог обойти список. Также va_end() может освобождать выделенную память. Чтобы всё это учесть в C99 добавлен макрос va_copy(), который позволяет показанное выше назначение заменить на

va_list aq;
va_copy(aq, ap);
...
va_end(aq);

Для каждого вызова va_copy() должен быть соответствующий вызов va_end() в той же функции. В некоторых системах нет va_copy(), а есть __va_copy — имя, которое использовалось в черновике стандарта.