上級

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 によるダウンキャストは警告なしで値を切り捨てるは上級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

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