Quel est l'intérêt de noreturn?

[dcl.attr.noreturn] fournit l'exemple suivant:

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

mais je ne comprends pas à quoi ça sert [[noreturn]], car le type de retour de la fonction est déjà void.

Alors, quel est l'intérêt de l' noreturnattribut? Comment est-il censé être utilisé?

L'attribut noreturn est censé être utilisé pour les fonctions qui ne reviennent pas à l'appelant. Cela ne signifie pas des fonctions vides (qui retournent à l'appelant - elles ne renvoient tout simplement pas de valeur), mais des fonctions dans lesquelles le flux de contrôle ne reviendra pas à la fonction appelante une fois la fonction terminée (par exemple, les fonctions qui quittent l'application, boucle pour toujours ou lancer des exceptions comme dans votre exemple).

Cela peut être utilisé par les compilateurs pour effectuer des optimisations et générer de meilleurs avertissements. Par exemple, si fa l'attribut noreturn, le compilateur peut vous avertir d' g()être du code mort lorsque vous écrivez f(); g();. De même, le compilateur saura ne pas vous avertir des déclarations de retour manquantes après les appels à f().

noreturnn'indique pas au compilateur que la fonction ne renvoie aucune valeur. Il indique au compilateur que le flux de contrôle 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 tout état volatil autour de l'appel, il peut éliminer le code mort tout code qui suivrait autrement l'appel, etc.

Cela signifie que la fonction ne se terminera pas. Le flux de contrôle n'atteindra jamais l'instruction après l'appel à 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 indiquant 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 prendre en charge les continuations.

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 retournent 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 pu avertir que ce code avait un chemin où f ne renvoie pas un entier comme prévu. Mais comme abort () est marqué sans retour, il sait que le code est correct.

Type théoriquement parlant, voidc'est ce qu'on appelle dans d'autres langues unitou top. Son équivalent logique est True . Toute valeur peut être convertie légitimement en 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 du monde, il n'y a donc pas d'opérations valides sur une valeur de type void. En d'autres termes, vous dire que quelque chose appartient à l'univers ne vous donne aucune information - vous le savez déjà. Donc, ce qui suit est sain:

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

Mais la mission 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, que l' on appelle parfois empty, Nothing, Bottomou Botet est l'équivalent logique de faux . Il n'a aucune valeur du tout et une expression de ce type peut être transtypée en (c'est-à-dire est un sous-type de) n'importe quel type. Ceci est l'ensemble vide. Notez que si quelqu'un vous dit que «la valeur de l'expression foo () appartient à l'ensemble vide», c'est très informatif - cela vous dit que cette expression ne terminera jamais son exécution normale; il va abandonner, lancer ou se bloquer. C'est exactement le contraire de void.

Donc, ce qui suit n'a pas de sens (pseudo-C ++, car ce noreturnn'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, car il throwest entendu par le compilateur de 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 noreturncomme valeur de retour pour 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 permet d'utiliser un [[ noreturn ]]attribut qui aide à guider les optimisations et les avertissements du compilateur.