Namespaces
Variants

    std::destroy

    来自 zh.cppreference.net
     
    C++
     
    算法库
    受约束算法与范围算法 (C++20)
    受约束算法，例如 ranges::copy、ranges::sort，...
    排序及相关操作
    划分操作
    (C++11)    
    (C++11)

    排序操作
    二分查找操作
    (在已划分的范围上)
    集合操作 (在已排序范围上)
    合并操作 (在已排序范围上)
    堆操作
    最小/最大操作
    (C++11)
    (C++17)
    字典序比较操作
    (C++20)
    排列操作


     
    专用 <内存>算法
    辅助模板 (仅供阐述*)
    (C++17)
    对象（批量）构造
    对象（批量）销毁
    (C++17)
    (C++17)
    (C++17)
     
    定义于头文件 <memory> 
    template< class ForwardIt >
void destroy( ForwardIt first, ForwardIt last );
    		(1) (C++17 起)
    (C++20 前)    		 
    template< class ForwardIt >
constexpr void destroy( ForwardIt first, ForwardIt last );
    		(C++20 起) 
    template< class ExecutionPolicy, class ForwardIt >
void destroy( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );
    		(2) (C++17 起)
    1) 销毁目标范围 [first, last) 中的元素，如同通过 
    for (; first != last; ++first)
    std::destroy_at(std::addressof(*first));
    2) 与 (1) 相同，但按照 policy 执行。
    此重载仅在以下表达式计算结果为 true 时参与重载决议：

    std::is_execution_policy_v<std::decay_t<ExecutionPolicy>>

    		(C++20 前)

    std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>>

    		(C++20 起)

    参数

    first, last - 定义待销毁元素 范围 的迭代器对
    policy - 要使用的 执行策略
    类型要求
    -
    ForwardIt 必须满足 LegacyForwardIterator 的要求。
    -
    通过 ForwardIt 的有效实例进行递增、赋值、比较或解引用操作不得抛出异常。

    异常

    2) 在执行过程中：
    • 如果并行化所需的临时内存资源不可用，则抛出 std::bad_alloc。
    • 如果在通过算法参数访问对象时抛出未捕获的异常，则行为由执行策略决定（对于 标准策略，将调用 std::terminate）。

    可能的实现 

    template<class ForwardIt>
constexpr // 自 C++20 起
void destroy(ForwardIt first, ForwardIt last)
{
    for (; first != last; ++first)
        std::destroy_at(std::addressof(*first));
}

    示例

    演示如何使用 destroy 销毁一个连续的元素序列。

    运行此代码
    #include <iostream>
#include <memory>
#include <new>

struct Tracer
{
    int value;
    ~Tracer() { std::cout << value << " destructed\n"; }
};

int main()
{
    alignas(Tracer) unsigned char buffer[sizeof(Tracer) * 4];
    
    for (int i = 0; i < 4; ++i)
        new (buffer + sizeof(Tracer) * i) Tracer{i}; // manually construct objects

    auto ptr = std::launder(reinterpret_cast<Tracer*>(buffer));

    std::destroy(ptr, ptr + 4);
}

    输出： 

    0 destructed
1 destructed
2 destructed
3 destructed

    参见

    (C++17)
    		销毁范围中的多个对象
    (函数模板)
    (C++17)
    		销毁指定地址的对象
    (函数模板)
    (C++20)
    		销毁范围内的对象
    (算法函数对象)