目录
一.泛型编程
现在,我们要是想实现一个通用的交换函数,只能使用函数重载:
void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}
void Swap(double& left, double& right)
{
double temp = left;
left = right;
right = temp;
}
// ...
使用函数重载虽然可以实现,但是并不好:
①重载的函数只是类型不同,代码的复用率比较低,只要有新类型出现时,就需要增加对应的函数
②代码的可维护性比较低,一个出错可能导致所有的重载均出错
而在C++中,存在这样一个模具(给编译器一个模子,让编译器根据不同的类型利用该模子来生成代码),通过给这个模具填充不同材料(类型),来获得不同材料的铸件(生成具体类型的代码)。
这个就是泛型编程——模板
模板分为函数模板和类模板
注意:使用模板,不能分离编译
二.函数模板
1.概念
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参产生函数的特定类型版本
2.格式
template<class T1, class T2, ...... , class Tn>
也可以写成:template<typename T1, typename T2, ...... , class Tn>
返回值类型 函数名(参数列表){}
template<class T>
//template<typename T>
void Swap(T& left, T& right)
{
T tmp = left;
left = right;
right = tmp;
}
int main()
{
int a = 0, b = 1;
double c = 2.2, d = 3.3;
swap(a, b);
swap(c, d);
return 0;
}
注意:typename是用来定义模板参数的关键字,也可以使用class(不能用struct)
3.原理
函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型的模具,所以其实模板是将本来应该我们做的重复的事情交给了编译器
在编译器编译阶段,对应模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此
4.函数模板的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化
模板参数实例化分为: ①隐式实例化 ②显式实例化
①隐式实例化:让编译器根据实参推演模板参数的实际类型
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int main()
{
int a1 = 10, a2 = 20;
double d1 = 10.0, d2 = 20.0;
Add(a1, a2);
Add(d1, d2);
/*
该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型
通过实参a1将T推演为int,通过实参d1将T推演为double类型,但模板参数列表中只有一个T,
编译器无法确定此处到底该将T确定为int 或者 double类型而报错
注意:在模板中,编译器一般不会进行类型转换操作,因为编译器怕转化出问题
Add(a1, d1);
*/
// 此时有两种处理方式:1. 用户自己来强制转化 2. 使用显式实例化
Add(a1, (int)d1);
return 0;
}
②显式实例化:在函数名后的<>中指定模板参数的实际类型
如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成功,编译器会报错
// 模板参数--很多用法和函数参数是很像的
// 模板参数 -- 传递的是类型
// 函数参数 -- 传递的对象值
template<class T = char>
T* func(int n)
{
return new T[n];
}
int main()
{
// 函数模板显示实例化
int* p1 = func<int>(10);
double* p2 = func<double>(10);
char* p3 = func(10);
return 0;
}
5.模板参数的匹配原则
(1)一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
// 专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template<class T> T Add(T left, T right)
{
return left + right;
}
void Test()
{
Add(1, 2); // 与非模板函数匹配,编译器不需要特化
Add<int>(1, 2); // 调用编译器特化的Add版本
}
(2)对于非模板函数和同名函数模板,如果其他条件都相同,在调用时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数,那么将选择模板。
// 专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right)
{
return left + right;
}
void Test()
{
Add(1, 2); // 与非函数模板类型完全匹配,不需要函数模板实例化
Add(1, 2.0); // 模板函数可以生成更加匹配的版本,编译器根据实参生成更加匹配的Add函数
}
(3)模板函数不允许自动类型转换,但普通函数可以进行自动类型转换
三.类模板
1.格式
template<class T1, class T2, ...... , class Tn>
class 类模板名
{
// 类内成员
};
2.实例化
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类
// Vector是类名,Vector<int>才是类型Vector<int> s1;Vector<double> s2;
3.为什么要用类模板
我们不使用类模板时,需要这么写:
typedef int STDataType;
class Stack
{
public:
Stack(int capacity = 0)
{
_a = new STDataType[capacity];
_capacity = capacity;
_top = 0;
}
~Stack()
{
cout << "~Stack()" << endl;
delete[] _a;
_capacity = 0;
_top = 0;
}
void Push(STDataType x)
{}
private:
STDataType* _a;
int _top;
int _capacity;
};
int main()
{
Stack st1; // int
Stack st2; // double
return 0;
}
我们要用typedef,每次想要存不同类型的数据时,就更改typedef中对应的类型。
但是,如果我们想要同时实例化多个对象,并且每个对象要存不同类型的数据时,这时候typedef就没有作用了,这时候就需要使用类模板了
使用类模板:
template<class T>
class Stack
{
public:
Stack(int capacity = 0)
{
_a = new T[capacity];
_capacity = capacity;
_top = 0;
}
~Stack()
{
cout << "~Stack()" << endl;
delete[] _a;
_capacity = 0;
_top = 0;
}
void Push(const T& x)
{}
private:
T* _a;
int _top;
int _capacity;
};
int main()
{
Stack<int> st1; // int
st1.Push(1);
Stack<double> st2; // double
st2.Push(2.2);
return 0;
}
四.练习题
1.选择题
(1)下面有关C++中为什么用模板类的原因,描述错误的是? (C)
A.可用来创建动态增长和减小的数据结构
B.它是类型无关的,因此具有很高的可复用性
C.它运行时检查数据类型,保证了类型安全
D.它是平台无关的,可移植性
解释:
A:模板可以具有非类型参数,用于指定大小,可以根据指定的大小创建动态结构
B:模板最重要的一点就是类型无关,提高了代码复用性
C:模板运行时不检查数据类型,也不保证类型安全,相当于类型的宏替换,故错误
D:只要支持模板语法,模板的代码就是可移植的
(2)在下列对fun的调用中,错误的是(B)
template <class T>
T fun(T x,T y){
return x*x+y*y;
}
A.fun(1, 2)
B.fun(1.0, 2)
C.fun(2.0, 1.0)
D.fun<float>(1, 2.0)
解释:
A:通过参数推导,T为int,不存在二义性,调用正确
B:由于参数类型不一样,模板不支持类型转换,推导参数会产生二义性,编译错误
C:同A,通过参数推导,T为float,不存在二义性,调用正确
D:通过类型实例化函数,调用正确
(3)下列关于模板的说法正确的是(D)
A.模板的实参在任何时候都可以省略
B.类模板与模板类所指的是同一概念
C.类模板的参数必须是虚拟类型的
D.类模板中的成员函数全是模板函数
解释:
A:不一定,参数类型不同时有时需要显示指定类型参数
B:类模板属于类家族,模板类是通过类模板实例化的具体类
C:C++中类模板的声明格式为template<模板形参表声明><类声明>,并且类模板的成员函数都是模板函数
D:正确,定义时都必须通过完整的模板语法进行定义
(4)下列描述错误的是(D)
A.编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础
B.函数模板是一个蓝图,它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具
C.模板分为函数模板和类模板
D. 模板类跟普通类是一样的,编译器对它们的处理是一样的
解释:
A:模板是代码复用的重要手段
B:函数模板不是一个具体函数,而是一个函数家族
C:目前涉及到的模板就两类,函数模板与类模板
D:模板类是一个家族,编译器的处理会分别进行两次编译,其处理过程跟普通类不一样