当模板函数遇上同名的非模板函数时,该如何调用

当模板函数与同名的普通函数重载时,其调用顺序是怎样的呢?让我们实验一把,看一看它的调用顺序:

示例代码如下:

#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. 首先寻找参数完全匹配的普通函数,如果找到了就调用它
  2. 若1不存在则寻找一个函数模板,将其实例化,产生一个匹配的模板函数,若找到了,就调用它
  3. 若1,2都皆不存在,会寻找低一级的对函数的重载方法,例如通过类型转换可产生参数匹配等,若找到了,就调用它
  4. 若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;
}



结果:

 

 

 

 

 

 

 

 

 

  • 4
    点赞
  • 10
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值