setjmp

Sauvegarde le contexte d'exécution actuel dans une variable env de type std::jmp_buf . Cette variable peut être utilisée ultérieurement pour restaurer le contexte d'exécution actuel via la fonction std::longjmp . C'est-à-dire que lorsqu'un appel à la fonction std::longjmp est effectué, l'exécution se poursuit au point d'appel spécifique qui a construit la variable std::jmp_buf passée à std::longjmp . Dans ce cas, setjmp retourne la valeur passée à std::longjmp .

L'invocation de setjmp doit apparaître uniquement dans l'un des contextes suivants :

1. l'expression de contrôle complète de if , switch , while , do-while , for .

   switch (setjmp(env)) { // ...

2. un opérande d'un opérateur relationnel ou d'égalité avec l'autre opérande étant une expression constante entière, l'expression résultante constituant l'expression de contrôle complète de if , switch , while , do-while , for .

   if (setjmp(env) > 0) { // ...

3. l'opérande d'un opérateur unaire ! avec l'expression résultante constituant l'expression de contrôle complète de if , switch , while , do-while , for .

   while (!setjmp(env)) { // ...

4. l'expression complète d'une instruction d'expression (éventuellement castée en void ).

   setjmp(env);

Si setjmp apparaît dans tout autre contexte, le comportement est indéfini.

Au retour dans la portée de setjmp :

• tous les objets accessibles, les indicateurs d'état en virgule flottante, et autres composants de la machine abstraite ont les mêmes valeurs que lorsqu'ils avaient lorsque std::longjmp a été exécuté,
• à l'exception des variables locales non- volatile dans la fonction contenant l'invocation de setjmp , dont les valeurs sont indéterminées si elles ont été modifiées depuis l'invocation de setjmp .

Paramètres

Valeur de retour

​ 0 ​ si la macro a été appelée par le code original et que le contexte d'exécution a été sauvegardé dans env .

Valeur non nulle si un saut non local vient d'être effectué. La valeur de retour est la même que celle passée à std::longjmp .

Notes

Les exigences ci-dessus interdisent d'utiliser la valeur de retour de setjmp dans le flux de données (par exemple pour initialiser ou assigner un objet avec celle-ci). La valeur de retour ne peut être utilisée que dans le flux de contrôle ou être ignorée.

Exemple

#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); // Aller au gestionnaire d'erreur
    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("Résolution de {}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))
    {
        // Gestionnaire d'erreur pour le solveur
        std::cout << "Aucune solution réelle\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;
}

Résolution de 1x² + -3x + 2 = 0...
x₁ = 1, x₂ = 2
Résolution de 2x² + -3x + -2 = 0...
x₁ = -0.5, x₂ = 2
Résolution de 1x² + 2x + 3 = 0...
Aucune solution réelle

Voir aussi