一、函数模板的匹配原则

int Add(const int& x, const int& y)
{
	return x + y;
}

template <class T>
T Add(const T& x, const T& y)
{
	return x + y;
}

int main()
{
	int a1 = 1, a2 = 2;
	Add(a1, a2);

	double d1 = 1.1, d2 = 2.2;
	Add(d1, d2);

	return 0;
}

• 一个非模板函数可以和同名的函数模板同时存在。

• 匹配原则：

  1. 匹配合适的情况下，编译器会优先调用非模板函数，而非通过模板实例化出一个新的函数。
  2. 如果模板能实例化出匹配更好的函数，则优先模板。
  3. 普通函数支持隐式类型转换。

  

二、类模板的实例化

template <class T>
class Stack
{
public:
	Stack(int n = 4)
		:_top(0)
		,_capacity(n)
	{
		cout << "Stack(int n = 4)" << endl;
		_a = new T[n];
	}

	~Stack()
	{
		cout << "~Stack()" << endl;
		delete _a;
		_a = nullptr;
		_top = _capacity = 0;
	}

private:
	T* _a;
	int _top;
	int _capacity;
};


int main()
{
	Stack <int> s1;    // 1. 类名 <数据类型> 才是实例化类的类型
	Stack <double> s2; // 2. 显式实例化的类型不同，它们就是不同的类

	return 0;
}