C++类模板中的模板函数

在C++中类模板中可以嵌套函数模板,但是在使用时候有些注意事项如下:

一、如果类模板中参数为template<typename T>,在函数模板中,函数的不同模板名字是可以重载的,如template<typename T> void assign(),和template<typename U> void assign()注意这里重载的原因是,如果传入的参数是T类型,即和类模板参数类型相同,就调用第一个版本,如果传入的参数和类模板参数不一样,调用第二个版本。这和基本的函数重载是一样的原理,都是函数参数个数相同,但是类型不同,可以重载。

二、在调用和类模板中类型参数T不相同的函数时,不能用this指针,即不能用a.b这种形式来访问私有成员b,因为此时的对象类型为U,和T不同,是两个类,而一个类中的对象在另一个类中当然不能直接用“.”运算符来访问私有成员了。

三、在定义拷贝构造函数时,可以利用这个重载的机制来达到隐式类型转换的目的。如写两个构造函数,一个参数是T,即和原类的模板类型一致,另一个拷贝构造函数参数是U,和原类的模板类型不一致。此时,如果传入的对象的型别和要构造的对象的型别一致,则调用第一个拷贝构造函数,否则调用第二个拷贝构造函数,这里两个拷贝构造函数重载,并不会覆盖掉任意一个。

测试代码如下:

#include<iostream>
using namespace std;

template<typename T>
class MyClass
{
	T value;
public:
	MyClass(){}
	template<typename T>
	void f(T v)
	{
		value=v;
		cout<<"f is called	";
		cout<<value<<endl;
	}
	void assign(const MyClass<T>& x)
	{
		value=x.value;
		cout<<"assign T is called	";
		cout<<value<<endl;
	}
	template<typename U>
	void assign(const MyClass<U>& x)
	{
		value=x.getValue();
		cout<<"assign U is called	";
		cout<<value<<endl;
	}
	T getValue()const
	{return value;}

	//构造函数的模板形式,多用于实现隐式类型转换
	template<typename U>
	MyClass(const MyClass<U> & x)
	{
		value=x.getValue();
		cout<<"调用隐式拷贝构造函数"<<endl;
	}
	MyClass(const MyClass<T> &x)
	{
		value=x.value;
		cout<<"调用显式拷贝构造函数"<<endl;
	}
};

int main()
{
	MyClass<int> s;
	s.f(12);

	MyClass<int> mi;
	mi.f(1);

	MyClass<double> md;
	md.f(3.2);

	s.assign(mi);
	s.assign(md);

	MyClass<int> s1(mi);//调用显式拷贝构造函数
	MyClass<int> s2(md);//调用隐式的拷贝构造函数

	system("pause");
	return 0;
}


©️2020 CSDN 皮肤主题: 大白 设计师:CSDN官方博客 返回首页