値を返さずに非void関数の最後をオフにしても、コンパイラエラーが発生しないのはなぜですか？

私が何年も前に気付いて以来、これはデフォルトではエラーを生成しない（少なくともGCCでは）ことを知っているので、私はいつもその理由を疑問に思っていましたか？

コンパイラフラグを発行して警告を生成できることを理解しましたが、常にエラーである必要はありませんか？非void関数が値を返さないのが有効であることはなぜ意味があるのですか？

コメントでリクエストされた例：

#include <stdio.h>
int stringSize()
{
}

int main()
{
    char cstring[5];
    printf( "the last char is: %c\n", cstring[stringSize()-1] ); 
    return 0;
}

...コンパイルします。

C99およびC ++標準では、値を返す関数は必要ありません。値を返す関数で欠落しているreturnステートメント0は、main関数でのみ定義されます（を返す）。

根拠には、すべてのコードパスが値を返すかどうかの確認が非常に困難であり、戻り値が組み込みアセンブラまたは他のトリッキーなメソッドで設定される可能性があることが含まれます。

C ++ 11ドラフト：

§6.6.3 / 2

関数の最後からフロー[...]すると、値を返す関数で未定義の動作が発生します。

§3.6.1 / 5

制御が ステートメントにmain出会わずに最後に到達した場合return、結果は実行の結果です

return 0;

C ++ 6.6.3 / 2で説明されている動作は、Cと同じではないことに注意してください。

-Wreturn-typeオプションを指定して呼び出すと、gccは警告を表示します。

-返却式デフォルトでintに設定されているreturn-typeで関数が定義されている場合は常に警告します。また、return-typeがvoidでない関数でreturn-valueのないすべてのreturnステートメント（関数本体の終わりから落ちると、値なしで戻ると見なされます）、および関数内の式を持つreturnステートメントについて警告しますreturn-typeは無効です。

この警告は-Wallによって有効になります。

ちょうど好奇心として、このコードが何をするか見てください：

#include <iostream>

int foo() {
   int a = 5;
   int b = a + 1;
}

int main() { std::cout << foo() << std::endl; } // may print 6

このコードは正式には未定義の動作をしており、実際には呼び出し規約とアーキテクチャに依存しています。1つの特定のシステムでは、1つの特定のコンパイラーでは、戻り値は、eaxそのシステムのプロセッサーのレジスターに保管されている最後の式評価の結果です。

gccは、デフォルトではすべてのコードパスが値を返すことを確認しません。これは、一般にこれができないためです。それはあなたがあなたが何をしているか知っていると仮定します。列挙を使用した一般的な例を考えてみましょう。

Color getColor(Suit suit) {
    switch (suit) {
        case HEARTS: case DIAMONDS: return RED;
        case SPADES: case CLUBS:    return BLACK;
    }

    // Error, no return?
}

プログラマーは、バグがない限り、このメソッドは常に色を返すことを知っています。gccは、あなたが何をしているのかを知っていると信頼しているので、関数の最後に戻りを強制することはありません。

一方、javacは、すべてのコードパスが値を返すことを確認しようとし、すべてがそうであることを証明できない場合はエラーをスローします。このエラーは、Java言語仕様で義務付けられています。時にはそれが間違っていて、不必要なreturnステートメントを入れなければならないことに注意してください。

char getChoice() {
    int ch = read();

    if (ch == -1 || ch == 'q') {
        System.exit(0);
    }
    else {
        return (char) ch;
    }

    // Cannot reach here, but still an error.
}

それは哲学的な違いです。CとC ++はJavaやC＃より寛容で信頼できる言語であるため、新しい言語の一部のエラーはC / C ++の警告であり、一部の警告はデフォルトで無視またはオフになっています。

つまり、値を返す関数の最後をオフにすること（つまり、明示的になしで終了することreturn）がエラーではないのはなぜですか。

まず、Cでは、関数が意味のあるものを返すかどうかは、実行中のコードが実際に戻り値を使用する場合にのみ重要です。おそらく、ほとんどの場合それを使用するつもりがないことを知っているとき、言語はあなたに何かを強制することを望まなかったのかもしれません。

