Как строить безопасный state machine на variant+visit?

Состояния как типы в variant, переходы чистыми функциями, исчерпывающий visit, тесты всех пар.

Разбор

• Нет забытых case.
• Логирование переходов.
• Без скрытых глобалов.
• Подходит без исключений.

Итог

variant-SM делает неполноту видимой компилятору.