上級

例外を捕まえ損ねて terminate する原因と直し方

throwで投げた例外をどこのtry-catchでも捕まえられず、プログラム全体が異常終了してしまうバグです。C++のランタイムはstd::terminateを呼び出し、プロセスを強制終了させます。

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

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

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

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

Aborted

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

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

 1  #include <iostream>
 2  #include <stdexcept>
 3  void withdraw(int balance, int amount) {
 4      if (amount > balance) {
 5          throw std::runtime_error("insufficient funds");
 6      }
 7      std::cout << "ok" << std::endl;
 8  }
 9  int main() {
10      withdraw(100 , 500);
                   ^
11      return 0;
12  }

 1  #include <iostream>
 2  #include <stdexcept>
 3  void setAge(int age) {
 4      if (age < 0) {
 5          throw std::invalid_argument("age must not be negative");
 6      }
 7      std::cout << "age set" << std::endl;
 8  }
 9  int main() {
10      setAge(-5);
                ^
11      return 0;
12  }

 1  #include <iostream>
 2  #include <stdexcept>
 3  void checkStock(int stock, int order) {
 4      if (order > stock) {
 5          throw std::runtime_error("out of stock");
 6      }
 7      std::cout << "shipped" << std::endl;
 8  }
 9  int main() {
10      checkStock(3, 10);
                       ^
11      return 0;
12  }

 1  #include <iostream>
 2  #include <stdexcept>
 3  void deposit(int amount) {
 4      if (amount < 0) {
 5          throw std::invalid_argument("amount must not be negative");
 6      }
 7      std::cout << "deposited" << std::endl;
 8  }
 9  int main() {
10      deposit(-10);
                 ^
11      return 0;
12  }

 1  #include <iostream>
 2  #include <stdexcept>
 3  void divide(int a, int b) {
 4      if (b == 0) {
 5          throw std::runtime_error("division by zero");
 6      }
 7      std::cout << (a / b) << std::endl;
 8  }
 9  int main() {
10      divide(10, 0 );
                    ^
11      return 0;
12  }

よくある誤解

「例外はthrowしておけば自動的にどこかで処理される」というのは誤解です。C++の例外は、呼び出し元をさかのぼって対応するcatchが見つかるまで探されますが、mainまで誰も捕まえなければプログラムはterminateによって強制終了します。

実務での勘所

C++はJavaと違い、例外として投げられる値の型に制限がありません。throw 42;のように、std::exceptionを継承していない、ただの整数さえも例外として投げられます。catch (const std::exception&)のような特定の型を対象にしたcatchでは、こうした無関係な型の例外を拾えません。どんな型の例外が飛んできても最後の砦として受け止めたい場合は、catch (...)という、型を問わずすべてを捕まえる特別な構文を使います。ライブラリの境界など、何が飛んでくるか完全には把握できない場面での安全網として使われます。

演習をはじめる

関連するエラー

• vector::at() の範囲外アクセスで terminate する原因std::vectorの範囲外の要素に .at() でアクセスしたときに、例外std::out_of_rangeが投げられ、それを捕まえずにプログラムが終了してしまうバグです。
• テンプレートの型推論失敗で no matching function になる原因テンプレート関数の2つの引数に異なる型を渡したときに出るエラーです。