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：
立即学习“C++免费学习笔记（深入）”；
- 类型自动推导，支持所有可析构类型（包括数组类型、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++ 推荐的、类型安全的析构方式。
