当模板函数与同名的普通函数重载时,其调用顺序是怎样的呢?让我们实验一把,看一看它的调用顺序:
示例代码如下:
#include "iostream"
using namespace std;
void mySwap(int a, char b)
{
cout << "a:" << a << " " << "b:" << b << endl;
cout << "普通函数。。。" << endl;
}
template<typename T1,typename T2>
void mySwap(T1 &a, T2 &b)
{
cout << "a:" << a << " " << "b:" << b << endl;
cout << "函数模板。。。"<<endl;
}
int main()
{
int x = 97;
int y = 25;
char z = 'A';
mySwap(x, z);
cout << "------------------------------------" << endl;
mySwap(x, y);
cout << "------------------------------------" << endl;
mySwap(z, x);
system("pause");
return 0;
}
运行结果:
通过运行结果可以看出,当传入普通函数与模板函数的参数类型与之相匹配时,调用了普通函数,那是不是因为普通函数声明、定义在前引起的原因呢?那我们把普通函数放在后面试试。
结果:
可以看出来,结果没有变化,因此可以看出当传入普通函数与模板函数的参数类型与之相匹配时,会优先寻找参数完全匹配的普通函数,并调用它。当没有找到参数完全匹配的普通函数时,会寻找一个函数模板,将其实例化,产生一个匹配的模板函数,并调用它。
如果没有与传入的参数类型相匹配的函数时,该怎么调用呢?
如下:
#include "iostream"
using namespace std;
template<typename T>
void mySwap(T &a, T &b)
{
cout << "a:" << a << " " << "b:" << b << endl;
cout << "函数模板。。。"<<endl;
}
void mySwap(int a, char b)
{
cout << "a:" << a << " " << "b:" << b << endl;
cout << "普通函数。。。" << endl;
}
int main()
{
int x = 97;
int y = 25;
char z = 'A';
mySwap(x, z);
cout << "------------------------------------" << endl;
mySwap(x, y);
cout << "------------------------------------" << endl;
mySwap(z, x);
system("pause");
return 0;
}
结果:
可以看出,当调用mySwap(z,x)时,由于传入的参数类型是char、int,没有与之匹配的函数,此时调用的是普通函数。我们可以得出大概的结论:调用函数时会进行严格的类型匹配,但是模板函数不会进行自动类型转换,而普通函数具有隐式的类型转换。
其调用顺序应该是:
- 首先寻找参数完全匹配的普通函数,如果找到了就调用它
- 若1不存在则寻找一个函数模板,将其实例化,产生一个匹配的模板函数,若找到了,就调用它
- 若1,2都皆不存在,会寻找低一级的对函数的重载方法,例如通过类型转换可产生参数匹配等,若找到了,就调用它
- 若1,2,3均未找到匹配的函数,则是一个错误的调用
--------------------------------------------------------------------------------------------------------------------
当传入普通函数与模板函数的参数类型与之相匹配时,可以使用空参数列表强制调用模板函数。
代码示例:
#include "iostream"
using namespace std;
void mySwap(int a, int b)
{
cout << "a:" << a << " " << "b:" << b << endl;
cout << "普通函数。。。" << endl;
}
template<typename T>
void mySwap(T &a, T &b)
{
cout << "a:" << a << " " << "b:" << b << endl;
cout << "函数模板。。。"<<endl;
}
int main()
{
int x = 97;
int y = 25;
char z = 'A';
mySwap(x, y);
cout << "------------------------------------" << endl;
mySwap<>(x, y); //可以使用空参数列表<>强制使用模板函数
system("pause");
return 0;
}
结果: