Статические переменные в шаблонных классах

[Dr.Yevhenius]

Доброй ночи!
Помогите, пожалуйста, правильно ли это:

Код:

template<typename T>
class foo
{
public:
    static int Stat;
};

1) будет существовать отдельно статическая переменная foo<T>::Stat, а также для каждого конкретного типа своя (например, foo<int>::Stat, foo<double>::Stat и т. д.);
2) при создании обьекта foo<int> значение foo<int>::Stat будет инициализировано значением foo<T>::Stat.

[Finch]

Вот код

Код:

#include <stdio.h>

template<typename T>
class foo
{
public:
    static int Stat;
};
template<typename T>
int foo<T>::Stat=0;

int main() {
	foo<int> a;
	printf("%d\n", a.Stat);
	foo<double> b;
	printf("%d\n", b.Stat);
	foo<int> c;
	printf("%d\n", c.Stat);
	b.Stat=1;
	c.Stat=3;
	printf("%d\n", a.Stat);
	printf("%d\n", b.Stat);
	printf("%d\n", c.Stat);
	
   return 0;
}

Вот вывод на печать

0
0
0
3
1
3

Выводы делай сам.

[Dr.Yevhenius]

Спасибо! =)

З.Ы. foo<T>::Stat - моя непростительная ошибка.

[npak]

Доброй ночи!
Помогите, пожалуйста, правильно ли это:
1) будет существовать отдельно статическая переменная foo<T>::Stat, а также для каждого конкретного типа своя (например, foo<int>::Stat, foo<double>::Stat и т. д.);
2) при создании обьекта foo<int> значение foo<int>::Stat будет инициализировано значением foo<T>::Stat.

Ваш шаблон объявил статическую переменную, но не определил её. Статическая переменная будет существовать только при условии её определения в .cpp файле. Статическая переменная будет инициализирована именно в точке определения.

Если хочется "магии" - чтобы статическая переменная определялась автоматически, можно использовать такой прием:

Код:

template<typename T>
class foo
{
public:
    static inline int& stat() { static int _storage; return _storage; }
};

Недостаток этого приема: вместо переменной используется функция. Например

Код:

 foo<T>::stat() = 10; 

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