作为(Working Draft of) C++ Standard说:

9.5.1 [class.union]

In a union, at most one of the non-static data members can be active at any time, that is, the value of at most one of the non-static data members can be stored in a union at any time. [...] The size of a union is sufficient to contain the largest of its non-static data members. Each non-static data member is allocated as if it were the sole member of a struct. All non-static data members of a union object have the same address.

但我不知道如何确定哪个是 union 的活跃成员，而且我还没有足够的时间深入研究标准来找到标准对它的描述，我试图弄清楚活跃的成员是如何成员已设置，但我发现它是如何交换的:

9.5.4 [class.union]

[ Note: In general, one must use explicit destructor calls and placement new operators to change the active member of a union. —end note ] [Example: Consider an object u of a union type U having non-static data members m of type M and n of type N. If M has a non-trivial destructor and N has a non-trivial constructor (for instance, if they declare or inherit virtual functions), the active member of u can be safely switched from m to n using the destructor and placement new operator as follows:

u.m.~M();
new (&u.n) N;

—end example ]

所以我的猜测是 union 的活跃成员是第一个被分配、使用、构建或安置新的；但这对于统一初始化变得有点棘手，请考虑以下代码:

union Foo
{
    struct {char a,b,c,d;};
    char array[4];
    int integer;
};

Foo f; // default ctor
std::cout << f.a << f.b << f.c << f.d << '\n';

上面代码中哪个是 union 的活跃成员？ std::cout 是从联盟的活跃成员那里读取的吗？下面的代码呢？

Foo f{0,1,2,3}; // uniform initialization
std::cout << f.a << f.b << f.c << f.d << '\n';

通过上面的代码，我们可以初始化嵌套的匿名结构或数组，如果我只提供一个整数，我可以初始化 Foo::a 或 Foo::array 或 Foo::integer...哪个是活跃成员？

Foo f{0}; // uniform initialization
std::cout << f.integer << '\n';

我猜活跃成员在上述所有情况下都是匿名结构，但我不确定。

如果我想激活一个或另一个 union 成员，我应该提供一个构造函数来激活它吗？

union Bar
{
    // #1 Activate anonymous struct
    Bar(char x, char y, char z, char t) : a(x),b(y),c(z),d(t) {}
    // #2 Activate array
    Bar(char (&a)[4]) { std::copy(std::begin(a), std::end(a), std::begin(array)); }
    // #3 Activate integer
    Bar(int i) : integer(i) {}

    struct {char a,b,c,d;};
    char array[4];
    int integer;
};

我几乎可以肯定 #1 和 #3 会将匿名结构和整数标记为事件 union ，但我不知道 #2 因为在我们到达构造函数主体的那一刻，成员已经建!那么我们是不是在不活跃的 union 成员上调用 std::copy？

问题:

• 如果 Foo 是用以下统一初始化构造的，哪些是事件 union 成员:
  • Foo{};
  • Foo{1,2,3,4};
  • Foo{1};
• 在 Bar 的 #2 构造函数中，Bar::array 是活跃的 union 成员？
• 我可以在标准中的哪个位置了解到哪个是活跃的 union 成员以及如何在不放置新成员的情况下对其进行设置？

最佳答案

您对缺乏对 union 活跃成员的严格定义的担忧得到了标准化委员会(至少部分)成员的认同 - 请参阅最新说明(日期为 2015 年 5 月) ) 在 active issue 1116 的描述中:

We never say what the active member of a union is, how it can be changed, and so on. [...]

我认为我们可以期待在工作草案的 future 版本中进行某种澄清。该注释还表明，我们迄今为止最好的是您在问题 [9.5p4] 中引用的段落中的注释。

话虽如此，让我们看看您的其他问题。

首先，标准C++中没有匿名结构(只有匿名 union )； struct {char a,b,c,d;}; 如果编译时使用相当严格的选项 (-std=c++1z -Wall -Wextra -pedantic 会给你警告> 例如，用于 Clang 和 GCC)。展望 future ，我假设我们有一个像 struct { char a, b, c, d; 这样的声明。 } s; 并且其他所有内容都相应地进行了调整。

第一个示例中隐式默认的默认构造函数不根据 [12.6.2p9.2] 执行任何初始化:

In a non-delegating constructor, if a given potentially constructed subobject is not designated by a mem-initializer-id (including the case where there is no mem-initializer-list because the constructor has no ctor-initializer), then

(9.1) - if the entity is a non-static data member that has a brace-or-equal-initializer and either

(9.1.1) - the constructor’s class is a union (9.5), and no other variant member of that union is designated by a mem-initializer-id or
(9.1.2) - the constructor’s class is not a union, and, if the entity is a member of an anonymous union, no other member of that union is designated by a mem-initializer-id,

实体按照 8.5 中的规定进行初始化；

(9.2) - 否则，如果实体是匿名 union 体或变体成员 (9.5)，则不执行初始化；

(9.3) - 否则，实体默认初始化 (8.5)。

我想我们可以说 f 在其默认构造函数完成执行后没有事件成员，但我不知道有任何标准措辞可以清楚地表明这一点。实际上可以说，尝试读取任何 f 成员的值是没有意义的，因为它们是不确定的。

在您的下一个示例中，您使用的是聚合初始化，根据 [8.5.1p16]，它是为 union 合理定义的:

When a union is initialized with a brace-enclosed initializer, the braces shall only contain an initializer-clause for the first non-static data member of the union. [ Example:

union u { int a; const char* b; }; 
u a = { 1 }; 
u b = a; 
u c = 1;               // error 
u d = { 0, "asdf" };   // error 
u e = { "asdf" };      // error 

— end example ]

这与 [8.5.1p12] 中指定的用于初始化嵌套结构的大括号省略一起使结构成为事件成员。它也回答了您的下一个问题:您只能使用该语法初始化第一个 union 成员。

你的下一个问题:

If I want to activate one or the other union member, should I provide a constructor activating it?

是的，或者根据上面引用的 [12.6.2p9.1.1] 为一个成员使用 brace-or-equal-initializer；像这样:

union Foo
{
    struct { char a, b, c, d; } s;
    char array[4];
    int integer = 7;
};

Foo f;

在上面之后，事件成员将是 integer。以上所有内容也应该回答您关于 #2 的问题(当我们到达构造函数的主体时，成员尚未构造 - #2 也可以)。

最后，Foo{} 和 Foo{1} 都执行聚合初始化；它们分别被解释为 Foo{{}} 和 Foo{{1}}(因为大括号省略)，并初始化结构；根据 [ 8.5.1p7].

所有标准引述均来自当前工作草案，N4527 .

论文N4430 ，其中处理了一些相关的问题，但尚未集成到工作草案中，为活跃成员提供了定义:

In a union, a non-static data member is active if its name refers to an object whose lifetime has begun and has not ended ([basic.life]).

这有效地将责任推给了 [3.8] 中生命周期的定义，它也有一些针对它的问题，包括前面提到的 issue 1116。 ，所以我认为我们必须等待几个这样的问题得到解决才能有一个完整和一致的定义。目前的生命周期定义似乎还没有完全准备好。

关于c++ - union 体的活跃成员，统一的初始化和构造函数，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/31388208/