C++ CRTP, inicjalizacja pól statycznych

Question

Bry wieczór 

problem nietrywialny z następującym kodem:
 

template<class Object, class State>
class Base{
    static int statyczna;
    State * currentState;
public:

    static void doSomething()
    {
        statyczna++;
        statyczna -= 10;
    }

    Base(State* cState)
            :currentState (cState){}

    Base(){};

    ~Base(){};
};

template<class Object, class State> int Base<Object, State>::statyczna = 1;

enum class MyState{};

class NewClass : public Base<NewClass, MyState>
{
//....
};

int main()
{
    Base<NewClass, MyState>::doSomething();
    return 0;
}

Powyższy kod się kompiluje. Problem w tym że mam to rozbite na pliki. Jeśli przeniosę ciało metody statycznej do odrębnego cpp kompilator krzyczy Undefined reference dla tejże metody. Z kolei, jeśli jej ciało zostanie w pliku h, to dostaję Undefined reference dla wszystkich pól użytych w metodzie statycznej.

Co robić?  kolejność nazw plików w Cmakeu ma znaczenie? 

Answer 1

Jako mniej doświadczony od Ciebie to z tego co przeczytałem, to statyczne metody klas nie mogą zostać wywołane na rzecz któregokolwiek z obiektów z klasy. A po drugie, metody statyczne jako nieskojarzone z żadnym konkretnym obiektem klasy, mogą odwoływać się jedynie do statycznych danych składowych tej klasy. Definicja prawie słowo w słowo z książki, może o to chodziło w Twoim pytaniu.

Comments

Definicja wzorowa.  Wszystkich tych zasad przestrzegałem w kodzie.

---

W takim razie przykro mi, więcej nic nie jestem w stanie pomóc przyjacielu.

---

statyczne metody klas nie mogą zostać wywołane na rzecz któregokolwiek z obiektów z klasy.

Mogą, ale nie muszą. Ofc. nie ma to żadnego znaczenia czy wywołasz z obiektu (obj.staticMethod()) czy nie (Klasa::staticMethod()), ale... mogą. 

Answer 2

Jeśli przeniosę ciało metody statycznej do odrębnego cpp kompilator krzyczy Undefined reference dla tejże metody.

Bo szablony nie mogą być zdefiniowane w plikach cpp. 

Z kolei, jeśli jej ciało zostanie w pliku h, to dostaję Undefined reference dla wszystkich pól użytych w metodzie statycznej.

Jeśli robisz to tak jak jest w tym kodzie który wkleiłeś (tzn. definiujesz tą statyczną metode w definicji klasy, a definicja statycznego pola masz pod klasą), to nic dziwnego. Kompilator jeszcze nie widzi definicji statyczna, a ma kompilować metode korzystającą z niej.

Spróbuj tak (nie testowałem, ale myśle, że powinno działać):

/* To wszystko to header */
template<class Object, class State>
class Base{
    static int statyczna;
    State * currentState;
public:
 
    static void doSomething();
 
    Base(State* cState)
            :currentState (cState){}
 
    Base(){};
 
    ~Base(){};
};
 
template<class Object, class State> int Base<Object, State>::statyczna = 1;

template<class Object, class State> void Base<Object, State>::doSomething()
{
        statyczna++;
        statyczna -= 10;
}