C++继承层级中基类成员函数重建当前对象是否引发未定义行为？

结论 #

你给出的示例代码 derived.base_member = 5; 确实属于未定义行为，你的分析整体逻辑完全正确，仅有少量细节可以补充。

1. 对象生命周期终止的判断 #

你的分析没有问题：调用base_replace时，仅销毁并重建了Base基类子对象，并不会终止Derived对象derived的生命周期。C++标准明确规定，复用嵌套子对象的存储不会触发外层完整对象的生命周期终止。

2. 直接访问base_member属于未定义行为的原因 #

你提到的基类子对象属于potentially-overlapping subobject（潜在重叠子对象）是核心原因：基类子对象默认属于潜在重叠类型，不满足对象透明替换的条件，所以旧的基类子对象指针/引用不会自动指向新创建的基类子对象，必须通过std::launder获取合法指针才能访问。

derived.base_member = 5这个操作，本质是先隐式把&derived转换为Base*，再访问该指针指向的Base对象的base_member成员，这个隐式转换得到的Base*还是指向已经被销毁的旧基类子对象，没有指向新创建的Base对象，因此属于未定义行为。

3. 两种std::launder写法的正确性 #

两种写法都是符合标准要求的合法写法，仅在语义直观性上有区别：

• std::launder(&derived)->base_member = 5;：std::launder接收Derived*类型的指针，只要derived对象的生命周期仍然有效（此处确实有效），launder返回的Derived*是合法的，通过该指针访问基类成员时，隐式转换得到的Base*会自动指向新的基类子对象，运行完全正常。
• std::launder(static_cast<Base*>(&derived))->base_member = 5;：直接对转换后的Base*做launder，明确修正基类子对象的指针指向新创建的Base对象，可读性更高，更直观体现了代码意图。

4. 分析逻辑补充 #

你的分析没有疏漏，仅可以补充一个实践层面的注意点：如果Base是标准布局类型，且Derived没有其他非静态数据成员，部分编译器可能会让未加std::launder的代码正常运行，但这属于编译器的宽松处理，并不符合C++标准要求，依然是未定义行为，不可依赖。

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