C++模板
泛型编程技术支持程序员创建函数和类的蓝图(即模板,template),而不是具体的函数和类。
语法如下:
// 两种方式都可以 template template
从程序员的角度看,使用模板是一件很简单的事情,但需要编译器做的事情大大增加了,当编译器遇到一个模板时、(比如:swap()函数)时:
template void swap(T &a, T &b) { T tmp = a; a = b; b = tmp; }
它不会立刻生成代码,只会检查语法错误并记住“有个名为swap的函数包含着不确定的类型”这个事实。 当你第一次使用某种具体的数据类型来调用这个函数时:
int i1 = 42; int i2 = 13; swap(i1, i2);
编译器将注意到这是一个函数模板,但这个模板还没有一个针对int类型的实现,于是它将swap()函数模板的源代码里的T全部替换成int, 其结果是得到一个如下所示的函数:
void swap(int &a, int &b) { int tmp = a; a = b; b = tmp; }
这是一个可以编译的函数。 需要注意几点:
- template 中的class并不是指T是一个类
- 不要把函数模板分成原型和实现两个部分。如果编译器看不到模板的完整代码,它就无法正确地生成代码。
- 为了明确表示swap是一个函数模板,还可以使用swap(i1, i2)语法
- 区分什么时候用模板什么时候用重载
- C++并没有限制只能胀一个类型占位符,如果类模板需要一种以上的类型,根据具体情况可多使用几个占位符:
template class MyClass { // ... }
这样,在对类进行实例化时,需要在尖括号里以逗号作为分隔符把不同的占位符分别替换为相应的具体类型:
MyClass myClass;