Este tema es mucho más complejo de lo que parece, las uniones en C++ son un vestigio de C que abren la puerta a muchos comportamientos indefinidos (CI), para intentar evitar varios de estos CI se aplican sobre las uniones una serie de restricciones.
Una de las restricciones se relaciona con el uso de objetos no triviales como miembros de las uniones, de hecho, el ejemplo del estándar es idéntico a tu caso (traducción y resaltado míos):
9.5 Uniones
- Una unión puede tener funciones miembro (incluyendo constructores y destructores), pero no funciones virtuales. Una unión no debe tener clases base. Una unión no debe ser usada como clase base. Si una unión contiene un miembro no estático de tipo referencia, el programa estará mal formado [ Nota: Si cualquiera de los miembros no estáticos de una unión tiene un constructor por defecto no trivial, constructor de copia, constructor de movimiento, operador de copia-asignación, operador de movimiento-asignación o destructor, la correspondiente función miembro de la unión debe ser proveída por el usuario o será borrada implícitamente para la unión —fin de la nota]
[ Ejemplo: Consideremos la siguiente unión:
union U {
int i;
float f;
std::string s;
};
Dado que std::string
declara versiones no triviales de todas las funciones miembro especiales, U
tendrá constructor por defecto, constructor de copia/movimiento, operador de copia-asignación/movimiento y destructor implícitamente borrados. Para usar U
alguna o todas estas funciones miembro deberán ser proveídas. —fin del ejemplo]
Hemos identificado un problema, tu unión carece de las funciones miembro necesarias para ser usada; pero dado que es una función anónima no se le pueden crear constructor por defecto, constructor de copia o destructor.
El tema es que necesito implementar mi propio constructor copia (para realizar esa lógica de control), por lo que no puedo usar el constructor por defecto. Como se ve, utilizo el arcaico memcpy( )
para copiar los datos de la clase.
Esto es una terrible idea, por varios motivos:
- Hacer una copia bit-a-bit de objetos complejos como
std::string
desencadena CI; tras hacer el std::memcpy
de dos std::string
tienes virtualmente el objeto dos veces, cuando una de las copias fallezca, llamará al destructor y borrará la memoria que ambas copias están usando; la copia que aún sigue viva estará usando memoria borrada e intentará borrar de nuevo dicha memoria ya borrada al finalizar su ciclo de vida.
- En C++ las uniones tienen un (y sólo un) miembro activo (traducción y resaltado míos):
9.5 Uniones
- En una unión, como mucho uno de los miembros no estáticos puede estar activo en cualquier momento, esto es, el valor de como mucho uno de los miembros no estáticos puede ser guardado en una unión en cualquier momento. [...]
Usar el miembro inactivo de una unión desencadena CI. Por desgracia el estándar de C++ no es muy claro al respecto de esto ni de cómo se activa un miembro de una unión. std::memcpy
no tiene en cuenta esto, desencadenando CI.
Conclusión
El código que buscas no existe en C++, usando uniones anónimas eliminas la posibilidad de crear funciones miembro que controlan la construcción de los elementos y dichas funciones son requeridas para crear una unión con elementos no triviales. Puedes esquivar esta restricción llamando al destructor de std::string
explícitamente en MyClass
:
class MyClass {
public:
using string = std::string;
union {
string string;
int int_;
float float_;
};
~MyClass() {string_.~string();};
};
Pero esto sólo será válido si y sólo si el objeto MyClass::string_
está activo en el momento de la destrucción de la instancia de MyClass
.
En cuanto a la inicialización (tu ejemplo no incluye el constructor por defecto de MyClass
) puedes añadir un inicializador por defecto a uno (y sólo uno) de los miembros de la unión:
union {
string string_ = {};
int int_;
float float_;
};
Pero esto activará dicho miembro en el constructor por defecto, haciendo que el uso del resto de miembros desencadene CI.
Respecto a la copia, sucederá igual. Puedes añadir un constructor de copia pero no puedes estar seguro de estar copiando el miembro activo:
MyClass( const MyClass &o ) noexcept : string_{o.string_} {
}
Así pues, lo que pides no se puede hacer sin caer en CI.