std::default_delete

 

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

 

std::default_delete

 

Определено в заголовочном файле <memory>
template<class T >struct default_delete;	(1)	(начиная с C++11)
template<class T >struct default_delete<T[]>;	(2)	(начиная с C++11)

std::default_delete это политика уничтожения по умолчанию, используемая std::unique_ptr когда средство удаления не указано. Специализации default_delete представляют собой пустые классы в типичных реализациях и используются в оптимизации пустого базового класса.

1) Неспециализированный default_delete использует delete для освобождения памяти для одного объекта.

2) Также предоставляется частичная специализация для типов массивов, использующая delete[].

Функции-элементы

(конструктор)	создаёт объект default_delete (public функция-элемент)
operator()	удаляет объект или массив (public функция-элемент)

std::default_delete::default_delete

constexpr default_delete()noexcept=default;	(1)
	(2)
template<class U> default_delete(const default_delete<U>& d )noexcept;			(начиная с C++11) (до C++23) (только элемент основного шаблона default_delete)
template<class U> constexpr default_delete(const default_delete<U>& d )noexcept;			(начиная с C++23) (только элемент основного шаблона default_delete)
		(3)
template<class U> default_delete(const default_delete<U[]>& d )noexcept;				(начиная с C++11) (до C++23) (элемент только специализации default_delete<T[]>)
template<class U> constexpr default_delete(const default_delete<U[]>& d )noexcept;				(начиная с C++23) (элемент только специализации default_delete<T[]>)

1) Создаёт объект std::default_delete.

2) Создаёт объект std::default_delete<T> из другого объекта std::default_delete. Этот конструктор будет участвовать в разрешении перегрузки, только если U* неявно преобразуется в T*.

3) Создаёт объект std::default_delete<T[]> из другого объекта std::default_delete<U[]>. Этот конструктор будет участвовать в разрешении перегрузки, только если U(*)[] неявно преобразуется в T(*)[].

Параметры

d

—

средство удаления для копирования

Примечание

Шаблон конструктора преобразования класса std::default_delete делает возможным неявное преобразование из std::unique_ptr<Derived> в std::unique_ptr<Base>.

std::default_delete::operator()

	(1)
void operator()(T* ptr)const;			(начиная с C++11) (до C++23) (только элемент основного шаблона default_delete)
constexprvoid operator()(T* ptr)const;			(начиная с C++23) (только элемент основного шаблона default_delete)
		(2)
template<class U> void operator()(U* ptr)const;				(начиная с C++11) (до C++23) (элемент только специализации default_delete<T[]>)
template<class U> constexprvoid operator()(U* ptr)const;				(начиная с C++23) (элемент только специализации default_delete<T[]>)

1) Вызывает delete для ptr.

2) Вызывает delete[] для ptr. Эта функция будет участвовать в разрешении перегрузки, только если U(*)[] неявно преобразуется в T(*)[].

В любом случае, если U неполный тип, программа некорректна.

Параметры

ptr

—

объект или массив для удаления

Исключения

Не гарантирует никаких исключений.

Вызов Неполных Типов

В момент вызова operator() в коде тип должен быть полным. В некоторых реализациях используется static_assert, чтобы убедиться, что это так. Причина этого требования заключается в том, что вызов delete для неполного типа является неопределённым поведением в C++, если полный тип класса имеет нетривиальный деструктор или функцию освобождения, и компилятор не может знать, существуют ли такие функции и должны ли они быть вызваны.

Примечание

Макрос Тестирования функциональности	Значение	Стандарт	Функциональность
__cpp_lib_constexpr_memory	202202L	(C++23)	constexpr конструктор и operator()

Пример

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

#include <algorithm>#include <memory>#include <vector>   int main(){// {// std::shared_ptr<int> shared_bad(new int[10]);// } // деструктор вызывает delete, неопределённое поведение   {std::shared_ptr<int> shared_good(new int[10], std::default_delete<int[]>());}// деструктор вызывает delete[], ok   {std::unique_ptr<int> ptr(new int(5));}// unique_ptr<int> использует default_delete<int>   {std::unique_ptr<int[]> ptr(new int[10]);}// unique_ptr<int[]> использует default_delete<int[]>   // может использоваться везде, где необходим функтор удаленияstd::vector<int*> v;for(int n =0; n <100;++n) v.push_back(new int(n));std::for_each(v.begin(), v.end(), std::default_delete<int>());}

Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

Номер	Применён	Поведение в стандарте	Корректное поведение
LWG 2118	C++11	функции-элементы default_delete<T[]> отклоняли преобразования квалификации	принимают

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

unique_ptr (C++11)

умный указатель с уникальной семантикой владения объектом (шаблон класса)