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

Indique que la fonction ne retourne pas.

Syntaxe

Explication

Indique que la fonction ne retournera pas le flux de contrôle à la fonction appelante après son exécution (par exemple, les fonctions qui terminent l'application, lancent des exceptions, bouclent indéfiniment, etc.). Cet attribut s'applique uniquement au nom de la fonction déclarée dans les déclarations de fonctions.

Si une fonction précédemment déclarée avec [ [ noreturn ] ] est invoquée et que cet appel finit par retourner, le comportement est indéfini à l'exécution .

La première déclaration de la fonction doit spécifier cet attribut si une quelconque déclaration le spécifie. Si une fonction est déclarée avec [ [ noreturn ] ] dans une unité de traduction, et que la même fonction est déclarée sans [ [ noreturn ] ] dans une autre unité de traduction, le programme est mal formé ; aucun diagnostic requis.

Exemple

[[noreturn]] void f()
{
    throw "error";
    // OK
}
void q [[noreturn]] (int i)
{
    // le comportement est indéfini si appelé avec un argument <= 0
    if (i > 0)
        throw "positive";
}
// void h() [[noreturn]]; // error: attribute applied to function type of h, not h itself
int main()
{
    try { f(); } catch(...) {}
    try { q(42); } catch(...) {}
}

Bibliothèque standard

Les fonctions standard suivantes sont déclarées avec l'attribut noreturn :

Rapports de défauts

Les rapports de défauts modifiant le comportement suivants ont été appliqués rétroactivement aux normes C++ précédemment publiées.

Références

Voir aussi