El motor variádico heredado de C es una bestia problemática, no ofrece seguridad de tipos, es propensa a errores, abre agujeros de seguridad y puede provocar más problemas de los que es capaz de solucionar.
Los argumentos variádicos al estilo C, trabajan con copia de argumentos (¡no se pueden pasar referencias!), y se someten a transformaciones de tipos de manera transparente1: se promocionan a int
los tipos más pequeños que el mismo (incluyendo tipos enumerados y campos de bits)2, lo mismo con los tipos más pequeños que double
y... ¿qué pasa con objetos complejos de C++?.
Pues, depende. Según el estándar de C++ en el apartado 5.2.2.7 (traducción y resaltado míos):
5.2.2 Llamadas a función
- Cuando no hay parámetro para un argumento proveído, el argumento se pasa de manera que la función receptora puede obtener el valor del argumento invocando
va_arg
[...] Se aplican sobre las expresiones de los argumentos las conversiones estándar lvalue-a-rvalue, array-a-puntero y función-a-puntero. Un argumento cuyo tipo (posiblemente cualificado constante o volátil) sea std::nullptr_t
será convertido a void*
. Tras estas conversiones si el argumento no es de tipo aritmético, enumerado, puntero, puntero a miembro, o clase, el programa está mal formado. Pasar un argumento potencialmente evaluado de tipo clase teniendo un constructor de copia no trivial, un constructor de movimiento no trivial, o un destructor no trivial, es soportado de manera condicional con semánticas dependientes de implementación.
Dado que los argumentos de funciones variádicas se copian, si se usa un tipo cuya construcción o copia puede tener efectos secundarios (es decir: no es un tipo trivial), el compilador puede decidir no dar soporte a dicha operación.
¿Se te ocurre cual puede ser el problema? Claro:
En tu caso, parece que VS2017 sí que da soporte a esta operación, pero dado que otros compiladores pueden decidir no darle soporte, te avisa de que tu código podría no funcionar en otros compiladores (es decir: no es portable).
1Es decir: sin control del programador y posiblemente sin permiso ni conocimiento del mismo.
2Pudiendo causar conversiones inesperadas de sin singo a con signo.