Qual è il punto di Noreturn?

[dcl.attr.noreturn] fornisce il seguente esempio:

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

ma non capisco qual è il punto [[noreturn]], perché il tipo di ritorno della funzione è già void.

Quindi, qual è il punto noreturndell'attributo? Come dovrebbe essere usato?

L'attributo noreturn dovrebbe essere usato per funzioni che non ritornano al chiamante. Ciò non significa funzioni nulle (che ritornano al chiamante - semplicemente non restituiscono un valore), ma funzioni in cui il flusso di controllo non tornerà alla funzione chiamante al termine della funzione (ad es. Funzioni che escono dall'applicazione, loop per sempre o generare eccezioni come nel tuo esempio).

Questo può essere utilizzato dai compilatori per apportare alcune ottimizzazioni e generare avvisi migliori. Ad esempio, se fha l'attributo noreturn, il compilatore potrebbe avvisarti di g()essere codice morto durante la scrittura f(); g();. Allo stesso modo il compilatore saprà di non avvisarti della mancanza di dichiarazioni di reso dopo le chiamate a f().

noreturnnon dice al compilatore che la funzione non restituisce alcun valore. Indica al compilatore che il flusso di controllo non tornerà al chiamante . Ciò consente al compilatore di apportare una varietà di ottimizzazioni: non è necessario salvare e ripristinare alcuno stato volatile attorno alla chiamata, può eliminare in codice morto qualsiasi codice che altrimenti seguirebbe la chiamata, ecc.

Significa che la funzione non verrà completata. Il flusso di controllo non colpirà mai l'istruzione dopo la chiamata a f():

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

Le informazioni possono essere utilizzate dal compilatore / ottimizzatore in diversi modi. Il compilatore può aggiungere un avviso che il codice sopra riportato non è raggiungibile e può modificare il codice effettivo g()in diversi modi, ad esempio per supportare le continuazioni.

Le risposte precedenti spiegavano correttamente cos'è noreturn, ma non perché esiste. Non penso che i commenti di "ottimizzazione" siano lo scopo principale: le funzioni che non restituiscono sono rare e di solito non hanno bisogno di essere ottimizzate. Piuttosto, penso che la principale ragion d'essere di Noreturn sia quella di evitare allarmi falsi positivi. Ad esempio, considera questo codice:

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

Se abort () non fosse stato contrassegnato come "noreturn", il compilatore avrebbe potuto avvertire che questo codice aveva un percorso in cui f non restituiva un numero intero come previsto. Ma poiché abort () è contrassegnato da nessun ritorno, sa che il codice è corretto.

Digitare teoricamente parlando, voidè ciò che viene chiamato in altre lingue unito top. Il suo equivalente logico è True . È possibile eseguire il cast legittimo di qualsiasi valore void(ogni tipo è un sottotipo di void). Pensalo come un set di "universo"; non ci sono operazioni in comune con tutti i valori nel mondo, quindi non ci sono operazioni valide su un valore di tipo void. Detto in altro modo, dirti che qualcosa appartiene all'insieme dell'universo non ti dà alcuna informazione - lo sai già. Quindi è il seguente suono:

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

Ma il seguente incarico non è:

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]], D'altra parte, è chiamato a volte empty, Nothing, Bottomo Boted è l'equivalente logico di False . Non ha alcun valore e un'espressione di questo tipo può essere lanciata su (cioè è il sottotipo di) qualsiasi tipo. Questo è l'insieme vuoto. Nota che se qualcuno ti dice "il valore dell'espressione foo () appartiene all'insieme vuoto" è altamente informativo - ti dice che questa espressione non completerà mai la sua normale esecuzione; si interromperà, lancerà o si bloccherà. È l'esatto contrario di void.

Quindi non ha senso quanto segue (pseudo-C ++, poiché noreturnnon è un tipo C ++ di prima classe)

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

Ma il seguente incarico è perfettamente legittimo, poiché throwil compilatore è inteso a non restituire:

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

In un mondo perfetto, potresti usare noreturncome valore di ritorno per la funzione raise()sopra:

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

Purtroppo C ++ non lo consente, probabilmente per motivi pratici. Ti dà invece la possibilità di utilizzare l' [[ noreturn ]]attributo che aiuta a guidare le ottimizzazioni e gli avvisi del compilatore.