Namespaces
Variants

std:: unreachable

From cppreference.net
C++
Utilities library
Program support utilities
Definido en el encabezado <utility>
[ [ noreturn ] ] void unreachable ( ) ;
(desde C++23)

Invoca undefined behavior en un punto dado.

Una implementación puede usar esto para optimizar eliminando ramas de código imposibles (típicamente, en builds optimizados) o para atraparlos y prevenir una ejecución posterior (típicamente, en builds de depuración).

Contenidos

Notas

Macro de prueba de características Valor Std Característica
__cpp_lib_unreachable 202202L (C++23) std::unreachable

Implementación posible 

[[noreturn]] inline void unreachable()
{
    // Utiliza extensiones específicas del compilador cuando es posible.
    // Incluso si no se usa ninguna extensión, el comportamiento indefinido se genera
    // 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

Ejecutar este código 
#include <cassert>
#include <cstddef>
#include <cstdint>
#include <utility>
#include <vector>
struct Color { std::uint8_t r, g, b, a; };
// Asumir que solo se admite un conjunto restringido de capacidades 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 indefinido
}

Salida posible: 

Segmentation fault

Véase también

[[ assume ( expression )]]
(C++23)
especifica que la expresión siempre se evaluará como true en un punto dado
(especificador de atributo)
(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