Namespaces
Variants

std:: destroy

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>
template < class ForwardIt >
void destroy ( ForwardIt first, ForwardIt last ) ;
(1) (начиная с C++17)
(constexpr начиная с 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 . Эта перегрузка участвует в разрешении перегрузки только при выполнении всех следующих условий:

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, last - пара итераторов, определяющих диапазон элементов для уничтожения
policy - политика выполнения для использования
Требования к типам
-
ForwardIt должен удовлетворять требованиям LegacyForwardIterator .
-
Ни инкремент, ни присваивание, ни сравнение, ни разыменование корректных экземпляров ForwardIt не должны выбрасывать исключения.

Сложность

Линейно по расстоянию между first и last .

Исключения

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

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

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

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) * 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

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

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