关于Folly库中new+std::move迁移指针的技术疑问

placement new配合std::move的底层逻辑与性能优势 #

• 底层逻辑：placement new的核心是不分配新内存，直接在itemAddr指向的已有内存区域上构造对象。这里用std::move(src)把原std::pair对象转换成右值引用，触发std::pair的移动构造函数——这个过程不会复制对象的实际资源（比如字符串的堆内存、容器的内部数据），只是把原对象的资源所有权转移给新构造的对象，原对象会进入“可析构但不可使用”的状态。
• 性能优势：对于包含堆分配资源的类型（比如std::pair<std::string, std::vector<int>>这类），移动构造的开销远低于拷贝构造——拷贝需要复制所有数据，而移动只是修改几个指针的指向。再加上placement new跳过了内存分配步骤（内存已提前备好），非常适合内存池、高性能自定义容器这类场景，这也是Folly作为高性能基础库常用这种写法的原因。

为何src设为nullptr后还要调用src.~Item() #

• 首先明确：把指针src设为nullptr，只是修改了指针变量本身的值，原来指针指向的std::pair对象还在内存中，并没有被销毁。
• 调用析构函数src.~Item()是为了手动销毁原对象，释放它持有的资源（比如std::string的堆内存、std::vector的缓冲区），如果不这么做会造成内存泄漏。
• 先把src置为nullptr的目的是：避免后续代码误访问这个已经失效的对象。原对象被析构后，原来的指针就成了野指针，访问野指针会导致未定义行为；而置为nullptr后，后续误操作会直接触发崩溃，更容易定位问题。

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