声明函数模板

模板只是用于生成函数的定义，只有当函数调用的时候编译器会生成对应的具体函数

//T是类型，也可以为<class T>为98版本
template <typename T>
void Swap(T &a, T &b) {
    T temp;
    temp = a;
    a = b;
    b = temp;
}

重载函数模板

template <typename T>
void Swap(T &a, T &b)

//重载的函数
template <typename T>
void Swap(T &a, T &b, T&c);

显示具体化

void Swap(job &, job &);//job是一个结构，这是一般化的函数

template <typename T>//函数模板
void Swap(T &a, T &b)
//具体化的函数
template <> void Swap<job>(job &, job &);

非模板化优先于显示具体化的，显示具体化的模板优先于模板生成的版本

decltype的使用

template<typename T1, typename T2>
void add(T1 x, T2 y) {
    ?type? sum = x + y;
}

上面是C++98版本的，无法判断sum是什么类型，T1可能是Double,T2也可能是double

使用C++11的decltype

template<typename T1, typename T2>
void add(T1 x, T2 y) {
    decltype(x + y) sum = x + y;//decltype跟比括号内的表达式判断类型
}

模板函数返回类型

template<typename T1, typename T2>
?type? add(T1 x, T2 y) {//无法知道函数返回什么类型
    ?type? sum = x + y;
}

C++11新增的

template<typename T1, typename T2>
auto add(T1 x, T2 y) ->decltype(x + y) {//auto是个占位符，返回后面的类型
     return sum = x + y;
}