【深入理解C++】函数模板作为成员函数

1.普通类的成员函数模板

不管是普通类还是类模板，它们的成员函数都可以是函数模板，称为成员函数模板，但不可以是虚函数，否则编译器报错。

#include 
using namespace std;

class A    // 普通类
{
public:
	template <typename T>    // 成员函数模板
	void fun(T val)
	{
		cout << val << endl;
	}
};

int main()
{
	A a;
	a.fun(180); // 普通类的成员函数模板：自动类型推导，T为int类型

	return 0;
}

2.类模板的成员函数模板

类模板的成员函数模板的实现可以放在类模板定义的里面，如下代码所示：

#include 
using namespace std;

template <typename Q>
class A    // 类模板
{
public:
	A(Q val) : m_val(val) {} // 构造函数

	void display() { cout << m_val << endl; } // 普通成员函数

	template <typename T>    // 成员函数模板
	void fun(T val)
	{
		cout << val << endl;
	}

private:
	Q m_val;
};

int main()
{
	A<double> a(1.5); // 类模板：显式类型指定，Q为double类型
	a.display();
	a.fun(180); // 类模板的成员函数模板：自动类型推导，T为int类型

	return 0;
}

类模板的成员函数模板的实现可以放在类模板定义的外面，如下代码所示：

#include 
using namespace std;

template <typename Q>
class A    // 类模板
{
public:
	A(Q val) : m_val(val) {} // 构造函数

	void display() { cout << m_val << endl; } // 普通成员函数

	template <typename T>    // 成员函数模板
	void fun(T val);

private:
	Q m_val;
};

template <typename Q>
template <typename T>
void A<Q>::fun(T val)
{
	cout << val << endl;
}

int main()
{
	A<double> a(1.5); // 类模板：显式类型指定，Q为double类型
	a.display();
	a.fun(180); // 类模板的成员函数模板：自动类型推导，T为int类型

	return 0;
}