Какова цель использования союза только с одним членом?

Когда я читал исходный код seastar , я заметил, что существует структура объединения, tx_sideкоторая имеет только один член. Это какой-то хак для решения определенной проблемы?

К вашему сведению, я вставляю 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был struct, B()назвал бы A()и ~B()назвали бы ~A(), и вы не смогли бы предотвратить это.

Проще говоря, если явно не назначено / не инициализировано значение, объединение с одним членом не инициализирует выделенную память. Эта функциональность может быть достигнута std:: optionalв C ++ 17.