编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。其中模板包括函数模板和类模板。
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
typename:定义模板参数关键字,也可使用class
template
返回值类型 函数名(参数列表){}
或
template
返回值类型 函数名(参数列表){}
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为隐式实例化和显式实例化。
编译器通过实参的数据类型推演模板参数的实际类型
// 模板实现两数交换
template
void Swap(T& a, T& b) {T t = a;a = b;b = t;
}int main() {// 隐式实例化int a1 = 10, a2 = 20;cout << "a1 = " << a1 << " a2 = " << a2 << endl;// 此时模板参数为intSwap(a1, a2);cout << "swap" << endl;cout << "a1 = " << a1 << " a2 = " << a2 << endl;cout<
当两参数数据类型不一致时,编译器无法推演出模板的数据类型
可通过类型强转或显式实例化解决。
类型强转:Swap(a1,(int)a3);
在函数名后的<>中指定模板参数的实际类型
// 实现两数相加模板
template
T Add(const T& left, const T& right)
{return left + right;
}
int main(){int c1 = 10, c2 = 20;double d1 = 10.1, d2 = 20.2;cout << Add(c1, c2) << endl;cout << Add(d1, d2) << endl;// 参数类型强转cout << Add((double)c1, d2) << endl;// 显示实例化// 指定为int型cout << Add(c1, d2) << endl;// 指定为double型cout << Add(c1, d2) << endl;return 0;
}
经过显式实例化后int+double型也可以算出和
一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数。
对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板。
模板函数不允许自动类型转换,但普通函数可以进行自动类型转换。
template
class 类模板名
{};
// 类模板Vector
template
class Vector
{
public:Vector(size_t capacity = 10):_pData(new T[capacity]), _size(0), _capacity(capacity) {}~Vector();void PushBack(const T& data);void PushBack(const T& data);void PopBack();// ...size_t Size() { return _size; }T& operator[](size_t pos){assert(pos < _size);return _pData[pos];}
private:T* _pData;size_t _size;size_t _capacity;
};// 注意:类模板中函数放在类外进行定义时,需要加模板参数列表
template
Vector::~Vector()
{if (_pData)delete[] _pData;_size = _capacity = 0;
}
};
类模板实例化需要在类模板名字后跟<>,然后将实例化的
类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
// vector:类型名
Vector v1;
Vector v2;