Я видел несколько разных подходов к реализации FSM.
Переключение регистра
Таблицы указателей функций
объектно-ориентированное программирование
Мой вопрос заключается в том, каковы основные факторы, которые я должен учитывать при выборе одной реализации над другой. В моем случае у меня только 4 состояния с максимум 2 переходами в каждом состоянии. Моя главная цель — сделать так, чтобы реализация была легко читаемой, чтобы кто-то другой мог ее изменить.
Спасибо
Пожалуйста, посмотрите на Метод на основе Реализация FSA
// abstract FSA
template<class C, typename T>
struct fsa {
struct state_t {
typedef state_t (C::*type)(T);
inline state_t(type f) : state(f) {}
type state;
};
fsa(state_t init) : state(init) {}
inline bool next(T val) {
state = (static_cast<C*>(this)->*state.state)(val);
return state.state != nullptr;
}
private:
state_t state;
};
//concrete FSA implementation
struct myfsa : fsa<myfsa,char> {
inline myfsa() : fsa<myfsa, char>(&myfsa::start) {}
state_t start(char) {
std::cout << "start" << std::endl;
return &myfsa::state1;
}
state_t state1(char) {
std::cout << "state1" << std::endl;
return &myfsa::state2;
}
state_t state2(char) {
std::cout << "state2" << std::endl;
return nullptr;
}
char get() { return ' '; /*TODO*/ }
void run() {
while(next(get()));
}
};