哪个工会成员在安置新成员后变得活跃

Question

关于此代码：

#include <string>

int main()
{
    union u {
        u() { i = 0; }
        ~u() {}

        int i;
        std::string s1;
        std::string s2;
    } u;

    new (&u) std::string{};
}

[intro.object]/2 这么说

对象可以包含其他对象，称为子对象。子对象可以是成员子对象 ([class.mem])、基类子对象 ([class.derived]) 或数组元素。不是任何其他对象的子对象的对象称为完整对象。 如果在与成员子对象或数组元素 e 关联的存储中创建对象（可能在或不在其生命周期内），则创建的对象是 e 的包含对象的子对象，如果：
— e 的包含对象的生命周期已经开始但没有结束，并且
— 新对象的存储正好覆盖与 e 关联的存储位置，并且
— 新对象与 e 的类型相同（忽略 cv 限定）。

没有要求如何在与成员子对象关联的存储中创建对象。如果子对象是标准布局联合的成员或非联合类对象的第一个成员，则代码不必在地址运算符的参数中指定子对象。在这种情况下，获取包含对象的地址来指定成员子对象的存储就足够了。

«没有如何创建对象的要求»，除其他外，意味着赋予放置 new 的指针不必指向子对象的point。主要是因为可能没有对象可以指向（注意，[intro.object]/2 不需要子对象处于活动状态）。在标准讨论邮件列表中，有人问，给定一个类型为struct A { unsigned char buf[1]; }; 的对象x，new (&x) A{} 和new (x.buf) A{} 之间有区别吗？而the answer 不是，在这两种情况下，x.buf 将provide storage 用于A{}。因为

[intro.object] 和 [basic.life] 中的措辞与指针表示的存储地址有关，而不是它指向的对象。

[class.union]/1 发誓«联合类型对象的最多一个非静态数据成员可以随时处于活动状态»。

在上面的代码中，哪个激活了，s1 或 s2？

Answer 1

指针是一个地址，但对于对象模型来说，它不仅仅是一个地址。它指向该地址的特定对象。多个对象可以存在于某个地址，但这并不意味着指向任何这些对象的指针同时指向该地址处的其他对象。考虑一下 [expr.unary.op]/1 所说的指针间接：

结果是一个左值，引用表达式指向的对象或函数。

不是“那个地址的对象”；它是一个左值，指的是被指向的对象。很明显，在 C++ 对象模型中，多个对象可以存在于同一个地址，但指向该地址的特定指针并不指向所有这些对象。它只指向其中之一。

[expr.unary.op]/2 表示“一元 & 运算符的结果是指向其操作数的指针”。因此，&u 指向u，其类型为u（顺便说一句，真的有必要将对象命名为与类型相同吗？）。 &u 不指向 u.i、u.s1 或 u.s2。所有这些都保证与&u 共享相同的地址，但&u 本身只指向u。

那么现在的问题就变成了，&u代表的存储是什么？好吧，根据 [intro.object]/1，我们知道“一个对象占用了一个存储区域”。如果&u 指向对象u，则该指针必须表示该对象占用的存储区域。不是存储其任何子对象；它是该对象的存储。完整的。

现在，我们到达new(&u) std::string{}。此表达式在&u 表示的存储中创建std::string{} 类型的对象。这表示重用对象u 的存储。根据 [basic.life]/1.4，终止 u 的生命周期。这会终止其活动成员子对象的生命周期。

因此，您的问题的答案是两者都不会激活，因为对象 u 不再存在。