std::default_delete

 

C++

Apoyo de compiladores

Implementaciones independientes y albergadas

Lenguaje

Biblioteca estándar

Encabezados de la biblioteca estándar

Requisitos denominados

Macros de prueba de característica (C++20)

Biblioteca de apoyo del lenguaje

Biblioteca de conceptos(C++20)

Biblioteca de diagnósticos

Biblioteca de gestión de memoria

Biblioteca de metaprogramación(C++11)

Biblioteca de servicios generales

Biblioteca de contenedores

Biblioteca de iteradores

Biblioteca de rangos(C++20)

Biblioteca de algoritmos

Biblioteca de cadenas

Biblioteca de procesamiento de texto

Biblioteca numérica

Biblioteca de fecha y hora

Biblioteca de entrada/salida

Biblioteca del sistema de archivos(C++17)

Biblioteca de apoyo de concurrencia(C++11)

Biblioteca de apoyo de ejecución(C++26)

Especificaciones técnicas

Índice de símbolos

Bibliotecas externas

 

Biblioteca de servicios

Apoyo del lenguaje Apoyo de tipos (tipos básicos, RTTI) Biblioteca de macros de prueba de característica(C++20) Servicios del programa Apoyo de corrutinas(C++20) Funciones variádicas is_constant_evaluated (C++20) is_within_lifetime (C++26) initializer_list (C++11) source_location (C++20) Comparación de tres vías 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_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Servicios generales Objetos función Manipulación de bits(C++20) bitset hash (C++11) Operadores relacionales(en desuso en C++20) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Funciones de comparación de enteros 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) Intercambio y operaciones de tipos 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) Tipos vocabulario comunes 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)

 

Gestión de memoria dinámica

Punteros inteligentes unique_ptr (C++11) shared_ptr (C++11) weak_ptr (C++11) auto_ptr (hasta C++17) owner_less (C++11) 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) Asignadores de memoria allocator allocator_traits (C++11) allocation_result (C++23) allocate_at_least (C++23) allocator_arg_t (C++11) 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) Recursos de memoria 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) Almacenamiento no inicializado raw_storage_iterator (hasta C++20) get_temporary_buffer (hasta C++20) return_temporary_buffer (hasta C++20)

Algoritmos de memoria no inicializada 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) 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) Algoritmos restringidos de memoria no inicializada ranges::uninitialized_copy (C++20) ranges::uninitialized_fill (C++20) ranges::uninitialized_move (C++20) ranges::uninitialized_default_construct (C++20) ranges::uninitialized_value_construct (C++20) ranges::destroy (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_n (C++20) ranges::uninitialized_value_construct_n (C++20) ranges::destroy_n (C++20) ranges::construct_at (C++20) Apoyo para recolección de basura declare_reachable (C++11)(hasta C++23) undeclare_reachable (C++11)(hasta C++23) declare_no_pointers (C++11)(hasta C++23) undeclare_no_pointers (C++11)(hasta C++23) pointer_safety (C++11)(hasta C++23) get_pointer_safety (C++11)(hasta C++23) Misceláneos pointer_traits (C++11) to_address (C++20) addressof (C++11) align (C++11) assume_aligned (C++20) Biblioteca de C malloc aligned_alloc (C++17) calloc realloc free Gestión de memoria de bajo nivel operator new operator new[] operator delete operator delete[] get_new_handler set_new_handler bad_alloc bad_array_new_length nothrow_t align_val_t destroying_delete_t new_handler nothrow

 

std::default_delete

 

Definido en el archivo de encabezado <memory>
template<class T >struct default_delete;	(1)	(desde C++11)
template<class T >struct default_delete<T[]>;	(2)	(desde C++11)

std::default_delete es la política de destrucción por defecto utilizada por std::unique_ptr cuando no se especifica ningún eliminador. Las especializaciones de default_delete son clases vacías en implementaciones típicas y se usan en la optimización de clase base vacía.

1) Las plantillas de clase default_delete no especializadas utilizan delete para desasignar memoria para un solo objeto.

2) También se proporciona una especialización parcial para tipos array que utilizan delete[].

Funciones miembro

(constructor)	Construye un objeto default_delete. (función miembro pública)
operator()	Elimina el objeto o array. (función miembro pública)

