复制省略重叠对象

问：

参考：复制省略

仅当已知正在初始化的对象不是潜在重叠的子对象时，这才适用：

struct C { /* ... */ };
C f();
 
struct D;
D g();
 
struct D : C
{
    D() : C(f()) {}    // no elision when initializing a base-class subobject
    D(int) : D(g()) {} // no elision because the D object being initialized might
                       // be a base-class subobject of some other class
};

如果编译器可以确定非重叠对象（例如主数据类型）的内存布局以省略复制，而是在其目标位置构造对象，为什么它不能对重叠对象也做同样的事情呢？系统级别的限制是什么，使编译器无法执行此类复制省略？