std::unreachable

 

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) Macros de prueba de característica de la biblioteca (C++20) Servicios de programa Funciones variádicas initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) Apoyo de corrutinas (C++20) Apoyo de contratos (C++26) Comparación de tres vías (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_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)

 

Servicios de apoyo de programa

Terminación del programa
abort exit quick_exit (C++11) _Exit (C++11)	atexit at_quick_exit (C++11) EXIT_SUCCESSEXIT_FAILURE
Comunicación con el entorno
system	getenv
Señales
signal raise sig_atomic_t	SIG_DFLSIG_IGN SIG_ERR
Tipos de señales
SIGABRTSIGFPESIGILLSIGINTSIGSEGVSIGTERM
Saltos no locales
setjmp
longjmp
Tipos
jmp_buf

 

Definido en el archivo de encabezado <utility>
[[noreturn]] void unreachable();		(desde C++23)

Invoca comportamiento no definido en un punto determinado.

Una implementación puede utilizar esto para optimizar las ramificaciones de código imposibles (normalmente, en compilaciones optimizadas) o para atraparlas y evitar su ejecución posterior (normalmente, en compilaciones de depuración).

Notas

Macro de Prueba de característica	Valor	Estándar	Comentario
__cpp_lib_unreachable	202202L	(C++23)	std::unreachable

Posible implementación

[[noreturn]] inline void unreachable() { // Utiliza extensiones específicas del compilador si es posible. // Incluso si no se utiliza ninguna extensión, el comportamiento indefinido // se sigue generando por un cuerpo de función vacío y el atributo noreturn. #if defined(_MSC_VER) && !defined(__clang__) // MSVC __assume(false); #else // GCC, Clang __builtin_unreachable(); #endif }

Ejemplo

Ejecuta este código

#include <cassert>
#include <cstddef>
#include <cstdint>
#include <utility>
#include <vector>

struct Color { std::uint8_t r, g, b, a; };

// Supongamos que solo se admite un conjunto restringido de límites de textura.
void generate_texture(std::vector<Color>& tex, std::size_t xy)
{
    switch (xy)
    {
    case 128: [[fallthrough]];
    case 256: [[fallthrough]];
    case 512: /* ... */
        tex.clear();
        tex.resize(xy * xy, Color{0, 0, 0, 0});
        break;
    default:
        std::unreachable();
    }
}

int main()
{
    std::vector<Color> tex;
    generate_texture(tex, 128); // OK
    assert(tex.size() == 128 * 128);
    generate_texture(tex, 32);  // Resulta en comportamiento no definido
}

Posible salida:

Violación de acceso

Véase también

[[assume]](C++23)	Especifica que la expresión siempre se evaluará a true en un punto dado. (especificador de atributo)
assume_aligned (C++20)	Informa al compilador que un puntero está alineado. (plantilla de función)
Documentación de C para unreachable

Enlaces externos

1.	Documentación de GCC: __builtin_unreachable
2.	Documentación de Clang: __builtin_unreachable
3.	Documentación de MSVC: __assume