为何强制复制消除不适用于潜在重叠子对象？

很多C++开发者都熟悉强制复制/移动操作消除特性：编译器在特定场景下必须跳过复制或移动操作，比如用同类型纯右值（prvalue）初始化对象时，像代码T x = T(T(f()));只会调用一次T的构造函数来初始化x。

但这个特性有明确限制：仅适用于能确定不存在潜在重叠子对象的初始化场景，比如下面的例子：

struct C { /* ... */ };
C f();
 
struct D;
D g();
 
struct D : C
{
    D() : C(f()) {}    // 初始化基类子对象时无法消除复制
    D(int) : D(g()) {} // 因当前D对象可能是其他类的基类子对象，无法消除复制
};

你提到“理论上函数完全可以直接在D的基类区域构造返回值”，但实际上有两个核心原因导致这种场景无法应用强制复制消除：

• 对象模型的确定性约束：C++标准对对象的内存布局、身份和生命周期有严格规定。以D() : C(f())为例，f()返回的是一个完整的C对象，而我们要初始化的是D对象里的基类子对象C。这两个C的“身份”完全不同——完整C对象的生命周期独立，而基类子对象的生命周期依附于D对象。如果强制让f()直接在D的基类区域构造，相当于把一个完整对象塞进子对象的内存空间，后续的析构、内存访问都会触发未定义行为，因为编译器无法保证这两种对象的内存操作逻辑完全一致。

• 函数调用的封装性限制：函数f()的职责是返回一个完整的C对象，它不需要也不应该知道返回值会被用作独立对象还是某个类的基类子对象。如果要求f()直接构造到调用方指定的子对象区域，就打破了函数的封装性——函数的实现需要依赖调用方的对象布局，这违背了C++的设计原则。

再看D(int) : D(g())的情况：当前构造的D对象有可能是某个派生类（比如E）的基类子对象，g()返回的是完整的D对象。如果强制消除复制，让g()直接把D对象构造到当前作为基类子对象的位置，那么这个D对象的内存布局可能无法适配派生类E的需求——比如E可能会在D的内存后添加额外成员，而g()构造的完整D对象的生命周期管理逻辑和作为基类子对象的D完全不同，标准不允许这种模糊的操作，否则会引发不可预测的错误。

内容的提问来源于stack exchange，提问作者Stack Exchange Broke The Law