模板
1. 模板增加了编译时长,避免了运行时的识别
2. 模板在编译时进行替换,不是在预编译时进行,也不是简单的宏替换
3. 模板可嵌套,通过递归展开
4. 定义需要template,声明时不用
5. class表示数据类型,不是类
6. typename和class效果一样
模板函数
1. 使用时传入参数类型,T占位符
template <typename T>
// 或者 template <class T>
T add(T a, T b) {
return a+b;
}
int a = add<int>(1, 2);
float a = add<float>(1.0, 2.0);
2. 多个不同的参数
template <typename A, typename B, typename C>
C add(A a, B b) {
return a+b;
}
模板类
template <class T>
class stack {
Public:
vector<T> e;
void push(const T &t);
void pop();
T top();
}
template <class T>
void push(const T &t) {
e.push_back(t);
}
template <class T>
void pop(){
if(!e.empty()) {
e.pop_back();
}
}
template <class T>
T top() {
if(!e.empty()) {
e.back();
}
}
全特化模板
1. 模板参数为空
2. 参数类型已经指定
3. 模板函数
template <>
int add(int a, int b);
4. 模板类
template <>
class A<int, int> {
int a;
int b;
};
当A<int, int>时进入class A<int, int>;当A<T1, T2>时进入class A<T1, T2>
偏特化模板
1. 指定部分参数类型
2. 模板函数不允许偏特化
3. 模板类
template <T>
class A<int, T> {
int a;
int b;
};
特化的实现过程
模板:对所有的类型使用采用相同的处理方式
特化:当对于特定的数据类型有不一样的处理方式(对特定的数据类型实现不同的功能)
// 函数模板:四舍五入
template <class A, B>
B getInt(A a) {
return a;
}
// 对定义好的函数模板进行特化
template <>
int getInt<float>(float a) {
return (int)(a+0.5);
}
template <>
int getInt<double>(double a) {
return (int)(a+0.5);
}
实现过程:
在编译时对参数类型进行判断,调用不同的代码。调用函数getInt<T1, T2>,如果T1为float,T2为int,则编译为int getInt(float a);如果T1为double,T2为int,则编译为int getInt(float a);否则编译为B getInt(A a)