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;
}