C++ 模板说明

凡是模板都应在定义前加模板说明以避免编译器无法识别

函数模板:

1. 函数模板在调用时可以自动类型推导
2. 普通函数可以进行隐式类型转换,而模板函数为严格类型匹配.
3. 函数模板可以像普通函数一样被重载
4. C++编译器优先考虑普通函数,如果模板可以产生更好匹配则选择模板
5. 可以通过<>空模板实参列表限定编译器只能通过模板匹配

函数模板的实现:

1. 通过调用函数模板时的参数类型实例化生成模板函数,对可调用的函数进行参数比对,编译器选择最匹配的函数执行

2. 其中模板会被编译两次,第一次仅编译模板,第二次在对函数模板进行调用时生成具体函数后编译

这里有个问题,由于C++编译机制cpp独立编译,会导致类外cpp定义的模板不会被调用生成具体函数,导致链接器找不到函数定义报错,解决办法为引入cpp文件

类模板:

1. 类模板在调用时必须显性指定类型

2. 在类外定义时编译器遇到声明不进行编译,生成函数符号,在连接阶段再找函数定义,找不到则报错找不到的外部符号/无法解析的外部命令

3. 类外定义时类模板需要参数列表以指定成员函数所属类

4. 类模板不要滥用友元,类外定义同成员函数,但类内声明比较麻烦:

a).在函数声明前加模板声明可以(但在linux环境会报错),

	Template<class T>
	Class Test
	{
	Public:
		Template<class T>
		Friend void printf (Test<T>& P);//普通友元函数
	}

b). 或第二种在形参列表前加模板参数列表也可以(win与linux),

	Friend ostream& operator<< <T>(ostream& out,Test<T>& P); 
	//友元函数模板，友员尽量只写流操作符重载

 c). 第三种在类前声明类模板与函数模板:
 
	Template<class T> class Test;
	Template<class T> void printf(Test<T>& p);

5. 类模板的static与普通类一致有同类型共享的特性
6. 类模板在派生时,子类从模板类继承时需指明父类的数据类型,以确定固定大小的内存块，分配内存。