次のRustコードを考えます。
fn f() -> i32 {
loop {
println!("Infinite loop!");
}
println!("Unreachable");
}
戻り値の型が間違っているにもかかわらず、これは（警告付きで）コンパイルされて実行されます。コンパイラーは()、このコードに到達できないことを検出するため、最終行の戻り値のタイプがOKであるように見えます。
ただし、最後のセミコロンを削除すると、次のようになります。
fn f() -> i32 {
loop {
println!("Infinite loop!");
}
println!("Unreachable")
}
その後、コードはコンパイルされなくなり、型エラーが発生します。
error[E0308]: mismatched types
--> src/main.rs:14:5
|
14 | println!("Unreachable")
| ^^^^^^^^^^^^^^^^^^^^^^^ expected `i32`, found `()`
|
= note: this error originates in a macro outside of the current crate (in Nightly builds, run with -Z external-macro-backtrace for more info)
どうしてこれなの？()これらのコードスニペットの両方で、戻り値の型は同じではありませんか？
注： Rustコンパイラーがこれら2つの例で異なる動作をする理由、つまりRustコンパイラーの実装方法を理解することに興味があります。言語設計の観点から、それがどのように「振る舞う」べきかについて哲学的な質問をするつもりはありませんでした（そのような質問はおそらくトピックから外れると思います）。
@SvenMarnachそれはまだ言語についての質問です。それはまだ話題です。
—
ピーターホール
@SvenMarnachそれは本当に必要ですか？私はRustの初心者であり、コンパイラーがなぜそれを行うのかを理解しようとしています。私は哲学的な答えを求めているのではありません。あなたのコメントは私の質問に対する誤解を示しており、SOが有毒であるという認識に貢献していると思います。
—
6005
@ 6005スヴェンのコメントは、SOが非難されている「毒性のある文化」とはまったく無関係です（性別、セクシュアリティ、人種などの理由で実際に彼が別様に扱っていると思わない限り）。彼はあなたの質問がSOに適しているかどうかについての（文明化された）議論に貢献しました。
—
ピーターホール
多分私は少し簡潔でしたが、私は確かに気分を害するつもりはありませんでした。私はあなたの質問に何か問題があるとは思わない–私はそれを楽しんだ。:) Rustの型推論の詳細は指定されていないため、「正しい」答えはないと思います。この場合、型推論がどのように機能するかを確認できますが、それ以上の理由はありません。コンパイラの内部に精通している人なら、コンパイラがこのように動作する理由を説明できるかもしれませんが、言語についてはあまり学習しません。
—
Sven Marnach
!理にかなっているので、無限ループの戻り値の型、など。2番目のケースでは、戻り式があるため、型推論ソルバーはそれを使用して型を推論します。これも理にかなっています。これは言語リファレンスで指定されているとは思いませんし、それがどうでもいいとは思いません。到達できないステートメントを省略すれば大丈夫です。