普通函数与函数模板的区别以及调用规则 学习笔记

前提知识：

引用是不能出现在隐式类型转换之中

引用时会把隐式类型转换后的值放到一个常量区中，即我们引用的时候，引用的是一个常量区的值。如果想使用引用，那么必须加const修饰，变成只读，方可使用隐式类型转换。

总结：引用取别名时，变量访问的权限只能缩小，不能放大。详细介绍在这位博主的这篇文章中【C++】C++引用（隐式类型转换）

普通函数与函数模板的区别

普通函数可以发生自动类型转换（隐式类型转换）

int myAdd01(int a, int b) 
{
    return a + b;
}

    int a = 10;
    char c = 'c';
    cout << myAdd01(a,c) << endl;//正确，普通函数可以发生自动类型转换（隐式类型转换）

---

函数模板：自动类型推导不会发生隐式转换 需显示指定类型

template
T myAdd02(T a,T b)
{
    return a + b;
}

   int a = 10;
    int b = 20;
    char c = 'c';
    myAdd02(a, c); //错误，没有与参数列表匹配的参数模板，参数类型为：(int,char)
    cout << myAdd02(a, c) << endl;//正确，显示指定类型之后，便可以发生隐式转换

普通函数与函数模板的调用规则

1、如果普通函数和函数模板都可以实现，优先调用函数模板

void test(int a, int b)
{
    cout << "普通函数的调用" << endl;
}
template
void test(T a, T b)
{
    cout << "模板函数的调用" << endl;
}

  int a = 10;
    int b = 10;

test(a,b);//结果输出：普通函数的调用

//即：普通函数与模板函数都可以实现，优先调用普通函数

2、可以通过空模板参数列表来强制调用函数模板

 myPrint<>(a, b);//输出结果：模板函数的调用

 //即：使用空模板，强制调用模板函数

3、函数模板可以发生重载

template
void test(T a, T b,T c)
{
    cout << "模板重载函数的调用" << endl;
}

myPrint(a, b, 100);//输出结果：模板重载函数的调用

4、如果函数模板可以产生更好的匹配，优先调用函数模板

myPrint('a', 'b'); //输出结果：模板函数的调用

//编译器会优先使用函数模板，不去使用需要隐式类型转换的普通函数。

总结：使用函数模板时，最好不要再提供普通函数，这样可以避免出现二义性。