函数重载、函数模板

函数重载的关键是函数的参数列表。如果两个函数的参数数目和类型相同，同时参数的排列顺序也相同，则参数列表是相同的。
C++允许定义名称相同的函数，条件是它们的参数列表不相同。
编译器在检查参数列表时，把类型引用和类型本身视为相同的。
参数列表相同而返回类型不同的不是函数重载。

void print(double d,int width);
void print(int d,int width);
unsigned int year=3210;
print (year,6);
这段代码中的print(year,6);将不与任何函数原型进行匹配。
如果print()只有唯一的原型，那么C++将尝试用标准类型转换强制进行匹配，但这段代码中的print()的原型有两个，因此有两种转换year的方式，此时C++将拒绝这种函数调用。

如果需要多个将同一种算法用于不同类型的函数，应使用模板。函数模板不可能缩短可执行程序。
在代码中包含函数模板本身不会生成函数定义，它只是一个用于生成函数定义的方案。编译器使用模板为特定类型生成函数定义时，得到的是模板实例（instantiation），这种实例化方式被称为隐式实例化（implicit instantiation）。
显示实例化（explicit instantiation）意味着可以直接命令编译器创建特定的实例。语法如下：
template void swap<int>(int ,int);
显示具体化（explicit specialization），表明不要使用模板来生成函数定义，而应当使用独立的专门的函数定义显式地为参数类型生成函数定义。如：
template <> void swap<int>(int &,int &);
template <> void swap(int &,int &);
警告：试图在同一个编程单元中使用同一种类型的显式实例和显式具体化将出错。
隐式实例化、显式实例化、显式具体化统称为具体化，它们的相同之处在于，它们表示的都是使用具体类型的函数定义，而不是通用描述。