std::logic_error

 

C++

コンパイラサポート

フリースタンディングとホスト

言語

標準ライブラリ

標準ライブラリヘッダー

名前付き要件

機能テストマクロ (C++20)

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

メモリ管理ライブラリ

メタプログラミングライブラリ (C++11)

汎用ユーティリティライブラリ

コンテナライブラリ

イテレータライブラリ

Rangesライブラリ (C++20)

アルゴリズムライブラリ

文字列ライブラリ

テキスト処理ライブラリ

数値ライブラリ

日付と時刻ライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

並行サポートライブラリ (C++11)

実行制御ライブラリ (C++26)

Technical specifications (技術仕様)

シンボルインデックス

外部ライブラリ

 

診断ライブラリ

例外処理 exception uncaught_exceptionuncaught_exceptions (C++20まで*)  (C++17) exception_ptr (C++11) make_exception_ptr (C++11) current_exception (C++11) rethrow_exception (C++11) nested_exception (C++11) throw_with_nested (C++11) rethrow_if_nested (C++11) 例外処理の失敗 terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (C++17まで*) unexpected_handler (C++17まで*) get_unexpected (C++17まで*) set_unexpected (C++17まで*) エラー番号 エラーコード errno アサーション assert

例外カテゴリ logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) システムエラー error_category (C++11) generic_category (C++11) system_category (C++11) error_condition (C++11) errc (C++11) error_code (C++11) system_error (C++11) スタックトレース stacktrace_entry (C++23) basic_stacktrace (C++23) デバッグサポート is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26)

 

ヘッダー <stdexcept> で定義
class logic_error;

プログラム内の論理的な誤り（論理的前提条件やクラス不変条件の違反など）の結果として発生するエラーを報告するためにスローされる例外オブジェクトの型を定義します。これらのエラーは回避可能な場合があります。

標準ライブラリのコンポーネントは、この例外を直接スローしませんが、例外型である std::invalid_argument、std::domain_error、std::length_error、std::out_of_range、std::future_error、および std::experimental::bad_optional_access は、std::logic_error から派生しています。

継承図

メンバー関数

(コンストラクタ)	指定されたメッセージで新しいlogic_errorオブジェクトを構築します。 (public member function)
operator=	logic_errorオブジェクトを置き換えます。 (public member function)

std::logic_error::logic_error

logic_error( const std::string& what_arg );	(1)
logic_error( const char* what_arg );	(2)
logic_error( const logic_error& other );	(3)	(C++11 以降 noexcept)

1) 説明文字列として what_arg を使用して、例外オブジェクトを構築します。構築後、std::strcmp(what(), what_arg.c_str()) == 0 となります。

2) 説明文字列として what_arg を使用して、例外オブジェクトを構築します。構築後、std::strcmp(what(), what_arg) == 0 となります。

3) コピーコンストラクタ。 *this と other が両方とも動的型 std::logic_error を持つ場合、 std::strcmp(what(), other.what()) == 0 となります。コピーコンストラクタから例外がスローされることはありません。

パラメータ

what_arg	-	説明文字列
その他	-	コピーする別の例外オブジェクト

例外

1,2) std::bad_alloc をスローする可能性があります。

注釈

std::logic_error のコピーは例外をスローすることが許可されていないため、このメッセージは通常、別途割り当てられた参照カウント文字列として内部に格納されます。このため、std::string&& を受け取るコンストラクタはありません。いずれにしても内容をコピーする必要があるからです。

LWG issue 254 の解決前は、非コピーコンストラクタは std::string のみを受け入れることができました。これにより、std::string オブジェクトを構築するために動的割り当てが必須となりました。

LWG issue 471 の解決後、派生標準例外クラスは公開アクセス可能なコピーコンストラクタを持つ必要があります。what() によって取得される説明文字列が元のオブジェクトとコピーされたオブジェクトで同じである限り、暗黙的に定義することができます。

std::logic_error::operator=

logic_error& operator=( const logic_error& other );		(C++11 以降 noexcept)

other の内容で内容を代入します。 *this と other が両方とも動的型 std::logic_error を持つ場合、代入後には std::strcmp(what(), other.what()) == 0 となります。コピー代入演算子から例外がスローされることはありません。

パラメータ

その他

-

割り当てる別の例外オブジェクト

戻り値

*this

注釈

LWG issue 471 の解決後、派生標準例外クラスは公開アクセス可能なコピー代入演算子を持つ必要があります。what() によって取得される説明文字列が元のオブジェクトとコピーされたオブジェクトで同じである限り、暗黙的に定義することができます。

std::exception から継承

メンバ関数

(デストラクタ) [virtual]	例外オブジェクトを破棄する (std::exception の仮想 public メンバー関数)
what [virtual]	説明文字列を返す (std::exception の仮想 public メンバー関数)

不具合レポート

以下の動作変更を伴う欠陥報告が、以前に公開されたC++標準に遡って適用されました。

DR	適用対象	公開された動作	正しい動作
LWG 254	C++98	const char* を受け入れるコンストラクタが欠落していた	追加された
LWG 471	C++98	std::logic_error の説明文字列。 コピーは実装定義であった	それらは元の std::domain_error オブジェクトと 元のstd::logic_errorオブジェクト。