setjmp

#define setjmp(env) /* implementation-defined */

Sauvegarde le contexte d'exécution courant dans une variable env de type std::jmp_buf. Cette variable peut ensuite être utilisée pour restaurer le contexte d'exécution courant par la fonction std::longjmp. C'est-à-dire que lors d'un appel à la fonction std::longjmp, l'exécution continue au site d'appel particulier 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 entière de if, switch, while, do-while, for.

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

2. un opérande d'un opérateur relationnel ou d'égalité, l'autre opérande étant une expression constante entière, l'expression résultante étant l'expression de contrôle entière 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 étant l'expression de contrôle entière de if, switch, while, do-while, for.

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

4. l'expression entière d'une instruction d'expression (éventuellement convertie en void).

   setjmp(env);
   

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

Lors du retour dans la portée de setjmp :

• tous les objets accessibles, les indicateurs d'état en virgule flottante et les autres composants de la machine abstraite ont les mêmes valeurs qu'au moment où 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