C++ статические переменные без ссылок класса

Question

В следующей программе «Здесь» печатается:

#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;} 

В следующей программе «Здесь» не печатается:

#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;} 

В обоих случаях база никогда ссылки. Единственное различие заключается в том, что во втором случае это шаблонный класс. Может ли кто-нибудь объяснить мне, почему это происходит. Я использую VS 2012.

Answer 1

В обоих случаях база никогда не ссылается.

И именно по этой причине вы не видите ничего, что печатается на стандартном выходе.

Определение статического элемента данных шаблона шаблона не создается, если вы не используете этот элемент данных; аналогичные функции-члены, создаются экземпляры статических данных шаблона класса по запросу.

Это указано в пункте 14.7.1/1 C++ 11 Стандарт на:

[...] неявной конкретизацией шаблона класса специализации вызывает неявную экземпляров деклараций, но не от определений или аргументов по умолчанию, от функций-членов класса, классов-членов, облачных имен элементов, статических данных-членов и шаблонов-членов. [...]

Поскольку ваш код клиента никогда не ссылается на Base<>::temp, его не нужно создавать и инициализировать.

---

Как примечание стороны, эта подпись:

void main() 

не действительны (стандарт) C++. Если вы хотите написать переносимый код, возвращаемый тип main() всегда должен быть int.

Answer 2

Вы не можете создать переменную неопределенного типа, который кажется вам делать с линии:

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

Вы не можете выделить переменную неопределенного типа. Что вам нужно написать что-то вроде:

Base<int>::temp = value; 

причины будет отличаться переменная выделяется для каждого типа при условии, так что вы не можете иметь общую статическую переменную для шаблона класса. У вас будет отдельная переменная для каждого типа, который вы создаете вместо шаблона.

Для downvoters Вот полный пример:

#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; 
} 

Он печатает 2 3, который означает, что вы не можете иметь одну переменную для всех классов, которые вы будете создать экземпляр шаблона.

Answer 3

В первом случае, вы не создаете экземпляр Base, но вы называете статической функции:

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

Во втором случае, вы никогда не создать экземпляр template:

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

Вы может явно создать шаблон класса Base, как с:

template class Base<int>; 

И тогда вы увидите «Здесь».