C で戻り値のない関数に対してコンパイラはエラーをスローする必要がありますか?

関数が void 以外の戻り値の型を宣言しているのに値を返せない場合、コンパイラーがガベージを返すことは許容されますか?

void 以外の戻り値の型を持つ関数に return ステートメントが存在しないと、コンパイラの動作について疑問が生じます。このような場合、コンパイラはガベージを返すように見えるかもしれませんが、これは理想的な解決策ではありません。

なぜエラーではないのですか?

C では、関数は戻り値は未定義の動作を示します。ただし、ほとんどのコンパイラはエラーではなく警告を発行します。これは、関数が実際に最後まで実行されるのか、それとも例外によって終了するのかをコンパイラが判断するのは必ずしも簡単ではないためです。

次の例を考えてみましょう:

int func1() {
    return; // error
}

int func2() {
    // does not return anything
}

この場合、func2理論的にはエラーが発生するはずですが、そうではありません。これは、コンパイラが func2 が例外によって終了しないことを保証できず、実際に関数の終わりから実行されることを証明することが困難になるためです。

エラーをスローすべきではない理由?

明らかに問題がある初期化されていない変数とは異なり、関数に戻り値がないことが常に問題になるとは限りません。例:

int func3() {
    func4();
}

func4 が例外をスローした場合、func3 の戻り値が欠落していても問題はありません。ただし、特に個別にコンパイルされたコードを考慮する場合、コンパイラは func4 がスローするかどうかを常に判断できるわけではありません。

結論として、戻り値のない関数に対する C の未定義の動作は理想的ではありませんが、コンパイラーは一般に警告を発行します。関数の実際の実行パスを決定する複雑さによる潜在的な誤検知を回避するため、エラーではなく。

以上がC で戻り値のない関数に対してコンパイラはエラーをスローする必要がありますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。