上級

E0284: type annotations needed の原因と直し方

parse()のように戻り値の型がジェネリックで、文脈からも型を一意に決められない場合、E0284エラーになります。変数に明示的な型注釈を付けるか、parse::<i32>()のようにturbofish記法で型を指定する必要があります。

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

error[E0284]: type annotations needed

E0284

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

type annotations needed

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

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

 1  fn main() {
 2      let n      = "42".parse().unwrap();
               ^
 3      println!("{}", n);
 4  }

 1  fn main() {
 2      let value      = "100".parse().unwrap();
                   ^
 3      println!("{}", value);
 4  }

 1  fn main() {
 2      let amount      = "250".parse().unwrap();
                    ^
 3      println!("{}", amount);
 4  }

 1  fn main() {
 2      let qty      = "7".parse().unwrap();
                 ^
 3      println!("{}", qty);
 4  }

 1  fn main() {
 2      let level      = "3".parse().unwrap();
                   ^
 3      println!("{}", level);
 4  }

よくある誤解

「後で値を使っている箇所を見れば、コンパイラが型を逆算してくれるはず」という思い込みは誤りです。今回のようにその後の使い方が何も無い（あるいは曖昧な）場合、コンパイラは型を1つに絞り込めず、明示を要求します。

まとめ

E0284: type annotations neededは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• E0308: mismatched types（型の不一致）の原因と直し方変数の型注釈と実際に代入する値の型が食い違うと、コンパイル時にE0308エラーになります。
• called `Result::unwrap()` on an `Err` value パニックの原因と直し方文字列を数値に変換するparse()などはResult<T, E>型を返します。