模板是通用的函数或类描述,它使用泛型来定义函数或类,其中的泛型可在使用时用具体的类型替换(如int或double等)。通过将类型作为参数传递给模板,可使编译器生成该类型的函数或类。
1、函数模板
函数模板自动完成函数重载过程,它允许以任意类型的方式来定义函数,当需要多个对不同类翌使用同一种算法的函数时,可使用模板。
1.1、函数模板定义
其通常的定义形式如下所示。其中,关键字template和typename是必须的,必须使用尖括号<>。模板定义和使用常规函数时相同,在函数原型和函数定义处都需要使用template关键字进行说明。
template <typename AnyType> //建立一个模板,类型命名为AnyType
AnyType compare(AnyType a, AnyType b){
return a > b ? a : b;
}
int main(){
compare<int>(1, 2) //使用函数模板
compare(1, 2) //实参推断,为(int)1、(int)2 类型
compare(1.1,2) //编译不通过,因为两个实参推断分别为(double)1.1、(int)2 类型,类型不一致
return 0;
}
除了普通函数可以定义函数模板外,类的成员函数也可以定义函数模板,但虚函数(virtual)不可以定义函数模板
class A{
public:
template <typename AnyType> //建立一个模板,类型命名为AnyType
AnyType compare(AnyType a, AnyType b){
return a > b ? a : b;
}
template <typename AnyType>
virtual errorFunc(AnyType a);//错误,虚函数不可以定义模板
}
模板并不创建任何函数,而只是告诉编译器如何定义函数。当给定指定类型时,如int,编译器按模板创建这样的函数,并用int代替AnyType。
在标准C++98添加关键字typename之前,C++使用关键字class来创建模板。也就是说,也可以使用如下形式定义函数模板
template < class AnyType>
void Swap(AnyType AnyType &b){
}
1.2 显式具体化
若不想使用模板重载来提供代码,可以提供一个具体化的函数定义——显式具体化,其中包含所需的代码。当编译器找到与函数调用匹配的具体化定义时,将使用该定义,而不再寻找模板。对于c++98有以下的标准:
- 对于给定的函数名,可以有非模板函数、模板函数和显式具体化模板函数以及它们的重载版本
- 显式具体化的原型和定义应以template<>打头,并通过名称来指出类型
- 具体化优先于常规模板,而非模板函数优先于具体化和常规模板。即函数匹配优先级顺序为:非模板函数 > 具体化模板函数 > 常规模板函数
显式具体化模板函数的定义如下所示
template <>
void Swap<int>(int &, int & ) ;
2、类模板
继承和包含并不缺能够满足重用代码的需求,C++的类模板为生成通用的类声明提供了一种更好的方法。模板提供参数化类型,即能够将类型名作为参数传递给接收方来建立类或函数
类模板定义
定义类模板时,和模板函数一样,需要在类声明开头添加 template <typename Type>。同样,可以使用模板成员函数替换原有类的类方法,每个函数头都将以相同的模板声明打头。另外,还需要将类限定符从ClassName::改 为 ClassName<Type>::
下面给出一个模板类定义
template<typename Type> //类模板须在类定义开头加入template代码
class A{
public:
T getT();
private:
T t_;
};
template<typename T> //每个函数定义开头也要有template代码
T A<T>::getT(){ //类限定符也要加入<T>
return t_;
}
int main(){
A<int> intA; //模板类使用
A<String> stringA;
return 0;
}