对Template的认识

我们来看一个示例：

#include <iostream>
#include <vector>
#include <algorithm>

template<typename T>
bool greator(T first, T second)
{
	return second > first;
}

void main()
{
	std::vector<std::string> vct = { "123", "456", "234", "345", "567" };
	std::sort(vct.begin(), vct.end(), greator<std::string>);
	greator(vct[0], vct[1]);
}

有没有发现main里面有两处函数的调用有点差异。没错，就是第二行和第三行，为什么会这个样子呢？
对于第三处，我们还好理解，vct[0]和vct[1]已经是可以确定类型的，作为参数传递给greator的时候，可以反推T的类型，所以没有问题。
那第二行呢？greator却要带上类型，emm，我们不妨看看sort的源码。

template<class _RanIt, class _Pr> 
inline
void sort(_RanIt _First, _RanIt _Last, _Pr _Pred)
{	// order [_First, _Last), using _Pred
	_DEBUG_RANGE(_First, _Last);
	_Sort_unchecked(_Unchecked(_First), _Unchecked(_Last), _Pred);
}

看看最后一个参数，是一个模板类型，既然是模板类型那就必须实例化才能使用，对吧，所以我们在传入参数的时候就需要将greator实例化。

既然开了此篇，那就说说其他的东西：
1）模板函数和模板类在编译的时候是直接跳过的，除非编译器检测到你实例化了模板，才会利用实例化的参数去编译模板。
2）inline 其实和宏是差不多的一个玩意，也是申明和实现必须写在一个文件里面；不过inline有一个优点，那就是可以对传入的参数做类型检测，防止非法的参数而导致程序崩溃。