Переменное число аргументов

Позволяет функции принимать любое количество дополнительных аргументов.

Обозначается конечным ... (кроме вводящего расширение пакета) (начиная с C++11), следующего за списком-параметров объявления функции.

Когда список-параметров не пуст, перед ... может стоять необязательная запятая, обозначающая функцию с переменным числом аргументов. Это обеспечивает совместимость с C (в котором добавлено требование к запятой, когда он получает прототипы функций из C++).

// функция, объявленная следующим образом,
int printx(const char* fmt...);
// может быть вызвана с одним или несколькими аргументами:
printx("привет мир");
printx("a=%d b=%d", a, b);
 
int printx(const char* fmt, ...); // то же, что и выше (лишняя запятая разрешена
                                  // для совместимости с C)
int printy(..., const char* fmt); // ошибка: ... не может появиться как параметр
int printz(...); // действительно, но к аргументам нельзя получить переносимый доступ

[править] Преобразования по умолчанию

Когда вызывается функция с переменным числом аргументов, после преобразований lvalue-в-rvalue, массива в указатель и функции в указатель каждый аргумент, который является частью списка переменных аргументов, подвергается дополнительным преобразованиям, известным как продвижение аргументов по умолчанию:

• аргументы float преобразуются в double, как в продвижении с плавающей запятой
• bool, char, short и перечисления без области видимости преобразуются в int или более широкие целочисленные типы, как в целочисленном продвижении

Разрешены только арифметические аргументы, перечисление, указатель, указатель на элемент и аргументы классового типа (после преобразования). Однако типы классов , не относящиеся к POD (до C++11)с допустимым нетривиальным конструктором копирования, допустимым нетривиальным конструктором перемещения или нетривиальным деструктором вместе с перечислениями с областью видимости (начиная с C++11) условно поддерживаются в потенциально оцениваемых вызовах с семантикой, определяемой реализацией (эти типы всегда поддерживаются в неоценённых вызовах).

Поскольку переменные параметры имеют самый низкий ранг для целей разрешения перегрузки, они обычно используются в качестве универсальных запасных вариантов в SFINAE.

В теле функции, которая использует переменное число аргументов, доступ к значениям этих аргументов можно получить с помощью средств библиотеки <cstdarg>:

Поведение макроса va_start не определено, если последний параметр перед многоточием имеет ссылочный тип или имеет тип, несовместимый с типом, полученным в результате продвижения аргумента по умолчанию.

[править] Альтернативы

[править] Примечание

В языке программирования C до С23 хотя бы один именованный параметр должен стоять перед параметром с многоточием, поэтому printz(...); некорректно до С23. В C++ эта форма разрешена, даже если аргументы, переданные такой функции, недоступны, и обычно используется в качестве резервной перегрузки в SFINAE, используя самый низкий приоритет преобразования многоточия в разрешении перегрузки.

Этот синтаксис с переменным числом аргументов был представлен в C++ 1983 без запятой перед многоточием. Когда C89 перенял прототипы функций из C++, он заменил этот синтаксис на синтаксис, требующий запятой. Для совместимости C++98 принимает как f(int n...) в стиле C++, так и f(int n, ...) в стиле C.

[править] Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

[править] Смотрите также