中級

terminate called after throwing an instance of 'std::out_of_range' の原因と直し方

std::vectorの範囲外の要素に .at() でアクセスしたときに、例外std::out_of_rangeが投げられ、それを捕まえずにプログラムが終了してしまうバグです。

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

terminate called after throwing an instance of 'std::out_of_range'

terminate called after throwing an instance of 'std::out_of_range'

ランタイム（または例外機構、assert）が不整合を検知して出したメッセージ

Aborted

この後プロセスは強制終了します（Aborted）

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

 1  #include <iostream>
 2  #include <vector>
 3  int main() {
 4      std::vector<int> nums = {1, 2, 3};
 5      std::cout << nums.at(10) << std::endl;
                              ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  #include <vector>
 3  int main() {
 4      std::vector<int> scores = {70, 80, 90};
 5      std::cout << scores.at(5) << std::endl;
                               ^
 6      return 0;
 7  }

 1  #include <iostream>
 2  #include <vector>
 3  int main() {
 4      std::vector<int> items = {5, 10};
 5      std::cout << items.at(7 ) << std::endl;
                               ^
 6      return 0;
 7  }

よくある誤解

「vectorの添字アクセスはいつでも安全にチェックされる」というのは誤解です。角括弧の operator[] は範囲チェックをせず、範囲外でも黙って未定義動作になります。範囲チェック付きでアクセスしたいときに使うのが .at() で、その代わり例外が飛んできます。

まとめ

terminate called after throwing an instance of 'std::out_of_range'は中級でつまずきやすい項目です。上の3パターンを実際に手で直すと、エラーメッセージのどこを読めばよいかが掴めます。

演習をはじめる

関連するエラー

• 配列の添字を1つずらしてしまうoff-by-oneバグ配列の要素数と添字の範囲を混同し、ループの開始や終了条件を1つずらしてしまうバグです。
• terminate called after throwing an instance of '...' の原因と直し方throwで投げた例外をどこのtry-catchでも捕まえられず、プログラム全体が異常終了してしまうバグです。