c++进阶：模板函数/模板类/特化

模板

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)