【C++】类模板（一）被参数化的类型、类模板的定义、模板类型参数的处理

被参数化的类型

• 类型的相关信息可从模板定义中剥离，由用户使用时再指定。

• template机制帮助我们把“与类型相关”和“独立于类型之外”的两部分分离开来；

• 在一个类模板中，与类型相关的部分会被抽取出来，成为一个或多个参数：

template<typename valType>
class BTnode{
pulic:
	//...
private:
	valType _val;
	int _cnt;
	BTnode *_lchild;
	BTnode *_rchild;
};

//类模板名称+尖括号<实际类型>
BTnode<int>bti;
BTnode<string>bts;

• 在类模板和类成员的定义中，可不用以模板参数列表进一步限定类模板，其他情况下要用参数列表限定类模板:

template <typename elemType>
class BinaryTree{
public:
	//...
private:
	//BTnode必须以模板参数列表加以限定
	BTnode<elemType> *_root;
}

//某个实际类型作为BinaryTree模板类的参数
BTnode<int>st;
BTnode<string>it;

//BTnode模板类和BinaryTree模板类配合使用
template<typename Type> class BinaryTree;//前置声明
template<typename valType> class BTnode
{
	friend class BinaryTree<valType>
	//...
};

类模板的定义

在类主体外，类模板成员函数定义语法如下：

template<typename elemType>
inline BinaryTree<elemType>::BinaryTree() : _root(0){}

• 在类作用域运算符出现后，其后所有东西都被视为类定义范围内；
  第二次出现的BinaryTree名称就不需要加template<typename elemType>来限定：

BinaryTree<elemType>::		//在class定义范围之外
BinaryTree()				//在class定义范围之内

模板类型参数的处理

实际运用中，不论内置类型还是class类型，都可能被指定为类模板的实际类型。

规则：将所有的模板类型参数视为class类型处理。

template<typename valType>
inline BTnode<valType>::BTnode(const valType &val)
:_val(val)
{
	//将valType视为class类型
	_cnt = 1;
	_lchild=_rchild = 0;
}