第2に、言語仕様では、コンパイラの作成者が明示的な存在の可能性があるすべての制御パスを検出および検証することを強制したくないようですreturn（多くの場合、これはそれほど難しくありません）。また、一部の制御パスは、戻り値のない関数（コンパイラーには一般に知られていない特性）につながる可能性があります。このような経路は、迷惑な誤検知の原因になる可能性があります。

また、CとC ++では、この場合の動作の定義が異なります。C ++では、（関数の結果が呼び出し元のコードで使用されているかどうかに関係なく）値を返す関数の終わりを流れるだけでは、常に未定義の動作になります。Cでは、呼び出しコードが戻り値を使用しようとした場合にのみ、これにより未定義の動作が発生します。

C / C ++では、何かを返すと主張する関数から戻らないことが合法です。の呼び出しexit(-1)や、それを呼び出したり例外をスローしたりする関数など、多くのユースケースがあります。

コンパイラがUBにつながる場合でも、正当なC ++を拒否しないでください。特に、警告を求めていないが生成さに。（Gccはまだデフォルトでいくつかをオンにしますが、追加されると、古い機能に対する新しい警告ではなく、新しい機能と一致するように見えます）

いくつかの警告を発するようにデフォルトの引数なしのgccを変更すると、既存のスクリプトまたはシステムを破壊するような変更になる可能性があります。うまく設計されたもの-Wall、警告を処理する、個々の警告を切り替えます。

C ++ツールチェーンの使用方法を学ぶことは、C ++プログラマーになるための障害ですが、C ++ツールチェーンは通常、エキスパートが作成したものです。

これはレガシーコードが原因だと思います（Cはreturnステートメントを必要としなかったため、C ++もそうでした）。その「機能」に依存している巨大なコードベースがおそらくあるでしょう。しかし、少なくとも-Werror=return-type 多くのコンパイラ（gccおよびclangを含む）にはフラグがあります。

一部の限られたまれなケースでは、値を返さずに非void関数の終わりをオフにすると便利な場合があります。次のMSVC固有のコードのように：

double pi()
{
    __asm fldpi
}

この関数は、x86アセンブリを使用してpiを返します。GCCでのアセンブリとは異なり、私は使用する方法を知りませんreturn、結果にオーバーヘッドを伴うことなくこれを行う。

私の知る限り、主流のC ++コンパイラーは、明らかに無効なコードに対して少なくとも警告を発する必要があります。の体を作ったらpi()空にすると、GCC / Clangが警告を報告し、MSVCがエラーを報告します。

人々は例外とexitいくつかの回答に言及しました。それらは正当な理由ではありません。例外をスローしたり、を呼び出したりしても、関数の実行フローが終了することexitはありません。そしてコンパイラはそれを知っています：throwステートメントを書くかexit、空の本文を呼び出すと、pi()コンパイラからの警告やエラーが停止します。

どのような状況でエラーが発生しませんか？戻り値の型を宣言し、何も返さない場合は、エラーのように聞こえます。

私が考えることができる1つの例外は、main()関数であり、これはreturnステートメントをまったく必要としません（少なくともC ++では、どちらのC標準も便利ではありません）。リターンがない場合return 0;は、最後のステートメントであるかのように動作します。

コンパイラの警告を表示する必要があるようです：

$ gcc -Wall -Wextra -Werror -x c -
int main(void) { return; }
cc1: warnings being treated as errors
<stdin>: In function ‘main’:
<stdin>:1: warning: ‘return’ with no value, in function returning non-void
<stdin>:1: warning: control reaches end of non-void function
$

これはc99では制約違反ですが、c89では制約違反ではありません。コントラスト：

c89：

3.6.6.4 returnステートメント

制約

式を含むreturnステートメントは、戻り値の型がである関数には現れませんvoid。

c99：

6.8.6.4 returnステートメント

制約

式を含むreturnステートメントは、戻り値の型がである関数には現れませんvoid。return表現のない文は唯一その戻り値の型である機能に出頭しなければなりませんvoid。

--std=c99モードでも、gccは警告のみをスローします（ただし-W、デフォルトまたはc89 / 90で必要な追加のフラグを有効にする必要はありません）。

編集してc89に追加します。「}関数を終了するに到達することはreturn、式なしでステートメントを実行することと同等です」（3.6.6.4）。ただし、c99では動作が定義されていません（6.9.1）。