¿Cuál es el punto de noreturn?

[dcl.attr.noreturn] proporciona el siguiente ejemplo:

[[ noreturn ]] void f() {
    throw "error";
    // OK
}

pero no entiendo de qué sirve [[noreturn]], porque el tipo de retorno de la función ya lo es void.

Entonces, ¿cuál es el punto del noreturnatributo? ¿Cómo se supone que debe usarse?

Se supone que el atributo noreturn se usa para funciones que no regresan a la persona que llama. Eso no significa funciones nulas (que regresan a la persona que llama, simplemente no devuelven un valor), sino funciones donde el flujo de control no volverá a la función de llamada después de que la función finalice (por ejemplo, funciones que salen de la aplicación, bucle para siempre o lanzar excepciones como en su ejemplo).

Los compiladores pueden usar esto para hacer algunas optimizaciones y generar mejores advertencias. Por ejemplo, si ftiene el atributo noreturn, el compilador podría advertirle sobre el g()código muerto cuando escribe f(); g();. Del mismo modo, el compilador sabrá que no debe advertirle sobre las declaraciones de retorno faltantes después de las llamadas a f().

noreturnno le dice al compilador que la función no devuelve ningún valor. Le dice al compilador que el flujo de control no volverá a la persona que llama . Esto permite que el compilador realice una variedad de optimizaciones: no necesita guardar y restaurar ningún estado volátil alrededor de la llamada, puede eliminar el código muerto de cualquier código que de otro modo seguiría a la llamada, etc.

Significa que la función no se completará. El flujo de control nunca llegará a la declaración después de la llamada a f():

void g() {
   f();
   // unreachable:
   std::cout << "No! That's impossible" << std::endl;
}

El compilador / optimizador puede utilizar la información de diferentes maneras. El compilador puede agregar una advertencia de que el código anterior es inalcanzable, y puede modificar el código real de g()diferentes maneras, por ejemplo, para admitir continuaciones.

Las respuestas anteriores explicaban correctamente qué es noreturn, pero no por qué existe. No creo que los comentarios de "optimización" sean el propósito principal: las funciones que no regresan son raras y generalmente no necesitan ser optimizadas. Más bien creo que la razón principal de noreturn es evitar las advertencias falsas positivas. Por ejemplo, considere este código:

int f(bool b){
    if (b) {
        return 7;
    } else {
        abort();
    }
 }

Si abort () no se hubiera marcado como "noreturn", el compilador podría haber advertido que este código tiene una ruta donde f no devuelve un entero como se esperaba. Pero debido a que abort () está marcado sin retorno, sabe que el código es correcto.

Tipo teóricamente hablando, voides lo que se llama en otros idiomas unito top. Su equivalente lógico es Verdadero . Cualquier valor se puede emitir legítimamente void(cada tipo es un subtipo de void). Piense en ello como un conjunto de "universo"; no hay operaciones en común con todos los valores del mundo, por lo que no hay operaciones válidas para un valor de tipo void. Dicho de otra manera, diciéndole que algo pertenece al conjunto del universo no le proporciona información alguna, ya lo sabe. Entonces lo siguiente es sólido:

(void)5;
(void)foo(17); // whatever foo(17) does

Pero la tarea a continuación no es:

void raise();
void f(int y) {
    int x = y!=0 ? 100/y : raise(); // raise() returns void, so what should x be?
    cout << x << endl;
}

[[noreturn]]Por otra parte, a veces se llama empty, Nothing, Bottomo Boty es el equivalente lógico de Falso . No tiene ningún valor en absoluto, y una expresión de este tipo se puede convertir a (es decir, es un subtipo de) cualquier tipo. Este es el conjunto vacío. Tenga en cuenta que si alguien le dice que "el valor de la expresión foo () pertenece al conjunto vacío" es muy informativo: le dice que esta expresión nunca completará su ejecución normal; abortará, arrojará o colgará. Es exactamente lo contrario de void.

Entonces, lo siguiente no tiene sentido (pseudo-C ++, ya noreturnque no es un tipo de C ++ de primera clase)

void foo();
(noreturn)5; // obviously a lie; the expression 5 does "return"
(noreturn)foo(); // foo() returns void, and therefore returns

Pero la tarea a continuación es perfectamente legítima, ya que throwel compilador entiende que no se devuelve:

void f(int y) {
    int x = y!=0 ? 100/y : throw exception();
    cout << x << endl;
}

En un mundo perfecto, podría usar noreturncomo valor de retorno para la función raise()anterior:

noreturn raise() { throw exception(); }
...
int x = y!=0 ? 100/y : raise();

Lamentablemente, C ++ no lo permite, probablemente por razones prácticas. En cambio, le brinda la capacidad de utilizar [[ noreturn ]]atributos que ayudan a guiar las optimizaciones y advertencias del compilador.