C++---显示实例化与隐式实例化，显示调用与隐式调用

出现场景：C++模板中

template<class T>
T Add(T left,T right)
	return left+right;

上述代码只有经过实例化之后才会形成真正的函数，没有进行实例化之前，它只能称为一个函数模板。

模板的实例化
是指函数模板（或者类模板）生成相应的模板函数（或模板类）的过程。函数模板实例化之后会生成一个真正的函数，但是由于类中的成员函数只有被调用的时候才会初始化，所以类模板经过实例化之后，只是对类进行定义。

模板实例化的分类
显示实例化、隐式实例化。

在函数模板中存在两种调用方式，一种是显示调用，一种是隐式调用。显示模板实参调用称为显示调用，隐式模板实参调用的称为隐式调用。类模板没有显示调用与隐式调用之分，因为类模板的调用必须显示指出模板的实参。

显示实例化：
显示实例化也称为外部实例化。在不发生函数调用的时候就已经将函数实例化完成，或者在不适用类模板的时候将类模板实例化称之为模板显示实例化。

//函数模板的显示实例化：
template [函数返回类型] [函数模板名] <实际类型> (参数列表)
//例如：
template int Add<int>(int a,int b)
{	
	return a+b;
}

//类模板的实例化:
template class [类名]<实际类型列表>
template class Add<int>;

隐式实例化：
如果没有匹配的函数时，编译器会调用同名的模板函数，根据实例化的结果来推演实参的类型

//函数模板隐式实例化
template<class T>
T Add(T a,T b)
	return a+b;

Add(1,2);
//译器先对其进行类型推演，发现实参类型为int，接着根据函数模板生成代码
//对模板函数进行实例化为int Add<int>(int a,int b)
Add(1.0,2.0);
//译器先对其进行类型推演，发现实参类型为double，接着根据函数模板生成代码
//对模板函数进行实例化为double Add<double>(double a,double b)

//类模板隐式实例化
template <class T>
class Add
{
public:
	T a;
	T b;
};

Add<int> a; //隐式实例化

显示调用
在函数模板的调用时，显示给出模板参数而不需要经过参数推,称为隐式调用。

Add<double>(1.0,2);

隐式调用

在函数模板调用中，不显示给出参数类型，需要编译器通过类型推演，称为隐式调用。

Add(1,2);