std::destroy_n() 算法

自 C++17 起

// (1)
template< class ForwardIt, class Size >
ForwardIt destroy_n( ForwardIt first, Size n );

// (2)
template< class ExecutionPolicy, class ForwardIt, class Size >
ForwardIt destroy_n( ExecutionPolicy&& policy, ForwardIt first, Size n );

• (1) 销毁从 first 开始的范围内 n 个对象，如同通过

  for (; n > 0; (void) ++first, --n)
      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	要销毁的元素范围的起始。
n	要销毁的元素数量。
policy	要使用的执行策略。详见执行策略。

类型要求

ForwardIt

LegacyForwardIterator

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

返回值

已销毁对象范围的结束（即 std::next(first, n)）。

复杂度

与 n 成线性关系。

异常

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

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

可能的实现

destroy_n(1)

template<class ForwardIt, class Size>
constexpr // since C++20
ForwardIt destroy_n(ForwardIt first, Size n)
{
    for (; n > 0; (void) ++first, --n)
        std::destroy_at(std::addressof(*first));
    return 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_n(ptr, 8);
}

输出

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