Яка мета використання союзу лише з одним членом?

Коли я читав вихідний код моря , я помітив, що існує структура союзу, tx_sideяка має лише одного члена. Це якийсь хакер для вирішення певної проблеми?

FYI, я вставляю tx_sideструктуру нижче:

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

Оскільки tx_sideє об'єднанням, tx_side()він не ініціалізує / конструює автоматично aі ~tx_side()не знищує його автоматично. Це дозволяє тонкозернистий контроль за терміном експлуатації aта pending_fifoза допомогою нових та ручних викликів деструкторів (бідних std::optional).

Ось приклад:

#include <iostream>

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

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

int main()
{
    B b;
}

Тут B b;нічого не друкується, бо aне побудовано і не зруйновано.

Якби Bбув a struct, B()зателефонував би A()і ~B()зателефонував ~A(), а ви не змогли б цього запобігти.

Простими словами, якщо явно не присвоєно / ініціалізовано значення, об'єднання одного члена не ініціалізує виділену пам'ять. Цю функціональність можна досягти за допомогою std:: optionalc ++ 17.