1.函数重载
函数重载（函数多态）能让程序使用多个同名的函数。函数重载的关键时函数的参数列表（函数特征标）。
如果两个函数的参数数目和类型相同，同时参数的排列顺序也相同，则它们的参数列表相同。
注：编译器在检查函数特征标时，将类型引用和类型本身视为同一个特征标，函数返回类型不同不能对函数进行重载
2.函数模板
（1）基本语法：
template<typename T>//typename可以用class替换 void Swap(T &a, T &b) { ... }
（2）重载的模板
template<typename T>//typename可以用class替换 void Swap(T &a, T &b) { ... } template<typename T>//typename可以用class替换 void Swap(T *a, T *b， int n) { ... }
(3)显示具体化---具体化函数定义
template<>void Swap<job>(job &, job &)；//具体化的原型，也可以将<job>去掉 { ... }
template<>void Swap(job &, job &)；//具体化的原型，也可以将<job>去掉
{
...
}
(4)实例化和具体化
1.直接调用模板函数为隐形实例化
2.显式实例化：template void Swap<int>(int &, int &);
(5）重载解析
对于函数重载、函数目标、函数模板重载，编译器选择使用哪个函数版本称为重载解析，将寻找最匹配的函数。
如果只存在这样一个函数，则选择它；
如果存在多个这样的函数，但其中只有一个时非模板函数则选择该函数
如果存在多个适合的函数，且它们都为模板函数，但其中有一个函数比其他函数更具体，则选择该函数
如果有多个同样合适的非模板函数或模板函数，但没有一个函数比其他函数更具体，则函数调用不确定，报错
如果不存在匹配的函数，报错
（6）C++11中两个关键字decltype和auto
decltype(expression) var
int x; decltype (x) y;//使y的类型与x相同
1、如果expression时一个没有用括号括起的标识符，则var的类型与该标识符的类型相同，包括const等限定符
int x;
double x1 = 5.5;
double &rx = x1;
const double * pd;
decltype (x) y;//y类型为int
decltype (rx) y = x1;//y类型是double &
decltype (pd) y;//y类型为const double *
2、如果expression是一个函数调用，则var的类型与函数的返回值类型相同，并不会实际调用函数。
long indeed(int); decltype (indeed(3)) y;//y类型为long
3、如果expression是一个左值，则var为指向该类型的引用
double xx; decltype ((xx)) y;//y类型为double &
decltype (xx) y = xx;//y类型为double
4、如果前面条件都不满足，则var的类型与expression的类型相同
int j = 3;
int &k = j;
int &n = j;
decltype (j + 6) y;//y类型为int
decltype (100L) y;//y类型为long
decltype (k+n) y = xx;//y类型为int 表达式k+n不是引用，是两个int的和，所以类型为int
（7）auto
double h(int x, int y);
等同于
auto h(int x, int y)->double;//后置返回类型
函数模板中类型问题可以用后置返回类型解决,decltype在参数声明后面，因此x和y位于作用域内，可以使用它们
template<class T1, class T2>
auto gt(T1 x, T2 y)->decltype(x+y)
{
...
}