std::allocator析构函数是否会释放其分配的内存？

• 核心结论：std::allocator<T>::~allocator 不会释放它所分配的内存。
• 原因说明：
  • C++的std::allocator采用"分配与释放分离"的设计逻辑：通过allocate()成员函数申请内存后，必须显式调用deallocate()来释放内存，二者是需要手动配对使用的操作。
  • 该allocator的析构函数是平凡析构函数，它仅负责销毁allocator对象自身，不会追踪或自动清理之前通过allocate()分配的内存块——allocator对象本身不会记录自己分配过哪些内存。
• 代码示例：

  #include <memory>
  
  int main() {
      std::allocator<int> alloc;
      int* ptr = alloc.allocate(10); // 分配能容纳10个int的内存空间
  
      // 销毁allocator对象，但ptr指向的内存并未被释放
      alloc.~allocator();
  
      // 此处存在内存泄漏，必须显式调用 alloc.deallocate(ptr, 10); 才能释放内存
      return 0;
  }
  

• 文档对应说明：你参考的cppreference文档中明确指出，std::allocator的析构函数不执行任何内存释放操作，用户必须手动调用deallocate来归还之前分配的内存。

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