为何std::vector扩容时不使用memcpy或realloc？

你的理解是完全正确的：std::vector在扩容时不会使用memcpy或realloc这类C语言内存操作函数，而是会逐个调用元素的拷贝构造函数（C++11及以后会优先用移动构造函数，如果元素支持的话）来完成元素迁移。

之所以采用这种实现方式，核心原因是C++的对象模型和语义要求，具体可以拆解为几点：

• 保证对象语义的正确性
  memcpy是纯字节级复制，仅适用于平凡可复制类型（比如int、char这类原生类型，或者没有自定义构造/析构/拷贝逻辑的简单结构体）。但std::vector的设计目标是支持任意C类型——包括那些自带动态内存管理的类（比如std::string）、拥有自定义拷贝逻辑的类。如果用memcpy复制这些对象，会直接复制内存字节，导致对象内部状态混乱（比如两个std::string指向同一块堆内存，析构时重复释放），完全违背了C的对象语义。

• 严格遵循对象生命周期管理
  C要求对象必须通过构造函数初始化，通过析构函数销毁。扩容时，新分配的内存是未初始化的，必须调用构造函数创建新对象；旧内存中的对象在迁移完成后，必须调用析构函数清理。memcpy和realloc完全不处理构造/析构逻辑，根本不符合C的对象生命周期规则。

• 支持移动语义的高效优化
  C++11引入移动语义后，只要元素的移动构造函数标记为noexcept，std::vector扩容时会优先调用移动构造函数，这比拷贝构造高效得多，同时依然保证对象语义正确。这种语义层面的优化是memcpy做不到的——它根本区分不了“移动”和“拷贝”的差异。

• realloc的本质局限性
  realloc要么原地扩展内存块，要么分配新内存并字节拷贝旧数据。但即使是原地扩容，对于非平凡类型来说也不安全：它只是调整内存大小，不会触发任何对象构造/析构逻辑，对于需要维护内部状态的对象来说，这会直接破坏其正确性。

当然补充一句：对于平凡可复制类型，部分编译器会做优化，用memcpy代替逐个拷贝构造——这是符合标准的，因为这类类型的字节复制等价于拷贝构造的效果。但这是编译器的优化行为，不是std::vector的标准实现逻辑。

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