初級

index out of bounds パニックの原因と直し方

存在しない添字でVecや配列にアクセスすると、コンパイルは通りますが実行時にパニックしてプログラムが異常終了します。

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

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

main.rs

ファイル名

3

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

26

列番号

panicked

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

index out of bounds: the len is 3 but the index is 5

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

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

 1  fn main() {
 2      let scores = vec![85, 90, 78];
 3      println!("{}", scores[5]);
                              ^
 4  }

 1  fn main() {
 2      let prices = vec![100, 250, 300];
 3      println!("{}", prices[10]);
                               ^
 4  }

 1  fn main() {
 2      let temps = vec![36, 37, 38, 39];
 3      println!("{}", temps[8]);
                             ^
 4  }

 1  fn main() {
 2      let ages = vec![20, 25, 30];
 3      println!("{}", ages[6]);
                            ^
 4  }

 1  fn main() {
 2      let counts = vec![5, 10, 15, 20, 25];
 3      println!("{}", counts[9 ]);
                               ^
 4  }

よくある誤解

「範囲外にアクセスしてもコンパイラが事前に止めてくれるはず」という思い込みは誤りです。添字が変数の場合、境界チェックは実行時にしか行えないため、コンパイルは通ってしまいます。

実務での勘所

Rustは範囲外アクセスに対して2つの異なる道具を用意しています。[]による添字アクセスは「その添字は必ず有効なはず」と確信している場面向けで、もし間違っていればすぐにパニックさせて問題を顕在化させます。get(index)はOption<&T>を返し、範囲外かもしれない可能性を型として受け止めて、Noneの場合の処理を呼び出し側に書かせる設計です。「確実なら[]、不確実ならget」という使い分けが、Rustの安全性と簡潔さの両立の仕方です。

演習をはじめる

関連するエラー

• called `Option::unwrap()` on a `None` value パニックの原因と直し方Option<T>型の値がNoneのときにunwrap()を呼び出すと、パニックが発生してプログラムが異常終了します。
• range end index out of range for slice パニックの原因と直し方配列やVecをスライスする際、範囲の終端が要素数を超えているとパニックします。