在初步学习到函数模板后,我们不禁会感叹模板的强大之处,但是我们在使用模板的时候会不会出现一些问题呢?毫无疑问,模板虽然很强大也很方便,但是我们在使用的时候也要注意一些问题,避免编译器报错。
1.自动类型推导方式,必须要推导出一致的数据类型才可以使用
什么意思呢?就是说在调用函数模板的时候如果参数类型不一致,是不可以让编译器自己去推导出类型的,这会产生二义性,导致编译器无法确定数据类型而报错。如下图所示:
template<class T>
void myswap(T& a, T& b) //交换两个数的函数模板
{
T temp = a;
a = b;
b = temp;
}
void test1()
{
int a = 10; //int
int b = 20; //int
char c = 'c'; //char
myswap(a, b); //正确,此时a和b的类型都为int,类型一致,可以自动推导
//myswap(a, c); 错误,无法确定数据类型,a为int,c为char,编译器无法自动推断类型,产生二义性,报错
cout << "a=" << a << endl;
cout << "b=" << b << endl;
}
在交换a,b的值的时候,此时a和b都为int类型,编译器可以推导出来T=int,可以使用自动类型推导,在交换a和c的时候,a为int,c为char,此时数据类型不一致,编译器无法确定T的数据类型,产生二义性,出现错误。
这是小伙伴们需要注意的问题哦,当发生歧义的时候,编译器是无法自己推断出来类型的,不可以使用自动类型推导
2.模板必须要确定T的数据类型,才可以使用
这点相信小伙伴们是没什么疑问的,因为如果确定不了数据类型,是无法使用模板的。这点再额外给小伙伴们讲一点扩展知识,当我们写了一个模板函数时,如果没有传参数,必须通过显示指定类型的方式才能调用函数模板,如下图所示:
template<typename F> //函数模板
void func()
{
cout << "func的调用" << endl;
}
int main()
{
func<int>(); //只能用显示指定类型调用
system("pause");
return 0;
}
如上图,我们写了一个函数模板,但是没有传参数,那我们在调用这个函数的时候,必须通过显示指定类型的方式调用,也就是说我们指定这个数据类型为int,当然double、char都是可以的,只需要传进一个数据类型就可以,是什么数据类型没有规定,你可以传任何你想传的数据类型
总结:以上两点就是我们在使用函数模板的时候需要注意的问题,小伙伴们要牢记于心哦
谢谢观看。