Question

我尝试使用模板元编程技术开发一个有限状态机，但我遇到了一个必须在编译时填充的地图，这个代码（gcc 4.8 c ++ 11）：

    #include <functional>
    #include <type_traits>
    #include <iostream>
    #include <unordered_map>
    namespace NSStateMachine {
    //Definicion de estado unidad

    template<class FSM, class From, class Event, class TO, bool(FSM::* transicion_fn)(const Event &)>
    struct Transition
    {
        using FSM_TYPE=FSM;
        using FROM_STATE= From;
        using EVENT_TYPE= Event;
        using TO_STATE_TYPE=TO;
        using EVENT_BASE_TYPE = typename Event::BASE_TYPE;

        static  bool do_transition(FSM_TYPE& currenState, EVENT_BASE_TYPE const& aEvent)
        {
            return (currenState.*transicion_fn)(static_cast<EVENT_TYPE const&>(aEvent));
        }
    };

    //States
    template<class Transition, const Transition * const TransitionPtr, class ... Args>
    class StateMachine
    {
      public:
        StateMachine():transitionMap{{static_cast<typename Transition::TransitionID>(*TransitionPtr::TransitionID_Value),nullptr}}
        {}
        template<class Event>
        bool evalEvent(const Event & aEvent)
        {
            std::cout<<"evento recibido"<<std::endl;
        }

        std::unordered_map<typename Transition::TransitionID, const Transition * const > transitionMap ;

    };
    }
int main()
{
//it doesnt compile, i canoot create the state machine
return 0;
}

编译错误：

 error: 'TransitionPtr' is not a class, namespace, or enumeration
             StateMachine():transitionMap{{static_cast<typename Transition::TransitionID>(*TransitionPtr::TransitionID_Value),nullptr}}


                                                                       ^

问题似乎在行

transitionMap{{static_cast<typename Transition::TransitionID>(*TransitionPtr::TransitionID_Value),nullptr}}

我将尝试使用自动构造函数初始化unorderer_map。我已将此Transition :: TransitionID定义为由模板参数

表示的类中定义的类变量

我真的很感激任何帮助。谢谢！！！！

我已经使用默认类型进行测试，它可以编译并使用

Answer 1

错误信息非常清楚。 TransitionPtr是一个指针，而不是一个类型，因此您无法在::的{{1}}左侧使用它。

另外，我认为你不会在编译时找到一种初始化TransitionPtr::TransitionID_Value的方法，因为它没有unordered_set构造函数，并且通常几乎肯定会使用堆分配。 / p>

c ++ 11模板元编程在编译时构造一个std :: unorderer_map

1 个答案: