std::ranges::destroy

 

C++

Поддержка компилятором

Автономные и размещённые реализации

Язык

Стандартная библиотека

Заголовки стандартной библиотеки

Требования к именованию

Макросы тестирования функциональности (C++20)

Поддержка языка

Библиотека концептов(C++20)

Библиотека метапрограммирования(C++11)

Библиотека диагностики

Библиотека общих утилит

Библиотека строк

Библиотека контейнеров

Библиотека итераторов

Библиотека диапазонов(C++20)

Библиотека алгоритмов

Библиотека численных данных

Библиотека ввода/вывода

Библиотека локализаций

Регулярные выражения(C++11)

Атомарные операции(C++11)

Библиотека поддержки конкуренции(C++11)

Библиотека файловой системы(C++17)

Технические спецификации

Указатель символов

Внешние библиотеки

 

Библиотека утилит

Языковая поддержка Поддержка типов (базовые типы, RTTI) Макросы тестирования функциональности библиотеки (C++20)     Управление динамической памятью Программные утилиты Поддержка сопрограмм(C++20) Вариативные функции is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Трёхстороннее сравнение (C++20) three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)     is_eqis_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

Общие утилиты Дата и время Функциональные объекты Библиотека форматирования(C++20) bitset hash (C++11) Операторы отношения (устарело в C++20) rel_ops::operator!=rel_ops::operator> rel_ops::operator<=rel_ops::operator>= Целочисленные функции сравнения cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)     cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Операции обмена и типа swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Общие лексические типы pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23) Элементарные преобразования строк to_chars (C++17) from_chars (C++17) chars_format (C++17) to_chars_result (C++17) from_chars_result (C++17)

 

Динамическое управление памятью

uninitialized_copy uninitialized_fill uninitialized_move (C++17) uninitialized_default_construct (C++17) uninitialized_value_construct (C++17) destroy (C++17) destroy_at (C++17) voidify (C++20) uninitialized_copy_n (C++11) uninitialized_fill_n uninitialized_move_n (C++17) uninitialized_default_construct_n (C++17) uninitialized_value_construct_n (C++17) destroy_n (C++17) construct_at (C++20) Ограниченные алгоритмы неинициализированной памяти ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::construct_at (C++20) ranges::destroy (C++20) ranges::destroy_n (C++20) ranges::destroy_at (C++20) ranges::uninitialized_copy_n (C++20) ranges::uninitialized_fill_n (C++20) ranges::uninitialized_move_n (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::uninitialized_default_construct_n (C++20)   ranges::uninitialized_value_construct_n (C++20) allocator allocator_traits (C++11) allocation_result (C++23) allocator_arg (C++11) uses_allocator (C++11) uses_allocator_construction_args (C++20) make_obj_using_allocator (C++20) uninitialized_construct_using_allocator (C++20) scoped_allocator_adaptor (C++11) pmr::polymorphic_allocator (C++17) Ресурсы памяти pmr::memory_resource (C++17) pmr::get_default_resource (C++17) pmr::set_default_resource (C++17) pmr::new_delete_resource (C++17) pmr::null_memory_resource (C++17) pmr::synchronized_pool_resource (C++17) pmr::unsynchronized_pool_resource (C++17)   pmr::monotonic_buffer_resource (C++17) pmr::pool_options (C++17) Поддержка сбора мусора declare_reachable (C++11)(до C++23) undeclare_reachable (C++11)(до C++23) declare_no_pointers (C++11)(до C++23) undeclare_no_pointers (C++11)(до C++23) pointer_safety (C++11)(до C++23) get_pointer_safety (C++11)(до C++23) raw_storage_iterator (до C++20*) get_temporary_buffer (до C++20*) return_temporary_buffer (до C++20*) Явное управление временем жизни start_lifetime_asstart_lifetime_as_array (C++23)(C++23)

unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (до C++17*) owner_less (C++11) owner_less<void> (C++17) enable_shared_from_this (C++11) bad_weak_ptr (C++11) default_delete (C++11) out_ptr_t (C++23) inout_ptr_t (C++23) operator new operator new[] operator delete operator delete[] get_new_handler set_new_handler launder (C++17) bad_alloc bad_array_new_length nothrow_t align_val_t destroying_delete_t new_handler nothrow pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) Библиотека C malloc calloc realloc    aligned_alloc (C++17) free

 

Определено в заголовочном файле <memory>
Сигнатура вызова
template< итератор-ввода-без-исключения I, ограничитель-без-исключения-для<I> S >     requires std::destructible<std::iter_value_t<I>> constexpr I destroy( I first, S last )noexcept;	(1)	(начиная с C++20)
template< входной-диапазон-без-исключения R >     requires std::destructible<ranges::range_value_t<R>> constexprranges::borrowed_iterator_t<R> destroy( R&& r )noexcept;	(2)	(начиная с C++20)

1) Уничтожает объекты в диапазоне [first, last), как если бы

for(; first != last;++first) std::ranges::destroy_at(std::addressof(*first));return first;

2) То же, что и (1), но использует r в качестве исходного диапазона, как если бы использовались ranges::begin(r) в качестве first и ranges::end(r) в качестве last.

Функционально-подобные объекты, описанные на этой странице, являются ниблоидами, то есть:

• Явные списки аргументов шаблона не могут быть указаны при вызове любого из них.
• Ни один из них не виден для поиска, зависящего от аргумента.
• Когда какой-либо из них обнаруживается обычным неквалифицированным поиском по имени слева от оператора вызова функции, поиск, зависящий от аргумента запрещён.

На практике они могут быть реализованы как функциональные объекты или со специальными расширениями компилятора.

Параметры

first, last	—	пара итератор-ограничитель, обозначающая диапазон элементов для уничтожения
r	—	диапазон для уничтожения

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

Итератор при сравнении равный last.

Сложность

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

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

struct destroy_fn {template<итератор-ввода-без-исключения I, ограничитель-без-исключения-для<I> S> requires std::destructible<std::iter_value_t<I>>constexpr I operator()(I first, S last)constnoexcept{for(; first != last;++first) std::ranges::destroy_at(std::addressof(*first));return first;}   template<входной-диапазон-без-исключения R> requires std::destructible<std::ranges::range_value_t<R>>constexpr std::ranges::borrowed_iterator_t<R> operator()(R&& r)constnoexcept{return operator()(std::ranges::begin(r), std::ranges::end(r));}};   inlineconstexpr destroy_fn destroy{};

Пример

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

Запустить этот код

#include <iostream>#include <memory>#include <new>   struct Tracer {int value; ~Tracer(){std::cout<< value <<" уничтожен\n";}};   int main(){ alignas(Tracer)unsignedchar 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::ranges::destroy(ptr, ptr +8);}

Вывод:

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

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

ranges::destroy_n (C++20)	уничтожает несколько объектов в диапазоне (ниблоид)
ranges::destroy_at (C++20)	уничтожает объект по заданному адресу (ниблоид)
destroy (C++17)	уничтожает диапазон объектов (шаблон функции)