C＋＋ Template学习笔记之函数模板（3）——模板实参推演

         当函数模板被调用时，对函数实参类型的检查决定了模板实参的类型和值，这个过程被称为模板实参推演。

        其通用算法如下：

        1. 依次检查每个函数实参，以确定在每个函数参数的类型中出现的模板参数；

        2. 如果找到模板参数，则通过检查函数实参的类型，推演出相应的模板实参；

        3. 函数参数类型和函数实参类型不必完全匹配。下列类型转换可以被应用在函数实参上，以便将其转换成相应的函数参数的类型：
           (1). 左值转换；
           (2). 限定修饰转换；
           (3). 从派生类到基类类型的转换。假定函数参数具有形式T<args>、T<args>&或T<args>*，则这里的参数表args至少含有一个模板参数；
           (4). 如果在多个函数参数中找到同一个模板参数，则从每个相应函数实参推演出的模板实参必须相同。