Quel est le point de noreturn?

noreturn ne dit pas au compilateur que la fonction ne renvoie aucune valeur. Il indique au compilateur que control flow ne reviendra pas à l'appelant. Cela permet au compilateur de faire une variété d'optimisations-il n'a pas besoin de sauvegarder et de restaurer un État volatile autour de l'appel, il peut éliminer tout code qui suivrait l'appel, etc.

Cela signifie que la fonction ne sera pas terminée. Le flux de contrôle n'atteindra jamais l'instruction suivant l'appel de f():

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

Les informations peuvent être utilisées par le compilateur/optimiseur de différentes manières. Le compilateur peut ajouter un avertissement que le code ci-dessus est inaccessible, et il peut modifier le code réel de g() de différentes manières par exemple pour supporter les continuations.

Type théoriquement parlant, void est ce qui est appelé dans d'autres langues unit ou top. Son équivalent logique est True. Toute valeur peut être légitimement exprimées à void (chaque type est un sous-type de void). Pensez-y comme un ensemble "univers"; il n'y a pas d'opérations communes à toutes les valeurs dans le monde, donc il n'y a pas d'opérations valides sur une valeur de type void. Autrement dit, vous dire que quelque chose appartient à l'ensemble de l'univers ne vous donne aucune information que ce soit, vous le savez déjà. Donc, ce qui suit est son:

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

Mais l'affectation ci-dessous n'est pas:

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'autre part, on appelle parfois empty, Nothing, Bottom ou Bot et est l'équivalent logique de False. Il n'a aucune valeur, et une expression de ce type peut être convertie en (c'est-à-dire sous-type de) n'importe quel type. C'est l'ensemble vide. Notez que si quelqu'un vous dit "la valeur de l'expression foo() appartient à l'ensemble vide" c'est hautement informatif - il vous indique que cette expression ne terminera jamais son exécution normale; elle avortera, lancera ou se bloquera. C'est l'exact opposé de void.

Donc ce qui suit n'a pas de sens (pseudo-c++, puisque noreturn n'est pas un type C++ de première classe)

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

Mais L'affectation ci-dessous est parfaitement légitime, puisque throw est compris par le compilateur pour ne pas retourner:

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

Dans un monde parfait, vous pouvez utiliser noreturn comme valeur de retour pour la la fonction raise() ci-dessus:

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

, Malheureusement, C++ ne le permet pas, probablement pour des raisons pratiques. Au lieu de cela, il vous donne la possibilité d'utiliser [[ noreturn ]] attribut qui aide à guider les optimisations et les avertissements du compilateur.

Les réponses précédentes expliquaient correctement ce qu'est noreturn, mais pas Pourquoi Il existe. Je ne pense pas que les commentaires "optimisation" soient le but principal: les fonctions qui ne reviennent pas sont rares et n'ont généralement pas besoin d'être optimisées. Je pense plutôt que la principale raison d'être de noreturn est d'éviter les Avertissements faussement positifs. Par exemple, considérez ce code:

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

Si abort () n'avait pas été marqué "noreturn" , le compilateur aurait peut-être averti que ce code avait un chemin où f ne retourne un entier comme prévu. Mais comme abort () est marqué no return, il sait que le code est correct.