Namespaces
Variants

std:: logic_error

From cppreference.net
C++
Diagnostics library
Definiert im Header <stdexcept>
class logic_error ;

Definiert eine Art von Objekt, das als Exception geworfen wird. Es meldet Fehler, die eine Folge fehlerhafter Logik innerhalb des Programms sind, wie das Verletzen logischer Vorbedingungen oder Klasseninvarianten, und könnten vermeidbar sein.

Keine Komponenten der Standardbibliothek werfen diese Ausnahme direkt, aber die Ausnahmetypen 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.

Alle Memberfunktionen von std::logic_error sind constexpr : Es ist möglich, std::logic_error -Objekte in der Auswertung eines konstanten Ausdrucks zu erstellen und zu verwenden.

Allerdings können std::logic_error -Objekte im Allgemeinen nicht constexpr sein, da jeder dynamisch allokierte Speicher in derselben Auswertung des konstanten Ausdrucks freigegeben werden muss.

(seit C++26)
cpp/error/exception std-logic error-inheritance.svg

Vererbungsdiagramm

Inhaltsverzeichnis

Memberfunktionen

(Konstruktor)
konstruiert ein neues logic_error Objekt mit der angegebenen Nachricht
(öffentliche Elementfunktion)
operator=
ersetzt das logic_error Objekt
(öffentliche Elementfunktion)

std::logic_error:: logic_error

logic_error ( const std:: string & what_arg ) ;
(1) (constexpr seit C++26)
logic_error ( const char * what_arg ) ;
(2) (constexpr seit C++26)
logic_error ( const logic_error & other ) ;
(3) (noexcept seit C++11)
(constexpr seit C++26)
1) Konstruiert das Ausnahmeobjekt mit what_arg als erklärendem String. Nach der Konstruktion gilt std:: strcmp ( what ( ) , what_arg. c_str ( ) ) == 0 .
2) Konstruiert das Ausnahmeobjekt mit what_arg als erklärendem String. 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 gilt std:: strcmp ( what ( ) , other. what ( ) ) == 0 . Vom Kopierkonstruktor können keine Ausnahmen geworfen werden.

Parameter

what_arg - erklärender String
other - ein weiteres Ausnahmeobjekt zum Kopieren

Ausnahmen

1,2) Kann std::bad_alloc werfen.

Anmerkungen

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

Vor der Lösung von LWG Issue 254 konnte der Nicht-Kopier-Konstruktor nur std::string akzeptieren. Dies machte dynamische Allokation zwingend erforderlich, um ein std::string -Objekt zu konstruieren.

Nach der Lösung von LWG Issue 471 muss eine abgeleitete Standardausnahmeklasse einen öffentlich zugänglichen Kopierkonstruktor besitzen. Dieser kann implizit definiert werden, solange die durch what() erhaltenen erklärenden Strings für das Originalobjekt und das kopierte Objekt identisch sind.

std::logic_error:: operator=

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

Weist die Inhalte mit denen von other zu. Wenn * this und other beide den dynamischen Typ std::logic_error haben, dann gilt std:: strcmp ( what ( ) , other. what ( ) ) == 0 nach der Zuweisung. Vom Kopierzuweisungsoperator kann keine Exception geworfen werden.

Parameter

other - ein weiteres Exception-Objekt, mit dem zugewiesen wird

Rückgabewert

* this

Anmerkungen

Nach der Lösung von LWG Issue 471 muss eine abgeleitete Standard-Exception-Klasse einen öffentlich zugänglichen Kopierzuweisungsoperator haben. Er kann implizit definiert werden, solange die erklärenden Zeichenketten, die durch what() erhalten werden, für das ursprüngliche Objekt und das kopierte Objekt gleich sind.

Geerbt von std:: exception

Elementfunktionen

[virtual]
zerstört das Exception-Objekt
(virtuelle öffentliche Elementfunktion von std::exception )
[virtual]
gibt einen erklärenden String zurück
(virtuelle öffentliche Elementfunktion von std::exception )

Hinweise

Feature-Test Makro Wert Std Feature
__cpp_lib_constexpr_exceptions 202502L (C++26) constexpr Exception-Typen

Fehlerberichte

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

DR Angewendet auf Verhalten wie veröffentlicht Korrektes Verhalten
LWG 254 C++98 der Konstruktor mit const char * fehlte hinzugefügt
LWG 471 C++98 die Erklärungstexte der Kopien von std::logic_error
waren implementierungsdefiniert 		sie sind identisch mit denen des
ursprünglichen std::logic_error -Objekts