《C++ Primer 第5版》含类类型成员的union赋值运算符实现疑问

你的理解存在两处核心误区，我们结合union的特性和std::string的赋值语义拆解： #

1. Union的活跃成员规则 #

• 包含非平凡类型（如带自定义构造/析构函数的std::string）的union，同一时间仅允许一个成员处于活跃状态，编译器不会自动管理非活跃成员的生命周期，也无法感知当前哪个成员是活跃的。
• 当union当前的活跃成员不是std::string时，sval对应的内存空间里存储的要么是其他类型（如int、double）的有效值，要么是未初始化的垃圾值，该地址上不存在任何已经构造完成的std::string对象。

2. std::string赋值运算符的调用前提 #

std::string的operator=的核心语义是：对一个已经构造完成的合法std::string对象，替换其内部存储的内容。它的内部逻辑确实会释放自身原有管理的堆内存，但这个操作的前提是：this指针指向的地址上的std::string对象完全合法，其内部的字符指针、长度、容量等成员都是有效取值。

如果在没有构造过std::string的内存地址上直接执行sval = s，相当于对一块内容随机的内存执行string的赋值逻辑，会尝试访问非法指针，直接触发未定义行为，绝大多数场景下会直接崩溃。这和你对未初始化的std::string*指针直接解引用赋值的错误性质完全一致。

3. 分情况处理的合理性 #

• 若当前活跃成员已经是std::string：说明sval地址上已经存在合法的string对象，直接赋值即可，赋值运算符会正确处理原有资源的释放，无需手动析构再构造，效率更高。
• 若当前活跃成员不是std::string：需要先手动析构当前的活跃成员（避免其他类型的资源泄漏，《C++ Primer》的示例中包含这一步逻辑），再用placement new在sval的地址上构造新的std::string对象，完成初始化后才能正常执行后续操作。

对认知误区的补充纠正 #

你提到的“赋值运算符会自动调用原有对象的析构函数”是错误的：赋值运算符只会释放对象管理的外部资源，不会调用自身的析构函数，对象本身的生命周期并未结束。哪怕是部分实现采用的copy-and-swap写法，也建立在对象本身已经合法存在的前提下，和内存中不存在有效对象的场景完全不同。

内容的提问来源于stack exchange，提问作者Itachi Uchiwa