模板函数中的显式实例化和显式具体化

当我们定义了一个模板函数时，每当我们调用这个函数时，这个模板就会为我们生成函数定义，但是我们处理某些例子时可能需要我们进行另外一种操作，这时就需要显式具体化了（explicit specialization），先看个例子吧
假设我们定义了一个加法的函数模板

template <typename T>
T add(T a, T b)
{
	return a + b;
}

当我们使用时传入的数据类型是内置类型，如int，double，float
等，这个是没有问题的。假设我现在定义一个复数类型，且只想要在虚数部分相加，可以有如下操作：

class complex
{
public:
	float re;
	float im;
	complex(float re, float im) :re(re), im(im) {};
};

template <typename T>
T add(T a, T b)
{
	return a + b;
}

template<> complex add<complex>( complex a, complex b)
{
	return complex(a.re, a.im+b.im);
}

上述代码相当于定制了一个add函数的complex版本，这就是显式具体化的作用，就是定制，这里注意一下其中的语法，前面一样要写template<>,但是其中的参数不用写了，然后这两种都是一样的效果的。（当然，用运算符重载也是可以的，这只是另外一种思路罢了）。

template<> complex add<complex>( complex a, complex b)
{
	return complex(a.re, a.im+b.im);
}
template<> complex add( complex a, complex b)
{
	return complex(a.re, a.im+b.im);
}

另外就是显式实例化（explicit instantiation），这个比较简单理解，我们知道函数模板是在我们调用这个函数的时候生成这个函数的定义（即一个实例），编译器会根据我们传进去的参数来决定生成何种类型的定义，这种生成我们是看不见的，所以是隐式实例化，在后来我们是可以把这个东西给显式的写出来的，所以是显式实例化。

template <typename T>
T add(T a, T b)
{
    return a + b;
}

template int add(int a, int b);	//得在main函数外，不然会编译报错
int main()
{
}

这个东西一般来说不太重要，相当于在调用前先声明一下，但是当你正常调用函数的时候他也是可以工作的，所以这里就不做详细介绍，这里是参考c++ primer plus这本书的，里面的关于这部分的内容有些错误，反正我是编译不过，如有错误欢迎指正