初級

E0308: mismatched types（型の不一致）の原因と直し方

変数の型注釈と実際に代入する値の型が食い違うと、コンパイル時にE0308エラーになります。Rustは暗黙の型変換を行わないため、型はすべて一致している必要があります。

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

error[E0308]: mismatched types

E0308

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

mismatched types

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

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

 1  fn main() {
 2      let count: i32 = "five";
                            ^
 3      println!("{}", count);
 4  }

 1  fn main() {
 2      let price: i32 = "hundred";
                             ^
 3      println!("{}", price);
 4  }

 1  fn main() {
 2      let temperature: f64 = "hot" ;
                                  ^
 3      println!("{}", temperature);
 4  }

 1  fn main() {
 2      let quantity: i32 = "three";
                               ^
 3      println!("{}", quantity);
 4  }

 1  fn main() {
 2      let distance: f64 = "far" ;
                               ^
 3      println!("{}", distance);
 4  }

よくある誤解

「動的型付け言語のように、変数には後からどんな型の値でも代入できるはず」という思い込みは誤りです。Rustは静的型付け言語で、一度型注釈を付けた変数には同じ型の値しか代入できません。

まとめ

E0308: mismatched types（型の不一致）の原因と直し方は初級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0384: cannot assign twice to immutable variable の原因と直し方Rustの変数はデフォルトで不変（immutable）です。
• if の条件式に整数を渡すと E0308（expected bool）になるC言語やJavaScriptと違い、Rustのif文の条件式には真偽値（bool）しか書けません。