gcc 4.5.1, SuSE Linux i686
Предположим, что мы имеем следующий код:
template<typename realT> class B
{
public:
B() {std::cout << "B()" << std::endl;}
};
template<typename realT> class A
{
public:
static B<realT> static_var;
};
template<typename realT> B<realT> A<realT>::static_var;
template<> B<float> A<float>::static_var;
template<> B<double> A<double>::static_var;
int main()
{
A<float> test;
return 0;
}
В этом случае у нас не будет выхода в stdout. Компилятор не будет генерировать код для инициализации float и двойной специализации класса A.
Но.. если мы будем менять инициализации следующим образом:
template<> B<float> A<float>::static_var = B<float>();
template<> B<double> A<double>::static_var = B<double>();
компилятор сгенерирует такой код, и у нас будет двойной "B()" на выходе.
Может кто-нибудь помочь мне с пониманием такого поведения?