std::logic_error

 

C++

Compiler-Unterstützung

Freestanding und gehostet

Sprache

Standardbibliothek

Header der Standardbibliothek

Benannte Anforderungen

Feature-Test-Makros (C++20)

Bibliothek für Sprachunterstützung

Konzepte-Bibliothek (C++20)

Diagnostik-Bibliothek

Speicherverwaltungsbibliothek

Metaprogrammierungsbibliothek (C++11)

Allgemeine Dienstprogramme-Bibliothek

Container-Bibliothek

Iterator-Bibliothek

Ranges-Bibliothek (C++20)

Algorithmen-Bibliothek

Bibliothek für Zeichenketten

Textverarbeitungsbibliothek

Numerik-Bibliothek

Datums- und Zeitbibliothek

Ein-/Ausgabe-Bibliothek

Dateisystembibliothek (C++17)

Unterstützung für nebenläufige Programmierung (C++11)

Ausführungssteuerungsbibliothek (C++26)

Technische Spezifikationen

Symbolverzeichnis

Externe Bibliotheken

 

Diagnostik-Bibliothek

Ausnahmebehandlung exception uncaught_exceptionuncaught_exceptions (bis 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) Exception handling failures terminate terminate_handler get_terminate (C++11) set_terminate bad_exception unexpected (bis C++17*) unexpected_handler (bis C++17*) get_unexpected (bis C++17*) set_unexpected (bis C++17*) Fehlernummern Error codes errno Assertions assert

Exception categories logic_error invalid_argument domain_error length_error out_of_range runtime_error range_error overflow_error underflow_error tx_exception (TM TS) System error 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 stacktrace_entry (C++23) basic_stacktrace (C++23) Debugging-Unterstützung is_debugger_present (C++26) breakpoint_if_debugging (C++26) breakpoint (C++26)

 

Definiert in der Header-Datei <stdexcept>
class logic_error;

Definiert einen Typ von Objekten, die als Ausnahme geworfen werden. Es werden Fehler gemeldet, die aus fehlerhafter Logik innerhalb des Programms resultieren, wie z. B. die Verletzung logischer Vorbedingungen oder Klasseninvarianten, und die möglicherweise vermeidbar sind.

Keine Standardbibliothekskomponenten werfen diese Ausnahme direkt, aber die Ausnahme-Typen std::invalid_argument, std::domain_error, std::length_error, std::out_of_range, std::future_error und std::experimental::bad_optional_access sind von std::logic_error abgeleitet.

Vererbungdiagramm

Memberfunktionen

(Konstruktor)	konstruiert ein neues logic_error-Objekt mit der gegebenen Meldung (öffentliche Memberfunktion)
operator=	ersetzt das logic_error-Objekt (öffentliche Memberfunktion)

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)	(noexcept seit C++11)

1) Konstruiert das Ausnahmeobjekt mit what_arg als erklärende Zeichenkette. Nach der Konstruktion gilt std::strcmp(what(), what_arg.c_str()) == 0.

2) Konstruiert das Ausnahmeobjekt mit what_arg als erklärende Zeichenkette. Nach der Konstruktion gilt std::strcmp(what(), what_arg) == 0.

3) Kopierkonstruktor. Wenn *this und other beide den dynamischen Typ std::logic_error haben, dann ist std::strcmp(what(), other.what()) == 0. Keine Ausnahme kann vom Kopierkonstruktor geworfen werden.

Parameter

what_arg	-	erklärende Zeichenkette
Sonstiges	-	ein anderes Ausnahmeobjekt zum Kopieren

Ausnahmen

1,2) Kann std::bad_alloc auslösen.

Anmerkungen

Da das Kopieren von std::logic_error keine Ausnahmen werfen darf, wird diese Meldung typischerweise intern als separat zugewiesener, referenzgezählter String gespeichert. Das ist auch der Grund, warum es keinen Konstruktor gibt, der std::string&& nimmt: Der Inhalt müsste ohnehin kopiert werden.

Vor der Auflösung von LWG-Problem 254 konnte der Nicht-Kopierkonstruktor nur std::string akzeptieren. Dies machte die dynamische Speicherzuweisung zur obligatorischen Erstellung eines std::string-Objekts.

Nach der Auflösung von LWG-Problem 471 muss eine abgeleitete Standard-Ausnahmeklasse einen öffentlich zugänglichen Kopierkonstruktor haben. Dieser kann implizit definiert werden, solange die durch what() erhaltenen erklärenden Zeichenketten für das ursprüngliche und das kopierte Objekt gleich sind.

std::logic_error::operator=

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

Weist den Inhalt von other zu. Wenn *this und other beide den dynamischen Typ std::logic_error haben, dann ist std::strcmp(what(), other.what()) == 0 nach der Zuweisung. Keine Ausnahme kann vom Kopierzuweisungsoperator geworfen werden.

Parameter

Sonstiges

-

ein anderes Ausnahmeobjekt zum Zuweisen

Rückgabewert

*this

Anmerkungen

Nach der Auflösung von LWG-Problem 471 muss eine abgeleitete Standard-Ausnahmeklasse einen öffentlich zugänglichen Kopierzuweisungsoperator haben. Dieser kann implizit definiert werden, solange die durch what() erhaltenen erklärenden Zeichenketten für das ursprüngliche und das zugewiesene Objekt gleich sind.

Abgeleitet von std::exception

Memberfunktionen

(Destruktor) [virtuell]	zerstört das Ausnahmeobjekt (virtuelle öffentliche Memberfunktion von std::exception)
what [virtuell]	gibt einen erklärenden String zurück (virtuelle öffentliche Memberfunktion von std::exception)

Fehlerberichte

Die folgenden Verhaltensändernden Fehlerberichte wurden rückwirkend auf zuvor veröffentlichte C++-Standards angewendet.

DR	angewendet auf	Verhalten wie veröffentlicht	Korrigiertes Verhalten
LWG 254	C++98	Der Konstruktor, der const char* akzeptiert, fehlte	hinzugefügt
LWG 471	C++98	die erklärenden Zeichenketten von std::logic_error Kopien waren implementierungsabhängig	sie sind identisch mit der des das ursprüngliche std::logic_error-Objekt