std::destroy_at 和 std::destroy 是 C++17 引入的仅析构对象而不释放内存的标准工具，分别用于单个对象和范围对象的显式析构，支持泛型、类型安全及 trivial 类型优化，常用于 placement new、allocator 等手动内存管理场景。
std::destroy_at
和
std::destroy
是 C++17 引入的、用于**显式调用对象析构函数**的
标准库
工具，专为“手动内存管理”场景设计（比如配合 placement new、allocator、自定义内存池等），它们不释放内存，只执行析构逻辑。
std::destroy_at：析构单个对象
作用于一个已构造的对象指针，等价于手动调用
，但更安全、泛型、且支持无析构函数类型（如 trivially destructible 类型）的空操作优化。
要求：指针必须指向一个已构造完成的对象（不能是未初始化内存或已析构过的地址）
用法：
，其中
是
类型
例子：
std::destroy：批量析构一段范围的对象
对 [first, last) 区间内每个已构造的对象依次调用析构函数，内部通常循环调用
，同样不释放内存。
适用：数组、连续对象块（如 allocator 分配的原始内存中用 placement new 构造的一组对象）
用法：
，要求迭代器可递增、可解引用，且指向已构造对象
注意：不是
；后者是 C++20 新增，按数量而非尾迭代器操作
为什么不用直接写 ~T()？
直接写
在泛型代码中难写（类型 T 可能未知）、易出错（比如 T 是引用或 void），且无法自动处理 trivial 类型的优化。而
：
立即学习
“
C++免费学习笔记（深入）
”；
类型自动推导，支持所有可析构类型（包括数组类型、cv 限定类型）
对 trivially destructible 类型可能被编译器完全优化掉，零开销抽象
语义清晰：明确表达“我正在析构这个对象”，提升
代码可读性
与可维护性
和内存释放的关系
这两个函数
绝不释放内存
——它们只是析构。释放内存仍需显式调用
、
或其它内存回收机制。
典型组合：
– 分配原始内存 →
– 用
或 placement new 构造对象 →
– 使用对象 →
– 用
/
析构 →
– 释放原始内存
错误做法：
对
是 OK 的，但对
+placement new 就必须配
，不能混用
基本上就这些。它们不是日常
编码
常用功能，但在实现容器、allocator、内存池或做高性能/嵌入式内存控制时，是现代 C++ 推荐的、类型安全的析构方式。
ptr->~T()std::destroy_at(ptr)ptrT*int* p = new int(42);
std::destroy_at(p); // 调用 int 的析构（虽 trivial，但语义明确）
delete p; // 此后才释放内存std::destroy_atstd::destroy(first, last)std::destroy_nptr->~T()std::destroy_atoperator deletedeallocate()std::construct_atstd::destroy_atstd::destroystd::destroy_at(p); delete p;new intmallocfree