初級

末尾にセミコロンを付けると戻り値が () になり E0308 になる

Rustの関数は最後の行が式（セミコロン無し）であれば、その値をそのまま戻り値にします。セミコロンを付けるとその行は文（statement）になり、戻り値が空のタプル()に変わってしまいます。

エラーメッセージの読み方

error[E0308]: mismatched types

E0308

エラーコード — `rustc --explain E0308` で詳しい説明が見られます

mismatched types

詳細メッセージ — 何が問題だったか

このエラーが出る典型パターン

 1  fn double(n: i32) -> i32 {
 2      n * 2;
             ^
 3  }
 4  
 5  fn main() {
 6      println!("{}", double(3));
 7  }

 1  fn triple(n: i32) -> i32 {
 2      n * 3;
             ^
 3  }
 4  
 5  fn main() {
 6      println!("{}", triple(4));
 7  }

 1  fn square(n: i32) -> i32 {
 2      n * n;
             ^
 3  }
 4  
 5  fn main() {
 6      println!("{}", square(5));
 7  }

 1  fn increment(n: i32) -> i32 {
 2      n + 1;
             ^
 3  }
 4  
 5  fn main() {
 6      println!("{}", increment(9));
 7  }

 1  fn half(n: i32) -> i32 {
 2      n / 2;
             ^
 3  }
 4  
 5  fn main() {
 6      println!("{}", half(10));
 7  }

よくある誤解

「セミコロンは行の区切りとして付けても付けなくても同じはず」という思い込みは誤りです。関数の最後の行では、セミコロンの有無が戻り値の型そのものを変えてしまいます。

まとめ

末尾にセミコロンを付けると戻り値が () になり E0308 になるは初級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0308: mismatched types（型の不一致）の原因と直し方変数の型注釈と実際に代入する値の型が食い違うと、コンパイル時にE0308エラーになります。
• E0061: this function takes N arguments but M were supplied の原因と直し方関数が定義している数と異なる数の引数を渡すと、コンパイル時にE0061エラーになります。