close
Пространства имён
Варианты
Действия

std::destroy

Материал из cppreference.com
 
 
Библиотека утилит
Языковая поддержка
Поддержка типов (базовые типы, RTTI)
Макросы тестирования функциональности библиотеки (C++20)    
Управление динамической памятью
Программные утилиты
Поддержка сопрограмм (C++20)
Вариативные функции
Трёхстороннее сравнение (C++20)
(C++20)
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
Общие утилиты
Дата и время
Функциональные объекты
Библиотека форматирования (C++20)
(C++11)
Операторы отношения (устарело в C++20)
Целочисленные функции сравнения
(C++20)(C++20)(C++20)    
(C++20)
Операции обмена и типа
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
Общие лексические типы
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
Элементарные преобразования строк
(C++17)
(C++17)
 
Динамическое управление памятью
no section name
Ограниченные алгоритмы неинициализированной памяти
no section name
Поддержка сбора мусора
(C++11)(до C++23)
(C++11)(до C++23)
(C++11)(до C++23)
(C++11)(до C++23)
(C++11)(до C++23)
(C++11)(до C++23)



no section name
 
<tbody> </tbody> <tbody class="t-dcl-rev t-dcl-rev-num "> </tbody><tbody> </tbody>
Определено в заголовочном файле <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) Уничтожает объекты в диапазоне [firstlast), как если бы
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 уничтожен

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

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