В классе-шаблоне, конечно, разрешено объявлять и статические методы, и статические поля — мы уже делали это, определяя шаблон для подсчета объектов (см. листинг 11.13). Однако нужно учесть, что каждая конкретизация обладает собственной копией статических членов. Это естественно, так как при разных инстанцированиях получаются фактически разные конкретные классы. Рассмотрим простой пример — напишем простой класс-шаблон со статическими полями и статическим методом для вывода на экран (листинг 13.16). Подключать его к другим модулям программы сначала будем в соответствии с моделью включения.
Листинг 13.16. Класс-шаблон со статическими элементами
//
#ifndef StaticField
#define StaticField
#include <iostream>
template <class T>
class Static
{ static T t:
static int count; public:
Static (){++count; } -Static (){--count; } static void print(T x
-файл StaticField.h
// зависимое имя
// независимое имя
// конструктор считает объекты
// деструктор
= t);
}:
template <class T> int Static<T>::count template <class T> T Static<T>::t = T() template <> int Static<int>::t = 55; template <> double Static<double>::t = template <class T> void Static<T>::print(T x) { std::cout << x <<" "<< count; • t = x; }
#endif
= 0;
155;
// счетчик объектов
// определение t
// специализация t
// специализация t
// реализация метода
В классе определен счетчик объектов — статическое поле count. Это поле не зависит от параметра шаблона, тем не менее при его определении мы обязаны соблюдать синтаксис определения элементов класса-шаблона.
Определение статического поля t, тип которого зависит от шаблона, написано с инициализацией конструктора без аргументов Т (), хотя можно этого не делать, так как он и так будет вызван по умолчанию. Стандарт разрешает специализировать статические поля, что мы и проделали для аргументов intndouble. Специализаций статического поля вполне достаточно, чтобы компилятор смог инстан-цировать классы Static<int> и Static<double>. Соответственно, для каждого из классов создаются статические поля-счетчики count; в первом классе инстан-цируется статическое поле static int t, которому присваивается значение 55, и статический метод voidprint(int).Bo втором классе инстанцируются статическое поле static double t, которое инициализируется значением 155.0, и статический метод void print (double).
Далее прописано обычное определение метода класса-шаблона, метод получает в качестве параметра по умолчанию статическое поле класса и как побочный эффект присваивает значение своего параметра статическому полю. |
Главная
Каталог файлов
