Mục đích của việc sử dụng một liên minh chỉ có một thành viên là gì?

Khi tôi đang đọc mã nguồn seastar , tôi nhận thấy rằng có một cấu trúc hợp nhất được gọi là tx_sidechỉ có một thành viên. Đây có phải là một số hack để đối phó với một vấn đề nhất định?

FYI, tôi dán tx_sidecấu trúc bên dưới:

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

Bởi vì tx_sidelà một liên minh, tx_side()không tự động khởi tạo / xây dựng avà ~tx_side()không tự động phá hủy nó. Điều này cho phép kiểm soát chi tiết trong suốt vòng đời avà pending_fifo, thông qua các cuộc gọi hủy diệt thủ công và mới (vị trí của một người nghèo std::optional).

Đây là một ví dụ:

#include <iostream>

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

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

int main()
{
    B b;
}

Ở đây, B b;in không có gì, vì akhông được xây dựng cũng không bị phá hủy.

Nếu Blà một struct, B()sẽ gọi A()và ~B()sẽ gọi ~A(), và bạn sẽ không thể ngăn chặn điều đó.

Nói một cách đơn giản, trừ khi được gán / khởi tạo một giá trị rõ ràng, một liên kết thành viên không khởi tạo bộ nhớ được phân bổ. Chức năng này có thể đạt được với std:: optionaltrong c ++ 17.