¿Cuál es el propósito de usar una unión con un solo miembro?

Cuando estaba leyendo el código fuente de Seastar , noté que hay una estructura de unión llamada tx_sideque tiene un solo miembro. ¿Es esto un truco para lidiar con cierto problema?

FYI, pego la tx_sideestructura a continuación:

union tx_side {
    tx_side() {}
    ~tx_side() {}
    void init() { new (&a) aa; }
    struct aa {
        std::deque<work_item*> pending_fifo;
    } a;
} _tx;

Porque tx_sidees una unión, tx_side()no se inicializa / construye automáticamente a, y ~tx_side()no la destruye automáticamente. Esto permite un control detallado sobre la vida útil de , ay pending_fifomediante la colocación de nuevas llamadas destructoras manuales y (un hombre pobre std::optional).

Aquí hay un ejemplo:

#include <iostream>

struct A
{
    A() {std::cout << "A()\n";}
    ~A() {std::cout << "~A()\n";}
};

union B
{
    A a;
    B() {}
    ~B() {}
};

int main()
{
    B b;
}

Aquí, B b;no imprime nada, porque ano se construye ni se destruye.

Si Bfuera un struct, B()llamaría A()y ~B()llamaría ~A(), y usted no podría evitarlo.

En palabras simples, a menos que se asigne / inicialice explícitamente un valor, la unión de un solo miembro no inicializa la memoria asignada. Esta funcionalidad se puede lograr con std:: optionalc ++ 17.