17370845950

std::destroy_at 和 std::destroy 是 C++17 引入的仅析构对象而不释放内存的标准工具，分别用于单个对象和范围对象的显式析构，支持泛型、类型安全及 trivial 类型优化，常用于 placement new、allocator 等手动内存管理场景。

std::destroy_at 和 std::destroy 是 C++17 引入的、用于**显式调用对象析构函数**的标准库工具，专为“手动内存管理”场景设计（比如配合 placement new、allocator、自定义内存池等），它们不释放内存，只执行析构逻辑。

std::destroy_at：析构单个对象

作用于一个已构造的对象指针，等价于手动调用 ptr->~T()，但更安全、泛型、且支持无析构函数类型（如 trivially destructible 类型）的空操作优化。

• 要求：指针必须指向一个已构造完成的对象（不能是未初始化内存或已析构过的地址）
• 用法：std::destroy_at(ptr)，其中 ptr 是 T* 类型
• 例子：

  int* p = new int(42);
  std::destroy_at(p); // 调用 int 的析构（虽 trivial，但语义明确）
  delete p; // 此后才释放内存

std::destroy：批量析构一段范围的对象

对 [first, last) 区间内每个已构造的对象依次调用析构函数，内部通常循环调用 std::destroy_at，同样不释放内存。

• 适用：数组、连续对象块（如 allocator 分配的原始内存中用 placement new 构造的一组对象）
• 用法：std::destroy(first, last)，要求迭代器可递增、可解引用，且指向已构造对象
• 注意：不是 std::destroy_n；后者是 C++20 新增，按数量而非尾迭代器操作

为什么不用直接写 ~T()？

直接写 ptr->~T() 在泛型代码中难写（类型 T 可能未知）、易出错（比如 T 是引用或 void），且无法自动处理 trivial 类型的优化。而 std::destroy_at：

• 类型自动推导，支持所有可析构类型（包括数组类型、cv 限定类型）
• 对 trivially destructible 类型可能被编译器完全优化掉，零开销抽象
• 语义清晰：明确表达“我正在析构这个对象”，提升代码可读性与可维护性

和内存释放的关系

这两个函数绝不释放内存——它们只是析构。释放内存仍需显式调用 operator delete、deallocate() 或其它内存回收机制。

• 典型组合：
  – 分配原始内存 →
  – 用 std::construct_at 或 placement new 构造对象 →
  – 使用对象 →
  – 用 std::destroy_at/std::destroy 析构 →
  – 释放原始内存
• 错误做法：std::destroy_at(p); delete p; 对 new int 是 OK 的，但对 malloc+placement new 就必须配 free，不能混用

基本上就这些。它们不是日常编码常用功能，但在实现容器、allocator、内存池或做高性能/嵌入式内存控制时，是现代 C++ 推荐的、类型安全的析构方式。