Variadic arguments

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

Функция является вариативной, если последний параметр в её списке параметров является многоточием ( ... ).

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

Продвижения аргументов по умолчанию

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

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

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

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

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

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

Альтернативы

Примечания

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

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

Отчеты о дефектах

Следующие отчеты об изменениях поведения, влияющие на дефекты, были применены задним числом к ранее опубликованным стандартам C++.

Смотрите также