Automate fini en C avec switch

Ça ressemble vaguement à une technique que j’avais vu en C, dont je ne retrouve malheureusement plus le lien.

L’idée est grosso modo la même : plutôt que d’avoir des données qui indiquent l’état, on a une variable qui indique le prochain code à exécuter. Ça se fait avec un switch :

void
machine(struct event *ev)
{
 static int state = INIT;
 switch (state) {
 ...
 case A:
 ...
 if (condition_X(ev))
 state = X;
 ...
 return;
 case B:
 ...
 ...
 }
}

Il faut savoir qu’un switch optimisé se résoud avec une jump table. Ainsi la variable state représente bien la partie du code qui va être exécutée au prochain appel de la fonction. On peut faire avec un pointeur de fonction aussi bien sûr.

Mort aux cons !