模板的实例化

编译器对待模版时,总会用它产生特定类型的版本,这个过程成为实例化。其中函数模板在调用时或者用它对指向函数的指针初始化或者赋值时实例化,类模板在引用实际模板类型时实例化。尤其对于函数模板,编译器通常会进行实参的推断。伴随而来的问题跟函数重载类似,就是确定匹配的模板。
对于模板,多个类型的实参必须完全匹配,不能依靠隐式的类型转换:
对于模板:

template <typename T>
int compare(const T &v1,const T &v2)
{
	if(v1 < v2)
		return -1;
	else if(v1 > v2)
		return 1;
	else
		return 0;
}


其中两个类型形参的类型是完全相同的,则不能调用:

	short si = 10;
	int ival = 100;
	//不存在实参类型转化
	cout<<compare(si,ival)<<endl;


这里不存在自动类型转换。如果你非要用两个不同类型的作比较,只能使用两个模板形参:

template <typename T1,typename T2>
int compare(const T1 &v1,const T2 &v2)
{
	if(v1 < v2)
		return -1;
	else if(v1 > v2)
		return 1;
	else
		return 0;
}


但是,类型转化也有例外:
1.const转换:如果函数的形参是const引用或者指针,那么如果采用非const对象的引用或者指针也能调用。这取决于const变量的初始化规则:我们可以使用非const的类型初始化一个对应的const类型的引用。如果函数接受的是非引用类型,形参和实参都会忽略const。同样是因为我们可以给一个非const变量传递一个const值来初始化。

template <typename T> int fobj(T,T);
template <typename T> int fref(const T&,const T&);

	string s1 = "a vaule";
	const string s2 = "another value";
	//const被忽略
	fobj(s1,s2);
	//s1转化为const引用
	fref(s1,s2);

2.数组或者函数到指针的转换:如果形参不是引用类型,则数组或者函数类型的实参转换为对应的指针:数组转换为指向数组的第一个元素,函数转换为指向函数的指针。

	int a[2] ;
	int b[42];
	int c[2] ;
	fobj(a,b);
	//错误:矩阵类型不匹配
	//fref(a,b);
	fref(a,c);

当使用引用时,数组并不转化为指针,数组的元素个数也作为矩阵的类型是否相同的衡量标准之一。

有些时候,我们并不能推断模版实参的类型(在函数返回值类型与形参列表中的所有类型都不同时,容易出现这种问题),此时我们必须显式的指定模板形参所用的类型或值。

举一个例子:比如,我们想对两个数(比如整形+浮点型)以任意顺序求和。那么返回值应该如何设计呢?
我们将返回值的类型也设计成模板形参。

template <typename T1,typename T2,typename T3> 
T1 sum(const T2 &val1,const T3 &val2)
{
	return val1+val2;
}


但这就存在一个问题,编译器无法推断返回值的类型到底是什么。所以在调用这个模板时,必须显式指定返回值的类型:

	cout<<sum<double>(1,2.2)<<endl;
	cout<<sum<int>(1,2.2)<<endl;


这两句将得出不同的结果,因为它们的返回值分别为double和int型。



  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值