初級

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 (flags & MASK)のような、ビット演算の結果をうっかり条件として使ってしまうC言語系の事故も含めて、「boolでない値がなんとなく真偽として解釈される」という問題全体を1つのルールで防いでいます。さらにRustでは代入式自体が値を持たず()を返すだけなので、そもそもif (x = 5)のような代入と比較の取り違えという事故が構文的に成立しません。bool型を厳格に要求することは、複数の異なる種類のバグをまとめて塞ぐ、効率のよい安全策です。

演習をはじめる

関連するエラー

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