在类模板中,也可以定义静态数据成员。例如:
template<class Type>
class QueueItem
{
public:
// ....
private:
// ...
static QueueItem *free_list ; //静态数据成员
static const unsigned QueueItem_chunk ; //静态数据成员
// ...
};
静态数据成员的模板定义必须出现在类模板之外。因此,模板定义以关键字template开始,后面是类模板参数表<class Type>。静态数据成员的名字前需加上前缀QueueItem<Type>::,表明该成员属于类模板QueueItem。例如:
/*
为每个QueueItem实例生成相关的free_list
并把它初始化为0
*/
template<class Type>
QueueItem<Type>* QueueItem<Type>::free_list = 0 ;
/*
为每个QueueItem实例生成相关的QueueItem_chunk
并把它初始化为24
*/
template<class Type>
const unsigned int QueueItem<Type>::QueueItem_chunk = 24 ;
注意一点:在模板类QueueItem中声明指针变量free_list时,用的是类名QueueItem,在模板类QueueItem外定义时,用的是模板类名QueueItem<Type>。注意这一点的差别。
只有当程序使用静态数据成员时,它才会从模板定义中被真正实例化。类模板的静态成员本身就是一个模板,静态数据成员的模板定义不会引起任何内存的分配。只有对静态数据成员的某个特定的实例才会分配内存。每个静态数据成员实例都与一个类模板实例相对应。因为模板参数表中的参数是一样的。因此,一个静态数据成员的实例在被引用时,总是要通过一个特定的类模板实例。例如:
//错误:QueueItem不是一个真正的实例
int ival0 = QueueItem::QueueItem_chunk ;
int ival1 = QueueItem<string>::QueueItem_chunk ;
int ival2 = QueueItem<int>::QueueItem_chunk ;