Variadic arguments

Permite que una función acepte cualquier número de argumentos adicionales.

Una función es variádica si el último parámetro de su lista de parámetros es una elipsis ( ... ).

// la función declarada de la siguiente manera
int printx(const char* fmt, ...);
int printx(const char* fmt...); // igual que la anterior, pero obsoleta desde C++26
// puede ser llamada con uno o más argumentos:
printx("hello world");
printx("a=%d b=%d", a, b);
int printy(..., const char* fmt); // error: ... solo puede ser el último parámetro
int printz(...); // válido, pero los argumentos no pueden accederse de forma portable

Promociones predeterminadas de argumentos

Cuando se llama a una función variádica, después de las conversiones de lvalue-a-rvalue, array-a-puntero y función-a-puntero conversions , cada argumento que forma parte de la lista de argumentos variables sufre conversiones adicionales conocidas como default argument promotions :

• float los argumentos se convierten a double como en la promoción de punto flotante .
• bool , char , short , y las enumeraciones no delimitadas se convierten a int o tipos enteros más amplios como en la promoción entera .

Tipos de clase no-POD (hasta C++11) Enumeraciones con ámbito y tipos de clase con un constructor de copia no trivial elegible, un constructor de movimiento no trivial elegible, o un destructor no trivial (desde C++11) están condicionalmente soportados en llamadas potencialmente evaluadas con semántica definida por la implementación (estos tipos siempre están soportados en llamadas no evaluadas ).

Debido a que los parámetros variádicos tienen el rango más bajo para el propósito de resolución de sobrecarga , comúnmente se utilizan como respaldo general en SFINAE .

Dentro del cuerpo de una función que utiliza argumentos variádicos, los valores de estos argumentos pueden accederse utilizando las <cstdarg> facilidades de la biblioteca :

El comportamiento de la macro va_start es indefinido si el último parámetro antes de los puntos suspensivos tiene tipo de referencia, o tiene un tipo que no es compatible con el tipo que resulta de las promociones de argumentos por defecto.

Alternativas

Notas

En el lenguaje de programación C hasta C23, al menos un parámetro nombrado debe aparecer antes del parámetro de elipsis, por lo que R printz ( ... ) ; no es válido hasta C23. En C++, esta forma está permitida aunque los argumentos pasados a dicha función no sean accesibles, y se utiliza comúnmente como la sobrecarga de respaldo en SFINAE , aprovechando la prioridad más baja de la conversión de elipsis en overload resolution .

Esta sintaxis para argumentos variádicos fue introducida en C++ de 1983 sin la coma antes de la elipsis. Cuando C89 adoptó los prototipos de función de C++, reemplazó la sintaxis con una que requiere la coma. Por compatibilidad, C++98 acepta tanto el estilo C++ f ( int n... ) como el estilo C f ( int n, ... ) . La gramática original de estilo C++ está obsoleta desde C++26.

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares publicados anteriormente de C++.

Véase también