C++ attribute: noreturn (since C++11)

Indica que la función no retorna.

Sintaxis

Explicación

Indica que la función no devolverá el flujo de control a la función llamadora después de finalizar (por ejemplo, funciones que terminan la aplicación, lanzan excepciones, se ejecutan en bucle indefinidamente, etc.). Este atributo se aplica únicamente al nombre de la función que se declara en las declaraciones de funciones.

Si una función previamente declarada con [ [ noreturn ] ] es invocada y esa invocación eventualmente retorna, el comportamiento es indefinido en tiempo de ejecución .

La primera declaración de la función debe especificar este atributo si alguna declaración lo especifica. Si una función se declara con [ [ noreturn ] ] en una unidad de traducción, y la misma función se declara sin [ [ noreturn ] ] en otra unidad de traducción, el programa está mal formado; no se requiere diagnóstico.

Ejemplo

[[noreturn]] void f()
{
    throw "error";
    // OK
}
void q [[noreturn]] (int i)
{
    // el comportamiento es indefinido si se llama con un argumento <= 0
    if (i > 0)
        throw "positive";
}
// void h() [[noreturn]]; // error: atributo aplicado al tipo de función de h, no a h misma
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

Biblioteca estándar

Las siguientes funciones estándar se declaran con el atributo noreturn :

Informes de defectos

Los siguientes informes de defectos que modifican el comportamiento se aplicaron retroactivamente a los estándares de C++ publicados anteriormente.

Referencias

Véase también