只与一个成员一起使用联合的目的是什么？

当我阅读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_fifostd::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中实现。