如何在具有不同命名空间的派生 C++ 类中初始化模板静态成员

Question

我有以下基类：

 namespace n1 {

    template <class T, typename A>
    class FSM
    {
      protected:
        typedef void (T::*pfun)();
        typedef std::map<A, pfun > transition_table_t;
        static transition_table_t _transition_table; 
    };

    } // namespace n1

以及下面的一组宏来定义派生类字段中的静态成员

#define BEGIN_TRANSITION_MAP(class_type, state_type) \
template <>  std::map< state_type, class_type::*pfun >  FSM<class_type, state_type>::_transition_table= {

#define TRANSITION_ENTRY(state, action) \
{state, action},

#define END_TRANSITION_MAP \
};

现在，在另一个cpp 文件中，我定义了下一个派生类：

namespace n1{
    namespace n2{
    namespace n3{

    enum state{
        state1,
        state2,
    };

    class derive : public FSM<derive, state>
    {
        friend class FSM<derive, state>;
        void event_a();
        void event_b();
    };

    BEGIN_TRANSITION_MAP(n2::n3::derive, n2::n3::state) 
    TRANSITION_ENTRY(n2::n3::state1, &n2::n3::derive::event_a)
    TRANSITION_ENTRY(n2::n3::state2, &n2::n3::derive::event_b)
    END_TRANSITION_MAP

    }//namespace n3
    }//namespace n2
}//namespace n1

这段代码在g++ 4.7和c++11下编译正常。

我想写同样的，但不做派生类中的基类friend，也不需要在宏中指定所有的命名空间。比如：

namespace n1{
    namespace n2{
    namespace n3{

    enum state{
        state1,
        state2,
    };

    class derive : public FSM<derive, state>
    {
        void event_a();
        void event_b();   
    };

    BEGIN_TRANSITION_MAP(derive, state) 
    TRANSITION_ENTRY(state1, &derive::event_a)
    TRANSITION_ENTRY(state2,&derive::event_a)
    END_TRANSITION_MAP

    } //namespace n3
    } //namespace n2
} //namespace n1

这可能吗，还是有更好的方法来解决这个问题？

Answer 1

只在派生类中定义转换表。然后使用派生的::transition_table 从基类中引用它。这被称为奇怪重复的模板模式（google it）。

template <typename derived>
class FSM
{
public:
  typedef std::map<state_type, event_type> transition_table_t;
  // do not define transition_table here

  void function()
  {
    // use transition table of derived type
    derived::transition_table.do_something();
  }
};

class Derived : public FSM<Derived>
{
public:
  static transition_table_t transition_table;
};