C++多态对象不可平凡重定位原因及P2786R13适配技术问询

1. 多态对象原本为何不可平凡重定位？ #

平凡重定位的核心逻辑是直接复制对象的内存字节，完全跳过移动构造、析构等用户定义或编译器生成的函数。但在早期C++标准和实现中，多态对象的内存布局并没有被强制要求是“地址无关”的：

• 部分编译器的虚函数表（vtable）实现可能隐含依赖对象的绝对地址，比如某些虚函数调用的辅助逻辑会结合对象地址计算偏移；
• 虚基类指针（vbptr）指向的结构中，可能存储了相对于对象起始地址的偏移量，当对象被字节复制到新内存地址后，这些偏移会失效，导致无法正确访问虚基类成员；
• 更关键的是，C++标准之前没有明确规范多态对象的内存表示必须支持字节复制，因此编译器完全可以生成依赖对象地址的代码，这直接导致多态对象做平凡重定位后，其虚函数调用、虚基类访问等操作都会出现未定义行为。
  P1144提案正是基于这些实现层面的风险，提出禁止多态对象的平凡重定位。

2. P2786R13如何解决此问题以支持这类对象？ #

P2786R13首先重新梳理了“平凡可重定位”的定义，引入std::is_trivially_relocatable类型特征来明确标记符合要求的类型，然后针对多态对象做了两项关键规范：

1. 强制地址无关的内存布局：标准要求所有符合平凡可重定位的多态类型，其内部的vtable、vbptr等多态相关结构必须是位置无关的。也就是说，虚函数调用、虚基类成员访问的逻辑不能依赖对象的绝对内存地址——比如vtable中的函数条目必须使用位置无关代码（PIC）生成，虚基类的偏移量必须是相对于对象自身的偏移而非绝对地址。
2. 明确重定位后的语义：提案规定，平凡重定位完成后，原多态对象的状态是“可安全析构的空状态”——其vtable指针依然有效，析构时能正确调用对应的虚析构函数，不会影响新地址上的对象。
   同时，提案还调整了标准库容器的行为：当容器元素类型是std::is_trivially_relocatable_v为true时，容器可以直接用memcpy/memmove来完成元素的移动，包括多态对象的场景，彻底释放性能潜力。

3. 多态对象的平凡重定位与普通对象是否存在差异？ #

两者的核心逻辑一致——都是通过纯内存字节复制完成对象移动，不调用任何构造/析构函数，性能收益相同，但在约束和语义上存在明显差异：

• 布局约束不同：普通平凡可重定位对象（如int、无虚函数的简单结构体）本身就没有依赖地址的内部结构，不需要编译器额外做特殊处理；而多态对象必须满足编译器强制的“地址无关”布局要求，否则无法被标记为平凡可重定位。
• 原对象的语义要求更严格：普通平凡可重定位对象的原对象状态是未指定的（程序不能依赖原对象的任何状态），但多态对象的原对象必须保持有效的vtable指针，确保可以安全调用虚析构函数——这是因为多态对象的析构通常是通过虚函数完成的，原对象的vtable不能失效。
• 特殊例外情况更多：如果多态对象内部包含了指向自身的成员指针（比如类中存储了this的副本），这类对象依然无法被标记为平凡可重定位；普通对象如果有同样的成员，也无法平凡重定位，但多态对象因为本身有vtable的存在，需要额外排除这类违反地址无关的场景。

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