mp::fsm
Implementation of Finite State Machine presented by me on CppCon 2018 in a talk Effective replacement of dynamic polymorphism with std::variant.
It uses std::variant and std::optional under the hood.
How to?
FSM works with any types defining events. State is represented by any type too. All states have to be put into the variant and the initial state should appear the first on the list. Both states and events can be stateful.
#include <mp/fsm.h>
struct event_connect {};
struct event_disconnect {};
struct state_idle {};
struct state_connected {};
using state = std::variant<state_idle, state_connected>;
class sample_fsm : public mp::fsm<sample_fsm, state> {
public:
template<typename State, typename Event>
auto on_event(State&, const Event&) { return std::nullopt; }
auto on_event(state_idle&, const event_connect&) { return state_connected{}; }
auto on_event(state_connected&, const event_disconnect&) { return state_idle{}; }
};
int main()
{
sample_fsm fsm;
fsm.dispatch(event_connect());
fsm.dispatch(event_disconnect());
}
Building, testing and installation
For detailed information on project compilation, testing and reuse please refer to INSTALL.md.
Acknowledgements
The FSM design was inspired by:
- http://khuttun.github.io/2017/02/04/implementing-state-machines-with-std-variant.html
- http://mooooo.ooo/sumtypes-and-statemachines/
Thank you!
29 Mar 13, 2022
578 Dec 23, 2022
362 Jan 4, 2023
37 Aug 15, 2022
4 Oct 7, 2021
4 Sep 6, 2021
7 Aug 21, 2022
15 Jul 24, 2022
10 Oct 18, 2022
138 Dec 3, 2022
90 Oct 10, 2022
650 Dec 31, 2022
31 Dec 26, 2022
20 Dec 4, 2022
9 Aug 27, 2022