Essential C++学习记录&笔记整理39(被参数化的类型，模板类（类模板）的定义，模板类型的参数处理）

终于tm的有时间看C++啦！断更了几天，终于开始向前探索了！
到了第六章，加油，奥里给！

前言

Template（模板）能根据用户指定的特定值或特定类型，自动产生一个函数或类。

被参数化的类型

为什么要有模板呢，举一个类的例子：
（假设已想好要定义BTnode类，用以存储结点数值，和左右孩子指针）

class string_BTnode{
public:
	//...
private:
	string _val;
	int _cnt;
	string_BTnode *lchlid;
	string_BTnode *rchild;

• 这是二叉树的结点定义。为了存储不同类型的值，我们必须还要实现不同的BT_node类，比如int_BTnode、double_BTnode类，这就很麻烦对吧
• 所以就有了template。template机制把“与类型相关的”和“独立于类型之外的两部分分离开来。
• 一些成员函数的操作行为，不会随着包含这些成员函数的类不同而不同，普通模板函数也是。详情请见我的这个博客——模板函数
• 在一个类模板中，与类型相关的部分会被抽取出来，成为一个或多个参数，举个例子:

template <typename valType>class BTnode;//类模板前置声明
//...
template<typename valType>
class BTnode{
pulic:
	//...
private:
	valType _val;
	int _cnt;
	BTnode *_lchild;
	BTnode *_rchild;
};

在这个类模板定义中，valType被用作一个占位符，其名称可以任意设定。类型参数可以用在实际类型的使用场合，比如上面的那个valType _val;，就是用类型参数来声明_val 所属类型

• 为了通过类模板来实例化一个类，必须在类模板名称之后，紧接一个尖括号并写上实际类型（比如说上面那个例子，这个实际类型来取代valType）
  举个例子：（格式记住！）

BTnode<int>bti;
BTnode<string>bts;

bti和bts代表两份BTnode类定义。

• 在类模板和类成员的定义中，可不用以模板参数列表进一步限定类模板，其他情况下要用参数列表限定类模板,
  就是template<typename elemType>class 类名{//...};
  举个例子：

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

当指定某个实际类型作为BinaryTree模板类的参数，如：BinaryTree<string>st;
指针_root指向一个结点值类型为string的BTnode类类对象，如果是BinaryTree<int>it;
指针_root指向一个结点值类型为int的BTnode类类对象（
BTnode模板类和BinaryTree模板类配合使用，所以这两个类要建立friend关系，如下：

template<typename Type>
class BinaryTree;//BinaryTree类的前置声明
template<typename valType>
class BTnode{
	friend class BinaryTree<valType>
	//...
};

模板类的定义

• 给模板类定义一个内联成员函数，如同给非模板类定义一个内联成员函数一样。注意在类主体外，类模板的内联成员函数定义语法是这样：

template<typename elemType>
inline BinaryTree<elemType>::BinaryTree() : _root(0){}
//注意这个类模板的内联成员函数是带成员初始化列表的构造函数

在类作用域运算符出现后，其后所有东西都被视为类定义范围内，比如：

BinaryTree<elemType>::
BinaryTree()

上述例子中，第二次出现的BinaryTree被视为类定义范围内，因为在类作用域运算符出现后，所以不需要加template<typename elemType>来限定，而第一次出现的BinaryTree前需要加template<typename elemType>

模板类型参数的处理

• 处理模板类型的参数时，无法知晓用户实际要用的类型是否为语言内置类型
• 所以实际处理模板类型的参数时，不论类型时内置类型还是class（类）类型，都可能被指定为模板类的实际类型。所以有了一个规则如下👇
• 规则：将所有的模板类型参数视为class类型处理
• 于是，模板类的实际类型参数，声明为const 类模板类的实际类型名 &参数名
  举个例子关于模板类型参数的处理：

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

这样的话当用户给valType这个模板类型指定一个class类型时，
可保证程序效率最佳！这就是为什么会有上面那个规则！

• 上面是一个带成员初始化列表的构造函数定义。举一个定义BTnode类类对象的例子（将valType指定为内置类型int）：

BTnode<int>btni(42);

为什么采用成员初始化列表的形式来初始化模板类类数据成员 _val而非默认构造函数形式（即_val=val;）呢
（PS：这个例子，很好说明成员初始化列表形式的模板类类构造函数的优点（让程序效率最佳的原因之二））
因为如果采用默认构造函数形式初始化类数据成员，首先尖括号内的类型（定义模板类类对象时比如上面那个BTnode<int>btni(42)）如果是class类型，会首先调用class的默认构造函数作用于类数据成员身上，其次默认构造函数函数体内以拷贝赋值运算符将const class类型（名） &类型的形参复制给_val，这样就浪费了很多时间和空间，程序效率就下来了
而如果用成员初始化列表的形式来初始化模板类类数据成员，就一个步骤，拷贝构造函数把const class类型（名） &类型的形参复制给_val

• 所以，不论传值方式进行class类型的形参参数传递，还是构造函数体内给模板类类型的数据成员赋值，都没有错，但是会花费很多时间，使程序效率降低。