模板时泛型编程的基础:
(1) 模板定义必须以template开始,之后接模板的形参列表且此列表不为空
(2) 可用typename或class定义模板的类型,两者没有区别。关键字typename是作为标准C++的组成部分加入到C++中的,因此旧的程序更有可能只用关键字class。
1、模板形参的注意事项:
(1)、模板形参遵循名字屏蔽规则
(2)、模板的类型不能重复定义,如template <class T, class T> //T重复定义
(3)、编写泛型代码的两个原则:
a、模板的形参是const引用
b、函数体中的测试只用 “<” 比较,可以减少对函数类型的比较
2、实例化:
(1) 实例化时,形参、实参类型必须匹配
解决方法:
a、 强制类型转换
(2) 显示实参和函数模板的指针
而func(compare)时,编译器无法判断出模板函数compare的类型,所以报错。
解决方法:
可以通过使用显式模板实参能够消除二义性
(3) 指定显式实参
假如设计一个加法函数模板,函数模板参数类型可以不同,但返回类型是参数类型的最高类型。
template <typename T,typename U>
则,应该为:
a、 强制sum的调用者将较小的类型强制转换为希望作为结果使用的类型
没有实参类型可用于推断T1的类型时,调用者必须在每次调用sum时为该形参显式提供实参。
用尖括号” <>”括住的列表中指定显示模板实参。显式模板实参从左到右与对应模板形参相匹配。
(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)