Idk about the best, but, this[1] implementation of hierarchical state machines is beautiful. It uses a few different template metaprogramming tricks to resolve state transitions at compile time! It's truly beautiful.

[1] https://accu.org/journals/overload/12/64/heinzmann_252/