Инициализация статического члена-объекта

Question

Я пытаюсь реализовать шаблон для состояний машин в C++, но я не уверен, как обращаться с элементами статического объекта. Каждая машина состояний будет определяться ее переменными состояния и ее переходами (которые являются структурами). Например:

// stm.h 

template <class T> 
struct transition 
{ 
    ... transition relevant data depending on state variables T ... 
}; 

template <class T> 
class stm 
{ 
    T *stv; // state variables 
    static struct transition<T> *transitions; // I would like to have only one copy of transitions for stm's of type T 
    ... etc ... 
}; 

Теперь предположим, что я пытаюсь реализовать СтМ Foo:

// foo_defs.h 

struct foo_stv 
{ 
    char a; 
    int b; 
}; 

// foo_transitions.h 
// Note that I'm using a different file to keep everything in order 

#include "stm.h" 
#include "foo_defs.h" 

struct transition<struct foo_stv> foo_transitions[] = 
{ 
    { ... trans1 ... }, 
    ..., 
    { ... transN ... } 
}; 

// foo_stm.h 

#include "stm.h" 
#include "foo_defs.h" 
#include "foo_transitions.h" 

class foo_stm 
{ 
    stm<struct foo_stv> stm; 
    struct foo_stv stv; 
    ... other data ... 
}; 

Ok. Поэтому каждый экземпляр foo_stm должен иметь другой набор переменных состояния, но все экземпляры должны использовать одни и те же переходы. Вопрос в том, как мне определить/объявить stm<struct foo_stv>, чтобы использовать foo_transitions в качестве своего класса transitions участник?

Также приветствуются любые советы о соблюдении правил кодирования на C++, поскольку я исхожу из мира кодирования C и начинаю работать с некоторыми механиками C++.

EDIT: Просто чтобы очистить мой вопрос, я думаю, вы должны забыть о логике СтМа и сосредоточить внимание на следующем: Что такое правильный способ сделать что-то вроде ...

foo_stm::stm.transitions = foo_transitions; 

Answer 1

Все правого Я думаю, что то, что вы хотите сделать, это:

template <class T> 
class stm 
{ 
    T *stv; 
    static transition<T> *transitions; 
}; 

template<class T> 
transition<T>* stm<T>::transitions; //define static template member 

И потом:

//define static member for particular template instantiation 
template<> 
transition<foo_stv>* stm<foo_stv>::transitions = foo_transitions; 

class foo_stm 
{ 
    stm<struct foo_stv> stm; 
    struct foo_stv stv; 
    ... other data ... 
};