std::destroy — cppreference.com

Материал из cppreference.com

Определено в заголовочном файле `<memory>`
	(1)
`template< class ForwardIt > void destroy( ForwardIt first, ForwardIt last );`			(начиная с 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. Эта перегрузка не участвует в разрешении перегрузки, если только

`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 << " уничтожен\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}; //создаём объекты вручную

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

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

Вывод:

0 уничтожен
1 уничтожен
2 уничтожен
3 уничтожен
4 уничтожен
5 уничтожен
6 уничтожен
7 уничтожен

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

Категории: