Uno de mis patrones favoritos es el patrón de diseño estatal. Responder o comportarse de manera diferente al mismo conjunto de entradas.
Uno de los problemas con el uso de declaraciones switch / case para máquinas de estado es que a medida que crea más estados, el switch / case se vuelve más difícil / difícil de leer / mantener, promueve el código espagueti desorganizado y cada vez es más difícil de cambiar sin romper algo. Encuentro que el uso de patrones de diseño me ayuda a organizar mejor mis datos, que es el objetivo de la abstracción. En lugar de diseñar su código de estado en torno al estado de donde proviene, en su lugar, estructure su código para que registre el estado cuando ingrese a un nuevo estado. De esa manera, efectivamente obtiene un registro de su estado anterior. Me gusta la respuesta de @ JoshPetit y he llevado su solución un paso más allá, tomada directamente del libro de GoF:
stateCtxt.h:
#define STATE (void *)
typedef enum fsmSignal
{
eEnter =0,
eNormal,
eExit
}FsmSignalT;
typedef struct fsm
{
FsmSignalT signal;
// StateT is an enum that you can define any which way you want
StateT currentState;
}FsmT;
extern int STATECTXT_Init(void);
/* optionally allow client context to set the target state */
extern STATECTXT_Set(StateT stateID);
extern void STATECTXT_Handle(void *pvEvent);
stateCtxt.c:
#include "stateCtxt.h"
#include "statehandlers.h"
typedef STATE (*pfnStateT)(FsmSignalT signal, void *pvEvent);
static FsmT fsm;
static pfnStateT UsbState ;
int STATECTXT_Init(void)
{
UsbState = State1;
fsm.signal = eEnter;
// use an enum for better maintainability
fsm.currentState = '1';
(*UsbState)( &fsm, pvEvent);
return 0;
}
static void ChangeState( FsmT *pFsm, pfnStateT targetState )
{
// Check to see if the state has changed
if (targetState != NULL)
{
// Call current state's exit event
pFsm->signal = eExit;
STATE dummyState = (*UsbState)( pFsm, pvEvent);
// Update the State Machine structure
UsbState = targetState ;
// Call the new state's enter event
pFsm->signal = eEnter;
dummyState = (*UsbState)( pFsm, pvEvent);
}
}
void STATECTXT_Handle(void *pvEvent)
{
pfnStateT newState;
if (UsbState != NULL)
{
fsm.signal = eNormal;
newState = (*UsbState)( &fsm, pvEvent );
ChangeState( &fsm, newState );
}
}
void STATECTXT_Set(StateT stateID)
{
prevState = UsbState;
switch (stateID)
{
case '1':
ChangeState( State1 );
break;
case '2':
ChangeState( State2);
break;
case '3':
ChangeState( State3);
break;
}
}
statehandlers.h:
/* define state handlers */
extern STATE State1(void);
extern STATE State2(void);
extern STATE State3(void);
statehandlers.c:
#include "stateCtxt.h:"
/* Define behaviour to given set of inputs */
STATE State1(FsmT *fsm, void *pvEvent)
{
STATE nextState;
/* do some state specific behaviours
* here
*/
/* fsm->currentState currently contains the previous state
* just before it gets updated, so you can implement behaviours
* which depend on previous state here
*/
fsm->currentState = '1';
/* Now, specify the next state
* to transition to, or return null if you're still waiting for
* more stuff to process.
*/
switch (fsm->signal)
{
case eEnter:
nextState = State2;
break;
case eNormal:
nextState = null;
break;
case eExit:
nextState = State2;
break;
}
return nextState;
}
STATE State3(FsmT *fsm, void *pvEvent)
{
/* do some state specific behaviours
* here
*/
fsm->currentState = '2';
/* Now, specify the next state
* to transition to
*/
return State1;
}
STATE State2(FsmT *fsm, void *pvEvent)
{
/* do some state specific behaviours
* here
*/
fsm->currentState = '3';
/* Now, specify the next state
* to transition to
*/
return State3;
}
Para la mayoría de las máquinas estatales, esp. Máquinas de estados finitos, cada estado sabrá cuál debería ser su próximo estado y los criterios para la transición al siguiente estado. Para diseños de estado sueltos, este puede no ser el caso, de ahí la opción de exponer la API para estados de transición. Si desea más abstracción, cada controlador de estado puede separarse en su propio archivo, que son equivalentes a los controladores de estado concretos del libro GoF. Si su diseño es simple con solo unos pocos estados, entonces tanto stateCtxt.cy statehandlers.c pueden combinarse en un solo archivo para simplificar.
