上級

as によるダウンキャストは警告なしで値を切り捨てる

asによる整数の型変換（ダウンキャスト）は、変換先の型で表現できない値を警告もエラーもなく切り捨てます。300をu8にキャストすると、下位8ビットだけが残り44になります。

なぜエラーが出ないのか

出力: 44

（エラーなし）

Rustは何も報告しません。型としても借用としても正しいコードだからです

出力: 44

実際の出力 — 期待した結果と食い違っている箇所

見つけ方

エラーが出ないので、出力を目で確かめるしかありません。この種の誤りが最も発見が遅れます

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

 1  fn main() {
 2      let big: i32 = 300;
 3      let small = big as u8 ;
                            ^
 4      println!("{}", small);
 5  }

 1  fn main() {
 2      let value: i32 = 500;
 3      let result = value as u8 ;
                               ^
 4      println!("{}", result);
 5  }

 1  fn main() {
 2      let code: i32 = 1000;
 3      let byte_value = code as u8 ;
                                  ^
 4      println!("{}", byte_value);
 5  }

 1  fn main() {
 2      let raw: i32 = 260;
 3      let converted = raw as u8 ;
                                ^
 4      println!("{}", converted);
 5  }

 1  fn main() {
 2      let input: i32 = 400;
 3      let narrowed = input as u8 ;
                                 ^
 4      println!("{}", narrowed);
 5  }

よくある誤解

「範囲外の値をキャストしようとすれば、エラーになるかパニックするはず」という思い込みは誤りです。asキャストは意図的に安全性チェックを行わない操作で、範囲外の値は黙って切り捨てられます。安全に変換したい場合はtry_into()を使う必要があります。

実務での勘所

asによる切り捨ての仕組みは、値をそのままビット列として見て、変換先の型が扱えるビット数の下位ビットだけを残す、という単純な操作です。300は2進数で100101100(9ビット)ですが、u8は8ビットしか保持できないため、上位の1ビットが切り捨てられ下位8ビットの00101100だけが残り、これは10進数で44になります。300 % 256を計算した値と一致するのは偶然ではなく、下位ビットだけを残すという操作が、まさに256を法とした剰余を取ることと同じだからです。

演習をはじめる

関連するエラー

• 整数同士の割り算 / が小数にならず切り捨てられるi32同士の/演算子は、商の整数部分だけを返します。
• swap_remove は要素の順序を保証しない（remove との違い）Vecのswap_removeは指定位置の要素を削除し、その穴を最後の要素で埋めるため高速ですが、要素の順序が変わります。