std::longjmp

 

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

 

Dienstprogramm-Bibliotheken

Sprachunterstützung Typunterstützung (Basistypen, RTTI) Bibliotheks-Feature-Test-Makros (C++20) Programm-Dienstprogramme Variadische Funktionen initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) Coroutine-Unterstützung (C++20) Vertragsunterstützung (C++26) Drei-Wege-Vergleich three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

Allgemeine Hilfsmittel Funktionsobjekte Bit-Manipulation (C++20) bitset hash (C++11) Relationale Operatoren (in C++20 veraltet) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= Ganzzahl-Vergleichsfunktionen cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) Swap und Typ-Operationen swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) Gemeinsame Vokabulartypen pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

Programm-Support-Dienstprogramme

Programmabbruch
abort exit quick_exit (C++11) _Exit (C++11)	atexit at_quick_exit (C++11) EXIT_SUCCESSEXIT_FAILURE
Unerreichbarer Kontrollfluss
unreachable (C++23)
Kommunikation mit der Umgebung
system	getenv
Signale
signal raise sig_atomic_t	SIG_DFLSIG_IGN SIG_ERR
Signalarten
SIGABRTSIGFPESIGILL	SIGINTSIGSEGVSIGTERM
Nicht-lokale Sprünge
setjmp	longjmp
Typen
jmp_buf

 

Definiert in Header <csetjmp>
void longjmp( std::jmp_buf env, int status );		(bis C++17)
[[noreturn]] void longjmp( std::jmp_buf env, int status );		(seit C++17)

Lädt den Ausführungskontext env, der durch einen früheren Aufruf von setjmp gespeichert wurde. Diese Funktion kehrt nicht zurück. Die Kontrolle wird an die Aufrufstelle des Makros setjmp übertragen, das env eingerichtet hat. Dieses setjmp gibt dann den als status übergebenen Wert zurück.

Wenn die Funktion, die setjmp aufgerufen hat, beendet wurde, ist das Verhalten undefiniert (mit anderen Worten, nur Sprünge nach oben im Aufrufstapel sind erlaubt).

Zusätzliche Einschränkungen in C++

Über das C-longjmp hinaus hat C++ std::longjmp ein eingeschränkteres Verhalten.

Wenn das Ersetzen von std::longjmp durch throw und setjmp durch catch einen nicht-trivialen Destruktor für ein automatisches Objekt aufrufen würde, ist das Verhalten eines solchen std::longjmp undefiniert.

Das Verhalten ist undefiniert, wenn std::longjmp in einer Coroutine an einer Stelle aufgerufen wird, an der der Operator co_await verwendet werden kann.

(seit C++20)

Parameter

env	-	Variable, die den von setjmp gespeicherten Zustand des Programmablaufs bezeichnet
status	-	der Wert, der von setjmp zurückgegeben werden soll. Wenn er gleich ​0​ ist, wird stattdessen 1 verwendet.

Rückgabewert

(keine)

Hinweise

std::longjmp ist der Mechanismus, der in C zur Behandlung unerwarteter Fehlerbedingungen verwendet wird, bei denen die Funktion nicht sinnvoll zurückkehren kann. C++ verwendet im Allgemeinen die Exception-Behandlung für diesen Zweck.

Beispiel

Führen Sie diesen Code aus

#include <array>
#include <cmath>
#include <csetjmp>
#include <cstdlib>
#include <format>
#include <iostream>
 
std::jmp_buf solver_error_handler;
 
std::array<double, 2> solve_quadratic_equation(double a, double b, double c)
{
    const double discriminant = b * b - 4.0 * a * c;
    if (discriminant < 0)
        std::longjmp(solver_error_handler, true); // Go to error handler
 
    const double delta = std::sqrt(discriminant) / (2.0 * a);
    const double argmin = -b / (2.0 * a);
    return {argmin - delta, argmin + delta};
}
 
void show_quadratic_equation_solution(double a, double b, double c)
{
    std::cout << std::format("Solving {}x² + {}x + {} = 0...\n", a, b, c);
    auto [x_0, x_1] = solve_quadratic_equation(a, b, c);
    std::cout << std::format("x₁ = {}, x₂ = {}\n\n", x_0, x_1);
}
 
int main()
{
    if (setjmp(solver_error_handler))
    {
        // Error handler for solver
        std::cout << "No real solution\n";
        return EXIT_FAILURE;
    }
 
    for (auto [a, b, c] : {std::array{1, -3, 2}, {2, -3, -2}, {1, 2, 3}})
        show_quadratic_equation_solution(a, b, c);
 
    return EXIT_SUCCESS;
}

Ausgabe

Solving 1x² + -3x + 2 = 0...
x₁ = 1, x₂ = 2
 
Solving 2x² + -3x + -2 = 0...
x₁ = -0.5, x₂ = 2
 
Solving 1x² + 2x + 3 = 0...
No real solution

Defect reports

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 619	C++98	die Formulierung der zusätzlichen Einschränkungen in C++ war vage	verbesserte die Formulierung
LWG 894	C++98	das Verhalten war undefiniert, wenn std::longjmp durch throw und setjmp durch catch ersetzt würde, um irgendein automatisches Objekt zu zerstören	das Verhalten ist nur undefiniert wenn ein nicht-trivialer Destruktor für ein beliebiges automatisches Objekt aufgerufen wird

Siehe auch

setjmp	speichert den Kontext (Funktionsmakro)
C-Dokumentation für longjmp