Namespaces
Variants

std:: invalid_argument

From cppreference.net
Definiert im Header <stdexcept>
class invalid_argument ;

Definiert eine Art von Objekt, das als Ausnahme geworfen wird. Es meldet Fehler, die auftreten, weil ein Argumentwert nicht akzeptiert wurde.

Diese Ausnahme wird von std::bitset::bitset , sowie den std::stoi und std::stof Funktionsfamilien ausgelöst.

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

Allerdings können std::invalid_argument -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 cpp/error/logic error std-invalid argument-inheritance.svg

Vererbungsdiagramm

Inhaltsverzeichnis

Memberfunktionen

(Konstruktor)
konstruiert ein neues invalid_argument Objekt mit der gegebenen Nachricht
(öffentliche Mitgliedsfunktion)
operator=
ersetzt das invalid_argument Objekt
(öffentliche Mitgliedsfunktion)

std::invalid_argument:: invalid_argument

invalid_argument ( const std:: string & what_arg ) ;
(1) (constexpr seit C++26)
invalid_argument ( const char * what_arg ) ;
(2) (constexpr seit C++26)
invalid_argument ( const invalid_argument & 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::invalid_argument 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::invalid_argument 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 Standard-Ausnahmeklasse einen öffentlich zugänglichen Kopierkonstruktor haben. Er kann implizit definiert werden, solange die durch what() erhaltenen erklärenden Strings für das Originalobjekt und das kopierte Objekt identisch sind.

std::invalid_argument:: operator=

invalid_argument & operator = ( const invalid_argument & 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::invalid_argument haben, dann gilt std:: strcmp ( what ( ) , other. what ( ) ) == 0 nach der Zuweisung. Vom Kopierzuweisungsoperator können keine Ausnahmen ausgelöst werden.

Parameter

other - ein weiteres Ausnahmeobjekt, mit dem zugewiesen wird

Rückgabewert

* this

Anmerkungen

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

Geerbt von std:: exception

Elementfunktionen

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

Hinweise

Der Zweck dieses Ausnahmetyps ähnelt dem Fehlerzustand std::errc::invalid_argument (geworfen in std::system_error von Memberfunktionen von std::thread ) und der zugehörigen errno-Konstante EINVAL .

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

Beispiel

#include <bitset>
#include <iostream>
#include <stdexcept>
#include <string>
int main()
{
    try
    {
        std::bitset<4>{"012"}; // Wirft Exception: nur '0' oder '1' erwartet
    }
    catch (std::invalid_argument const& ex)
    {
        std::cout << "#1: " << ex.what() << '\n';
    }
    try
    {
        [[maybe_unused]] int f = std::stoi("ABBA"); // Wirft Exception: keine Konvertierung möglich
    }
    catch (std::invalid_argument const& ex)
    {
        std::cout << "#2: " << ex.what() << '\n';
    }
    try
    {
        [[maybe_unused]] float f = std::stof("(3.14)"); // Wirft Exception: keine Konvertierung möglich
    }
    catch (std::invalid_argument const& ex)
    {
        std::cout << "#3: " << ex.what() << '\n';
    }
}

Mögliche Ausgabe:

#1: bitset string ctor has invalid argument
#2: stoi: no conversion
#3: stof: no conversion

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::invalid_argument
waren implementierungsdefiniert
sie sind identisch mit denen des
ursprünglichen std::invalid_argument -Objekts