Namespaces
Variants

std:: destroy_n

From cppreference.net
C++
Memory management library
( exposition only* )
Allocators
Uninitialized memory algorithms
Constrained uninitialized memory algorithms
Memory resources
Uninitialized storage (until C++20)
( until C++20* )
( until C++20* )
( until C++20* )

Garbage collector support (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
(C++11) (until C++23)
Определено в заголовке <memory>
(1)
template < class ForwardIt, class Size >
ForwardIt destroy_n ( ForwardIt first, Size n ) ;
(начиная с C++17)
(до C++20)
template < class ForwardIt, class Size >
constexpr ForwardIt destroy_n ( ForwardIt first, Size n ) ;
(начиная с C++20)
template < class ExecutionPolicy, class ForwardIt, class Size >
ForwardIt destroy_n ( ExecutionPolicy && policy, ForwardIt first, Size n ) ;
(2) (начиная с C++17)
1) Уничтожает n объектов в диапазоне, начинающемся с first , как если бы 
for (; n > 0; (void) ++first, --n)
    std::destroy_at(std::addressof(*first));
2) То же, что и (1) , но выполняется в соответствии с policy . Эта перегрузка участвует в разрешении перегрузки только при выполнении всех следующих условий:

std:: is_execution_policy_v < std:: decay_t < ExecutionPolicy >> равно true .

(до C++20)

std:: is_execution_policy_v < std:: remove_cvref_t < ExecutionPolicy >> равно true .

(начиная с C++20)

Содержание

Параметры

first - начало диапазона элементов для уничтожения
n - количество элементов для уничтожения
policy - политика выполнения, которая будет использоваться execution policy to use
Требования к типам
-
ForwardIt должен удовлетворять требованиям LegacyForwardIterator .
-
Ни инкремент, ни присваивание, ни сравнение, ни разыменование корректных экземпляров ForwardIt не должны выбрасывать исключения.

Возвращаемое значение

Конец диапазона объектов, которые были уничтожены (т.е., std:: next ( first, n ) ).

Сложность

Линейная по n .

Исключения

Перегрузка с параметром шаблона с именем ExecutionPolicy сообщает об ошибках следующим образом:

  • Если выполнение функции, вызванной как часть алгоритма, выбрасывает исключение и ExecutionPolicy является одним из стандартных политик , std::terminate вызывается. Для любой другой ExecutionPolicy поведение определяется реализацией.
  • Если алгоритму не удается выделить память, std::bad_alloc выбрасывается.

Возможная реализация 

template<class ForwardIt, class Size>
constexpr // начиная с C++20
ForwardIt destroy_n(ForwardIt first, Size n)
{
    for (; n > 0; (void) ++first, --n)
        std::destroy_at(std::addressof(*first));
    return first;
}

Пример

Следующий пример демонстрирует, как использовать destroy_n для уничтожения непрерывной последовательности элементов.

Запустить этот код 
#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

Смотрите также

(C++17)
уничтожает диапазон объектов
(шаблон функции)
(C++17)
уничтожает объект по заданному адресу
(шаблон функции)
(C++20)
уничтожает указанное количество объектов в диапазоне
(функциональный объект алгоритма)