中級

attempt to subtract with overflow パニックの原因と直し方

符号なし整数（usizeなど）で0から1を引くような演算を行うと、負の値を表現できないため実行時にパニックします。Vecの長さから1を引く処理で、空のVecを渡すと典型的に発生します。

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

thread 'main' panicked at main.rs:3:22:

main.rs

ファイル名

3

行番号 — 実際にクラッシュした行

22

列番号

panicked

パニック — 実行時に回復不能な状態になったことを示します。tryやResultで捕まえない限り、そのままプロセスが終了します

attempt to subtract with overflow

詳細メッセージ — どの値が問題だったか

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

 1  fn main() {
 2      let scores: Vec<i32> = vec![          ];
                                         ^
 3      let last_index = scores.len() - 1;
 4      println!("{}", last_index);
 5  }

 1  fn main() {
 2      let entries: Vec<i32> = vec![    ];
                                       ^
 3      let last_index = entries.len() - 1;
 4      println!("{}", last_index);
 5  }

 1  fn main() {
 2      let queue: Vec<i32> = vec![       ];
                                      ^
 3      let last_index = queue.len() - 1;
 4      println!("{}", last_index);
 5  }

 1  fn main() {
 2      let stack: Vec<i32> = vec![    ];
                                     ^
 3      let last_index = stack.len() - 1;
 4      println!("{}", last_index);
 5  }

 1  fn main() {
 2      let buffer: Vec<i32> = vec![ ];
                                    ^
 3      let last_index = buffer.len() - 1;
 4      println!("{}", last_index);
 5  }

よくある誤解

「引き算した結果が負になれば、自動的にマイナスの値になるはず」という思い込みは誤りです。usizeのような符号なし整数は負の値を表現できないため、デバッグビルドではオーバーフローとしてパニックします。

まとめ

attempt to subtract with overflow パニックの原因と直し方は中級でつまずきやすい項目です。上の5パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• index out of bounds パニックの原因と直し方存在しない添字でVecや配列にアクセスすると、コンパイルは通りますが実行時にパニックしてプログラムが異常終了します。
• as によるダウンキャストは警告なしで値を切り捨てるasによる整数の型変換（ダウンキャスト）は、変換先の型で表現できない値を警告もエラーもなく切り捨てます。