ノーリターンのポイントは何ですか？

[dcl.attr.noreturn]は次の例を提供します：

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

しかし[[noreturn]]、関数の戻り値の型が既にあるので、私は何の意味があるのか​​わかりませんvoid。

では、noreturn属性のポイントは何ですか？どのように使用することになっていますか？

noreturn属性は、呼び出し元に戻らない関数に使用されることになっています。これはvoid関数（呼び出し元に戻る-値を返さない）を意味するのではなく、制御フローが関数の終了後に呼び出し元の関数に戻らない関数（たとえば、アプリケーションを終了する関数、永久にループするか、例のように例外をスローします）。

コンパイラはこれを使用して、いくつかの最適化を行い、より適切な警告を生成できます。たとえばf、にnoreturn属性がある場合、コンパイラーは、g()書き込み時にデッドコードであることを警告する可能性がありますf(); g();。同様に、コンパイラーは、の呼び出し後にreturnステートメントが欠落していることについて警告しないことを知っていますf()。

noreturn関数が値を返さないことをコンパイラに伝えません。これは、制御フローが呼び出し元に戻らないことをコンパイラーに通知します。これにより、コンパイラーはさまざまな最適化を行うことができます-呼び出しの前後の揮発性の状態を保存および復元する必要はありません。そうでなければ、呼び出しに続くコードなどをデッドコードで排除できます。

関数が完了しないことを意味します。への呼び出し後、制御フローがステートメントにヒットすることはありませんf()。

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

この情報は、コンパイラー/オプティマイザーによってさまざまな方法で使用できます。コンパイラーは、上記のコードに到達できないことを示す警告を追加できg()ます。また、継続をサポートするなど、さまざまな方法で実際のコードを変更できます。

以前の答えはノーリターンとは何かを正しく説明しましたが、なぜそれが存在しないのかではありませんでした。「最適化」コメントが主な目的だとは思いません。返らない関数はまれであり、通常は最適化する必要はありません。むしろ、ノーリターンの主な存在理由は、偽陽性の警告を回避することだと思います。たとえば、次のコードを考えてみます。

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

abort（）が「noreturn」とマークされていなかった場合、コンパイラーは、fが期待どおりに整数を返さないパスを持つこのコードについて警告した可能性があります。しかし、abort（）はリターンなしとマークされているため、コードが正しいことがわかります。

タイプは理論的に言えば、void他の言語で呼ばれているものですunitかtop。これに相当するものはTrueです。任意の値を正当にキャストできますvoid（すべてのタイプはのサブタイプですvoid）。それを「ユニバース」セットと考えてください。世界中のすべての値に共通する操作がないため、typeの値に対して有効な操作はありませんvoid。言い換えれば、何かがユニバ​​ースセットに属していることを伝えると、情報はまったく提供されません-すでに知っています。したがって、以下は健全です。

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

しかし、以下の割り当てはそうではありません：

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]]一方、時々呼ばれempty、Nothing、BottomまたはBotとの論理等価である偽。値はまったくなく、このタイプの式は、任意のタイプにキャストできます（つまり、そのサブタイプです）。これは空のセットです。誰かが「式foo（）の値は空のセットに属している」と言った場合、それは非常に有益です-この式は通常の実行を完了しないことを示しています。中止、スロー、またはハングします。これはの正反対ですvoid。

したがって、以下は意味がありません（noreturnファーストクラスのC ++型ではないため、疑似C ++）

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

ただし、以下の割り当てはthrow、コンパイラによって返されないことが理解されているため、完全に正当です。

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

完璧な世界では、上記noreturnの関数の戻り値として使用できますraise()。

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

悲しいことに、C ++はそれを許可しません。おそらく実用上の理由からでしょう。代わりに、[[ noreturn ]]コンパイラーの最適化と警告のガイドに役立つ属性を使用することができます。