初級

if の条件式に整数を渡すと E0308（expected bool）になる

C言語やJavaScriptと違い、Rustのif文の条件式には真偽値（bool）しか書けません。0や1のような整数をそのまま条件に置くとE0308エラーになります。

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

error[E0308]: mismatched types

E0308

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

mismatched types

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

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

 1  fn main() {
 2      let flag = 1     ;
                      ^
 3      if flag {
 4          println!("yes");
 5      }
 6  }

 1  fn main() {
 2      let is_ready = 0      ;
                          ^
 3      if is_ready {
 4          println!("go");
 5      }
 6  }

 1  fn main() {
 2      let active = 1    ;
                       ^
 3      if active {
 4          println!("running");
 5      }
 6  }

 1  fn main() {
 2      let done = 1     ;
                      ^
 3      if done {
 4          println!("finished");
 5      }
 6  }

 1  fn main() {
 2      let ok = 0   ;
                   ^
 3      if ok {
 4          println!("passed");
 5      }
 6  }

よくある誤解

「0はfalse、0以外はtrueとして扱われるはず」という思い込みは誤りです。Rustには数値からboolへの暗黙変換が無いため、比較演算子を使って明示的にbool値を作る必要があります。

まとめ

if の条件式に整数を渡すと E0308（expected bool）になるは初級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

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