我为我的FSM实现编写了以下基础代码：
template <typename... Ts>
struct BaseState {
    template <typename T>
    static bool canTransition() {
        if constexpr((std::is_same_v<T, Ts> || ...)) return true;
        return false;
    }
};
template <typename... Ts>
struct StateMachine {
    std::variant<Ts...> active;
    template <typename T>
    bool activate() {
        const bool canTransition = std::visit([](auto&& arg) { return arg.template canTransition<T>(); }, active);
        if (!canTransition) return false;
        std::visit([](auto&& arg) { return arg.template onExit<T>(); }, active);
        active.template emplace<T>();
        
        return true;
    }
};
struct B;
struct A : BaseState<B> {
    template <typename T>
    void onExit() {}
    template <>
    void onExit<B>() { std::cout << "A -> B" << std::endl; }
};
struct B : BaseState<> {
    template <typename T>
    void onExit() {};
};
int main() {
    StateMachine<A, B> sm;
    sm.activate<B>(); // A -> B
    sm.activate<A>(); // 不应该切换状态
}
'onExit'成员方法允许我基于新状态类型执行一些操作。
我希望根据'onExit'的特化自动推断A和B的模板参数，这样我就不需要手动指定所有状态可以过渡到的特定状态。
我还考虑将'template <typename T> void onExit() {}'的定义移动到'BaseState'类中，但是似乎不能专门化继承的模板成员方法。
作为替代方案，我考虑从'onExit'方法中返回布尔值，指示是否应转换状态，如下所示：
struct BaseState {};
template <typename... Ts>
struct StateMachine {
    std::variant<Ts...> active;
    template <typename T>
    bool activate() {
        const bool canTransition = std::visit([](auto&& arg) { return arg.template onExit<T>(); }, active);
        if (!canTransition) return false;
        active.template emplace<T>();
        
        return true;
    }
};
struct B;
struct A : BaseState {
    template <typename T>
    bool onExit() { return false; }
    template <>
    bool onExit<B>() { std::cout << "A -> B" << std::endl; return true; }
};
struct B : BaseState {
    template <typename T>
    bool onExit() { return false; }
};
int main() {
    StateMachine<A, B> sm;
    sm.activate<B>(); // A -> B
    sm.activate<A>(); // 不应切换状态
}
然而，我不太喜欢手动指定返回值的想法。
我有哪些选择？

template <typename T>
bool activate() {
const bool transitioned = std::visit([](auto&& arg) { return arg.template transition<T>(); }, active);
if (transitioned) {
active.template emplace<T>();    
return true;
}
return false;
}