Setjmp.h

Setjmp.h

Tipus	C header file (en)
Part de	C standard library, Biblioteca C POSIX i Biblioteca estàndard de C++
Característiques tècniques
Plataforma	C standard library

setjmp.h és una capçalera definida a la biblioteca estàndard C per proporcionar "salts no locals": flux de control que es desvia de la seqüència de trucada i retorn de subrutina habitual. Les funcions complementàries setjmp i longjmp proporcionen aquesta funcionalitat.^[1]

Un ús típic de setjmp / longjmp és la implementació d'un mecanisme d'excepció que explota la capacitat de longjmp per restablir l'estat del programa o del fil, fins i tot a través de diversos nivells de trucades de funció. Un ús menys comú de setjmp és crear una sintaxi semblant a les corrutines.^[2]

int
setjmp(jmp_buf env)

void
longjmp(jmp_buf env, int value)

setjmp desa l'entorn actual (l'estat del programa), en algun moment de l'execució del programa, en una estructura de dades específica de la plataforma (jmp_buf ) que es pot utilitzar en algun moment posterior de l'execució del programa per longjmp per restaurar l'estat del programa al desat per setjmp a jmp_buf. Es pot imaginar que aquest procés és un "salt" de tornada al punt d'execució del programa on setjmp va salvar l'entorn. El valor de retorn (aparent) de setjmp indica si el control ha arribat a aquest punt normalment (zero) o des d'una trucada a longjmp (no zero). Això condueix a un modisme comú: if( setjmp(x) ){/* handle longjmp(x) */}.^[3]

POSIX.1 no especifica si setjmp i longjmp guarden i restauren el conjunt actual de senyals bloquejats; si un programa utilitza el maneig de senyal, hauria d'utilitzar sigsetjmp / siglongjmp de POSIX.^[4]

La justificació del C99 descriu jmp_buf com un tipus de matriu per a la compatibilitat enrere; el codi existent fa referència a les ubicacions d'emmagatzematge jmp_buf pel nom (sense l'operador & address-of), que només és possible per als tipus de matriu.^[5]

L'exemple següent mostra la idea bàsica de setjmp. Allà, main() crida first(), que al seu torn crida second() . Aleshores, second() torna a saltar a main(), saltant la crida de printf() first() ) .

#include <stdio.h>
#include <setjmp.h>

static jmp_buf buf;

void second() {
 printf("second\n"); // prints
 longjmp(buf,1); // jumps back to where setjmp was called - making setjmp now return 1
}

void first() {
 second();
 printf("first\n"); // does not print
}

int main() {
 if (!setjmp(buf))
 first(); // when executed, setjmp returned 0
 else // when longjmp jumps back, setjmp returns 1
 printf("main\n"); // prints

 return 0;
}

Quan s'executa, el programa anterior sortirà:

second
main

Tingueu en compte que, tot i que es crida la subrutina first(), " first " mai s'imprimeix. " main " s'imprimeix com a instrucció condicional if (!setjmp(buf)) s'executa una segona vegada.