std::destroy() 算法

自 C++17 起

// (1)
template< class ForwardIt >
void destroy( ForwardIt first, ForwardIt last );

// (2)
template< class ExecutionPolicy, class ForwardIt >
void destroy( ExecutionPolicy&& policy, ForwardIt first, ForwardIt last );

• (1) 销毁范围 [first; last) 中的对象，如同通过

  for (; first != last; ++first)
      std::destroy_at(std::addressof(*first));

• (2) 与 (1) 相同，但根据 policy 执行。

重载决议

只有当std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> (直至 C++20)std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> (自 C++20 起)为true时，这些重载才参与重载决议。

参数

first last	要销毁的元素范围。
policy	要使用的执行策略。详见执行策略。

类型要求

ForwardIt

LegacyForwardIterator

对 NoThrowForwardIt 的有效实例进行增量、赋值、比较或间接引用均不得抛出异常。

返回值

(无)

复杂度

与 first 和 last 之间的距离成线性关系。

异常

带有模板参数 ExecutionPolicy 的重载报告错误如下

• 如果作为算法一部分调用的函数执行抛出异常，并且 ExecutionPolicy 是标准策略之一，则调用std::terminate。对于其他任何 ExecutionPolicy，行为是实现定义的。.
• 如果算法未能分配内存，则抛出 std::bad_alloc。

可能的实现

destroy(1)

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

示例

Main.cpp

#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) * 8];

    for (int i = 0; i < 8; ++i)
        new(buffer + sizeof(Tracer) * i) Tracer{i}; //manually construct objects

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

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

输出

0 destructed
1 destructed
2 destructed
3 destructed
4 destructed
5 destructed
6 destructed
7 destructed