C++非trivially_copyable类型memcpy限制下的缓冲区内存移动实现

先把关于非平凡可拷贝类型的几个普遍误解拆穿：

• 不存在“非trivially_copyable类型内存不连续”的情况。任何C++对象在完整生命周期内，自身占用的内存一定是连续的——否则编译器根本没法通过this指针偏移访问类成员，操作系统做物理页迁移、进程内存拷贝的时候，搬移的就是这段连续的字节空间。
• C禁止直接对非trivially_copyable类型做memcpy，根本原因和存储连续性没关系：memcpy本质是逐字节复制源内存的内容，然后直接在目标内存位置把这些字节当作合法对象用，这个操作完全绕开了C的对象生命周期规则。一旦对象内部存在自引用指针、引用计数、自定义资源句柄、虚表这些依赖构造逻辑才能正确初始化的状态，memcpy带来的字节复制根本不会修正这些状态，直接把对象的内部状态搞坏。
• 所谓的non-standard_layout会导致内存乱序也是错的。标准对类布局的要求从来都是“对象整体存储连续，成员按规则确定偏移”，根本不存在类成员散落在不相关内存地址的情况。
• 哪怕char缓冲区是C++标准定义的隐式生命周期类型，你在上面通过placement new构造的MyType对象，也得遵守正常的对象生命周期规则——隐式生命周期的特权只适用于缓冲区本身，不适用于你在上面构造的自定义类型对象。

作为内存分配器的开发者，你根本不需要知道内存块里存的具体类型，就能完成合规的搬移操作，核心思路是给每个分配出去的内存块绑定专属元数据，把搬移需要的操作提前存好：

• 元数据需要记录的核心信息包括：该块存储的对象大小、对象的移动构造函数地址、对象的析构函数地址。这些信息在你第一次用placement new在块上构造对象的时候，就可以通过模板推导自动提取，完全不需要运行时做额外的类型判断。
• 实际执行内存搬移的时候，严格按照标准允许的流程走就行，全程不需要感知具体类型：
  1. 从源内存块的元数据里取出移动构造函数的函数指针，在目标位置的可用内存上，调用这个函数完成对象状态的转移——这一步会自动处理所有内部指针修正、引用计数更新、资源所有权转移的逻辑，在目标位置生成完全符合标准的合法对象。
  2. 等目标位置的对象构造完成、所有状态稳定之后，调用元数据里存的析构函数，把源位置的旧对象销毁，标记源块为可复用空间。
  3. 遍历所有持有该块引用的索引句柄、间接指针，把内部存的块偏移/地址更新为新位置，完成碎片整理。
     这个流程和你现在设计的“返回索引句柄、不暴露稳定直接指针”的思路完全兼容，没有任何冲突。

如果跳过上面的构造/析构流程，直接把存了非平凡类型的内存段memcpy走，本质是绕过对象生命周期规则生成非法的伪对象：

• 对trivially_copyable类型，这种操作是标准明确允许的，搬移后状态完全一致，没有问题。
• 对non-trivially_copyable类型，这种操作属于严格的未定义行为：哪怕绝大多数测试场景下看起来功能正常，只要遇到带自引用缓冲区的字符串、引用计数智能指针、带虚函数的多态类型，就会出现指针悬空、资源提前释放、多态逻辑失效这类诡异bug，根本没有稳定的语义保证。
• 你通过placement new构造在原buffer上的MyType对象，合法生命周期只存在于当初构造的那个内存地址上。memcpy之后新位置的字节序列根本没经过正规的构造流程，标准不会承认它是一个合法的MyType对象，对它的任何访问都属于未定义行为。

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