variabili statiche C++ della classe senza riferimenti

Question

Nel seguente programma "Qui" è stampata:

#include <iostream> 
class Base 
{ 
    static bool temp; 
    static bool initTemp() 
    {std::cout<<"Here\n";return true;} 
}; 

bool Base::temp = Base::initTemp(); 

class Derived : public Base 
{}; 

int main() {int a;std::cin>>a;} 

Nel seguente programma "Qui" non viene stampata:

#include <iostream> 
template <class T> 
class Base 
{ 
    static bool temp; 
    static bool initTemp() 
    {std::cout<<"Here\n";return true;} 
}; 

template <class T> 
bool Base<T>::temp = Base<T>::initTemp(); 

class Derived : public Base<int> 
{}; 

int main() {int a;std::cin>>a;} 

In entrambi i casi Base non è mai riferimento. L'unica differenza è che nel secondo caso è una classe template. Qualcuno può spiegarmi perché questo comportamento si verifica. Sto usando VS 2012.

Answer 1

In entrambi i casi Base non viene mai referenziato.

E questo è esattamente il motivo per cui non si vede nulla di essere stampato sullo standard output.

La definizione del membro di dati statici di un modello di classe non viene creata un'istanza a meno che non si utilizzi tale membro dati; come le funzioni membro, le definizioni dei membri di dati statici di un modello di classe vengono istanziate su richiesta.

Questo è specificato al paragrafo 14.7.1/1 della C++ 11 standard:

[...] L'istanziazione implicita di una specializzazione template di classe fa sì che l'implicita esemplificazione delle dichiarazioni, ma non delle definizioni o degli argomenti predefiniti, delle funzioni membro classe, classi membro , elenchi membri con ambito, membri dati statici e modelli membri. [...]

Dal momento che il codice del client non si riferisce a Base<>::temp, non c'è bisogno di costruire e inizializzarlo.

---

Come nota a margine, questa firma:

void main() 

non è valido (standard) C++. Se si desidera scrivere codice portatile, il tipo di reso di main() deve sempre essere int.

Answer 2

Non è possibile creare variabili di classe indefinita, che ti sembra di fare con la linea:

template <class T> 
bool Base<T>::temp = Base<T>::initTemp(); 

Non si può allocare variabile di tipo non definito. Quello che vi serve è scrivere qualcosa di simile:

Base<int>::temp = value; 

di causa ci saranno diverse variabili assegnato per ogni tipo di condizione, quindi non si può avere variabile statica comune per una classe template. Avrai invece una variabile separata per ciascun tipo per istanziare il tuo modello.

Per downvoters qui è completo esempio:

#include <iostream> 

template<class T> 
class X 
{ 
public: 
    static int v; 
}; 

template<class T> 
int X<T>::v = 0; 

int main() 
{ 
    X<int>::v = 3; 
    X<char>::v = 2; 

    using namespace std; 
    cout << X<char>::v << endl << X<int>::v; 
} 

esso stampa 2 3 che significa che non si può avere un'unica variabile per tutte le classi si istanzia il modello.

Answer 3

Nel primo caso, non è un'istanza Base, ma si fa chiamare la funzione statica:

bool Base::temp = Base::initTemp(); 

Nel secondo caso, non si crea un'istanza della template:

template <class T> 
bool Base<T>::temp = Base<T>::initTemp(); 

È può istanziare esplicitamente il modello Base classe, come con:

template class Base<int>; 

E poi vedrai "Qui" stampato.