atributo de C++: nodiscard

 

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

 

Lenguaje C++

 

Declaraciones

Resumen sintaxis de declaración sec-decl-especificadores declarador Especificadores typedef inline especificador de función virtual especificador de función explicit friend constexpr (C++11) consteval (C++20) constinit (C++20) especificadores de clase de almacenamiento classstruct union enum decltype (C++11) auto (C++11) alignas (C++11) constvolatile especificador de tipo elaborado atributos (C++11)

Declaradores referencia puntero array Declaraciones de bloques declaración simple → declaración de vínculos estructurados (C++17) declaración de alias(C++11) definición de alias de espacio de nombres declaración using directiva using declaración static_assert (C++11) declaración asm declaración de enum opaca(C++11) Otras declaraciones definición de espacio de nombres declaración de función declaración de plantilla de clase declaración de plantilla de función creación de plantilla explícita(C++11) especialización de plantilla explícita especificación de vinculación declaración de atributos (C++11) declaración vacía

 

Atributos

assume (C++23)

carries_dependency (C++11)

deprecated (C++14)

fallthrough (C++17)

indeterminate (C++26)

likely (C++20)

maybe_unused (C++17)

nodiscard (C++17)

noreturn (C++11)

no_unique_address (C++20)

optimize_for_synchronized (TM TS)

unlikely (C++20)

 

Si una función declarada nodiscard o una función que devuelve una enumeración o clase declarada nodiscard por valor se llama desde una expresión de valor descartado aparte de una conversión a void, se incentiva al compilador a emitir una advertencia.

Sintaxis

[[nodiscard]]	(1)
[[nodiscard( literal-de-cadena )]]	(2)	(desde C++20)

literal-de-cadena

-

Texto que podría usarse para explicar la justificación de por qué el resultado no debe descartarse.

Explicación

Aparece en una declaración de función, declaración de enumeración o declaración de clase.

Si de una expresión de valor descartado que no sea una conversión a void:

• se llama a una función declarada nodiscard, o
• se llama a una función que devuelve una enumeración o clase declarada nodiscard por valor, o
• un constructor declarado nodiscard es llamado por conversión de tipo explícito o static_cast, o
• un objeto de una enumeración o tipo de clase declarado nodiscard se inicializa mediante una conversión de tipo explícita o static_cast,

se incentiva al compilador para que emita una advertencia.

El literal-de-cadena, si se especifica, generalmente se incluye en las advertencias.

(desde C++20)

Ejemplo

Ejecuta este código

struct [[nodiscard]] info_de_error { };
info_de_error habilitar_modo_seguro_de_misil();
void lanzar_misiles();
void probar_misiles() {
   habilitar_modo_seguro_de_misil();    // el compilador puede advertir si se 
                                        // descarta un valor nodiscard
   lanzar_misiles();
}
info_de_error& foo();
void f1() {
    foo(); // tipo nodiscard no se devuelve por valor, no hay advertencia
}

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
P1771R1	C++17	Atributo nodiscard en constructores no tiene efecto	Puede causar una advertencia si el objeto construido se descarta

Biblioteca estándar

Las siguientes funciones estándar están declaradas con el atributo nodiscard:

Funciones de asignación de memoria
operator newoperator new[]	Funciones de asignación. (función)
allocate	Asigna almacenamiento no inicializado. (función miembro pública de std::allocator)
allocate [estático]	asigna almacenamiento sin inicializar utilizando el asignador Original: allocates uninitialized storage using the allocator The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (función miembro estática pública de std::allocator_traits)
allocate	Asigna memoria. (función miembro pública de std::pmr::memory_resource)
allocate	Asigna memoria. (función miembro pública de std::pmr::polymorphic_allocator<T>)
allocate	asigna almacenamiento sin inicializar utilizando el asignador exterior Original: allocates uninitialized storage using the outer allocator The text has been machine-translated via Google Translate. You can help to correct and verify the translation. Click here for instructions. (función miembro pública de std::scoped_allocator_adaptor)
Acceso indirecto
launder (C++17)	Barrera de optimización de puntero. (plantilla de función)
assume_aligned (C++20)	Informa al compilador que un puntero está alineado. (plantilla de función)
Funciones de comprobación de vacío
empty (C++17)	Comprueba si un contenedor está vacío (plantilla de función)
empty	Comprueba si el controlador de nodo está vacío (función miembro pública de node handle)
empty (C++11)	Comprueba si el contenedor está vacío. (función miembro pública de std::array)
empty	Comprueba si la cadena está vacía (función miembro pública de std::basic_string)
empty	Comprueba si la vista está vacía (función miembro pública de std::basic_string_view<CharT,Traits>)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::deque<T,Allocator>)
empty (C++11)	Comprueba si el contenedor está vacío. (función miembro pública de std::forward_list)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::list)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::map<Key,T,Compare,Allocator>)
empty	Verifica si la coincidencia tuvo éxito. (función miembro pública de std::match_results<BidirIt,Alloc>)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::multimap<Key,T,Compare,Allocator>)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::multiset<Key,Compare,Allocator>)
empty	Comprueba si el contenedor subyacente está vacío. (función miembro pública de std::priority_queue<T,Container,Compare>)
empty	Comprueba si el contenedor subyacente está vacío. (función miembro pública de std::queue<T,Container>)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::set<Key,Compare,Allocator>)
empty	Comprueba si la secuencia está vacía (función miembro pública de std::span<T,Extent>)
empty	Comprueba si el contenedor subyacente está vacío. (función miembro pública de std::stack<T,Container>)
empty (C++11)	Comprueba si el contenedor está vacío. (función miembro pública de std::unordered_map<Key,T,Hash,KeyEqual,Allocator>)
empty (C++11)	Comprueba si el contenedor está vacío. (función miembro pública de std::unordered_multimap<Key,T,Hash,KeyEqual,Allocator>)
empty (C++11)	Comprueba si el contenedor está vacío. (función miembro pública de std::unordered_multiset<Key,Hash,KeyEqual,Allocator>)
empty (C++11)	Comprueba si el contenedor está vacío. (función miembro pública de std::unordered_set<Key,Hash,KeyEqual,Allocator>)
empty	Comprueba si el contenedor está vacío. (función miembro pública de std::vector<T,Allocator>)
empty	Comprueba si la ruta de acceso está vacía (función miembro pública de std::filesystem::path)
Misceláneos
async (C++11)	Ejecuta una función asíncronamente (posiblemente en un nuevo hilo) y devuelve un std::future que contendrá el resultado. (plantilla de función)