C++模板-32-普通函数和模板函数调用规则

上一篇学习了普通函数和模板函数的区别，这一篇继续学习两者的调用规则。也就是在同一个文件中，如果同时存在普通函数名称和模板函数名称一致，那么两者之间的调用规则是如何。

 

1.如果普通函数和模板函数都可以调用，优先调用普通函数。

下面代码，普通函数和模板函数名称一样，传入参数也一致，运行代码是调用模板函数还是普通函数

#include <iostream>
using namespace std;

//模板函数
template <class T>
void myAdd(T a, T b)
{
    cout << "调用模板函数" << endl;
}

//普通函数
void myAdd(int a, int b)
{
    cout << "调用普通函数" << endl;
}

void test01()
{
    myAdd(10, 9);
}

int main()
{
    test01();
    system("pause");
    return 0;
}

编译运行

说明，如果普通函数和模板函数都可以调用，默认优先调用普通函数。

 

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

如果上面的情况，我们不想默认使用普通函数，那么就需要使用空模板函数，强制显示调用模板函数

#include <iostream>
using namespace std;

//模板函数
template <class T>
void myAdd(T a, T b)
{
    cout << "调用模板函数" << endl;
}

//普通函数
void myAdd(int a, int b)
{
    cout << "调用普通函数" << endl;
}

void test01()
{
    myAdd<>(10, 9);
}

int main()
{
    test01();
    system("pause");
    return 0;
}

上面第19行使用了<>,也就是空模板参数列表。 编译运行

 

3.函数模板也可以发生函数重载

我们前面学习过普通函数的重载，函数模板也可以发生重载。

#include <iostream>
using namespace std;

//模板函数
template <class T>
void myAdd(T a, T b)
{
    cout << "调用模板函数1" << endl;
}

template <class T>
void myAdd(T a, T b, T c)
{
    cout << "调用模板函数2" << endl;
}

//普通函数
void myAdd(int a, int b)
{
    cout << "调用普通函数" << endl;
}

void test01()
{
    myAdd<>(10, 9);
    myAdd<>(10, 9, 1);
}

int main()
{
    test01();
    system("pause");
    return 0;
}

上面模板函数发生重载，参数个数不一样。

 

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

有时候编译器认为调用普通函数和模板函数都可以，只不过普通函数可以需要隐式转换，而模板函数如果推导出来类型，也是可以调用。这种情况下，编译器觉得模板更好匹配，隐式转换太麻烦，所以会优先调用函数模板

#include <iostream>
using namespace std;

//模板函数
template <class T>
void myAdd(T a, T b)
{
    cout << "调用模板函数" << endl;
}

//普通函数
void myAdd(int a, int b)
{
    cout << "调用普通函数" << endl;
}

void test01()
{
    char a = 'a';
    char b = 'b';
    myAdd(a, b);
}

int main()
{
    test01();
    system("pause");
    return 0;
}

前面学习过 char在一定范围内是可以隐式转换为int类型，所以在test01()中，编译器认为两个函数都可以调用，但是模板匹配更好，所以这里有点调用了模板函数。