【C++ Primer】C++模板机制

模板时泛型编程的基础：
（1） 模板定义必须以template开始，之后接模板的形参列表且此列表不为空
（2） 可用typename或class定义模板的类型，两者没有区别。关键字typename是作为标准C++的组成部分加入到C++中的，因此旧的程序更有可能只用关键字class。
1、模板形参的注意事项：
（1）、模板形参遵循名字屏蔽规则
（2）、模板的类型不能重复定义，如template <class T, class T> //T重复定义
（3）、编写泛型代码的两个原则：
     a、模板的形参是const引用
     b、函数体中的测试只用 “<” 比较，可以减少对函数类型的比较
2、实例化：
（1） 实例化时，形参、实参类型必须匹配

	template <typename T>
	T compare(const T &a, const T &b) return a>b? a:b;

	void main()
	{
		int a=1;double b=3;
		cout<<compare(a,b);
	}

解决方法：
a、 强制类型转换

      cout<<compare(a,int(b)); 

或 

     cout<<compare(double(a),b);

b、 修改函数模板

（2） 显示实参和函数模板的指针

	template <typename T>
	int compare(const T &,const T &);

	void func(int(*))(const string &,const string &);
	void func(int(*))(cons tint &, const int &);

而func(compare)时，编译器无法判断出模板函数compare的类型，所以报错。
解决方法：
可以通过使用显式模板实参能够消除二义性

     func(compare<int>) 

或 

     func(compare<string>)

（3） 指定显式实参
假如设计一个加法函数模板，函数模板参数类型可以不同，但返回类型是参数类型的最高类型。
template <typename T,typename U>
则，应该为:

       ? sum(const T &,const U &)

解决方法：
a、 强制sum的调用者将较小的类型强制转换为希望作为结果使用的类型

	int i; short s;
	sum(static_cast<int>(s),i); //即int sum(int,int)

b、 指定返回类型的一种方式是指定你第三个模板形参，它必须由调用者显式指定

	template <typename T1,typename T2, typename T3>
	T1 sum(const T2 &,const T3 &);

没有实参类型可用于推断T1的类型时，调用者必须在每次调用sum时为该形参显式提供实参。
用尖括号” <>”括住的列表中指定显示模板实参。显式模板实参从左到右与对应模板形参相匹配。

         eg: long val3 = sum<long>(i,lng) //即long sum(int ,long)