C ++ 11 — Как я могу сделать автомат / кодирование конечного автомата в C ++?

Я использовал его на другом языке программирования, и это очень полезно.

Я не могу найти ничего об этом для C ++.

Давайте, например, возьмем следующий код:

void change();

enum
{
end = 0,
gmx
}

int
gExitType;

int main()
{
gExitType = end;
SetTimer(&change, 10000, 0);
return 0;
}

void ApplicationExit()
{
switch (gExitType)
{
case end:
printf("This application was ended by the server");
case gmx:
printf("This application was ended by the timer");
}
::exit(0);
}

void change()
{
gExitType = gmx;
ApplicationExit();
}

Это как то, как мы бы это делали в C ++, но при использовании конечного автомата / автоматов я мог бы сделать что-то подобное на другом языке:

void change();

int main()
{
state exitType:end;
SetTimer(&change, 10000, 0);
return 0;
}

void ApplicationExit() <exitType:end>
{
printf("This application was ended by the server");
}

void ApplicationExit() <exitType:gmx>
{
printf("This application ended by the timer");
}

void change()
{
state exitType:gmx;
ApplicationExit();
}

По моему мнению, это действительно элегантный способ достижения цели.
Как бы я сделал это в C ++? Этот код, кажется, не работает (очевидно, поскольку я не могу найти ничего автоматов, связанных с C ++)

Чтобы уточнить мое мнение:

Так каковы преимущества использования этой техники? Ну, как вы можете ясно видеть, код меньше; Конечно, я добавил перечисление в первую версию, чтобы сделать примеры более похожими, но функции ApplicationExit явно меньше. Это также намного более явно — вам не нужны большие операторы switch в функциях для определения того, что происходит, если вы хотите, вы можете поместить разные ApplicationExits в разные файлы для независимой обработки разных наборов кода. Он также использует меньше глобальных переменных.