std::default_delete::default_delete

constexpr default_delete()noexcept=default;	(1)
	(2)
template<class U> default_delete(const default_delete<U>& d )noexcept;			(desde C++11) (hasta C++23) (Miembro solo de la plantilla primaria default_delete)
template<class U> constexpr default_delete(const default_delete<U>& d )noexcept;			(desde C++23) (Miembro solo de la plantilla primaria default_delete)
		(3)
template<class U> default_delete(const default_delete<U[]>& d )noexcept;				(desde C++11) (hasta C++23) (Miembro solo de la especialización default_delete<T[]>)
template<class U> constexpr default_delete(const default_delete<U[]>& d )noexcept;				(desde C++23) (Miembro solo de la especialización default_delete<T[]>)

1) Construye un objeto std::default_delete.

2) Construye un objeto std::default_delete<T> a partir de otro objeto std::default_delete. Este constructor solo participará en la resolución de sobrecarga si U* es implícitamente convertible a T*.

3) Construye un objeto std::default_delete<T[]> a partir de otro objeto std::default_delete<U[]> object. Este constructor solo participará en la resolución de sobrecarga si U(*)[] es implícitamente convertible a T(*)[].

Parámetros

d

-

Un eliminador del que copiar.

Notas

La plantilla del constructor de conversión de std::default_delete hace posible la conversión implícita de std::unique_ptr<Derived> a std::unique_ptr<Base>.

std::default_delete::operator()

	(1)
void operator()(T* ptr)const;			(desde C++11) (hasta C++23) (Miembro solo de la plantilla primaria default_delete)
constexprvoid operator()(T* ptr)const;			(desde C++23) (Miembro solo de la plantilla primaria default_delete)
		(2)
template<class U> void operator()(U* ptr)const;				(desde C++11) (hasta C++23) (Miembro solo de la especialización default_delete<T[]>)
template<class U> constexprvoid operator()(U* ptr)const;				(desde C++23) (Miembro solo de la especialización default_delete<T[]>)

1) Llama a delete en ptr

2) Llama a delete[] en ptr. Esta función solo participará en la resolución de sobrecarga si U(*)[] es implícitamente convertible a T(*)[].

En cualquier caso, si U es de tipo incompleto, el programa está mal formado.

Parámetros

ptr

-

Un objeto o array a eliminar.

Excepciones

Sin garantías de excepciones.

Invocar sobre tipos incompletos

En el punto del código en el que se llama a operator(), el tipo debe estar completo. En algunas implementaciones se usa static_assert para asegurarse de que este sea el caso. El motivo de este requisito es que llamar a delete en un tipo incompleto es un comportamiento no definido en C++ si el tipo clase completo tiene un destructor no trivial o una función de desasignación de memoria, ya que el compilador no tiene forma de saber si tales funciones existen y deben ser invocadas.

Notas

Macro de Prueba de característica
__cpp_lib_constexpr_memory

((C++23)constexpr)

Ejemplo

Ejecuta este código

#include <memory>#include <vector>#include <algorithm>   int main(){// {// std::shared_ptr<int> shared_bad(new int[10]);// } // el destructor llama a delete, comportamiento no definido   {std::shared_ptr<int> shared_good(new int[10], std::default_delete<int[]>());}// el destructor llama a delete[], está bien.   {std::unique_ptr<int> ptr(new int(5));}// unique_ptr<int> utiliza a default_delete<int>   {std::unique_ptr<int[]> ptr(new int[10]);}// unique_ptr<int[]> utiliza a default_delete<int[]>   // default_delete puede usarse en cualquier lugar donde se necesite un objeto función deletestd::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>());}

Informes de defectos

Los siguientes informes de defectos de cambio de comportamiento se aplicaron de manera retroactiva a los estándares de C++ publicados anteriormente.

ID	Aplicado a	Comportamiento según lo publicado	Comportamiento correcto
LWG 2118	C++11	Las funciones miembro de default_delete<T[]> rechazaban las conversiones de calificación.	Las aceptan.

Véase también

unique_ptr (C++11)

Puntero inteligente con semántica de posesión de objeto única. (plantilla de clase)