昨天研究了C++ 的 type traits，我们在使用C++的模板的时候，有时我们需要确定模板中的T究竟是什么类型的，这时候我们就要用到type traits.
比如我们定义一个比较大小的函数：
template < typename T > less(const T & a, const T & b);
我们需要在T是int,double,string时设计不同的算法，一种可以选择的方案就是函数重载。不过我们也可以用type traits的方法来确定T是什么类型的。这个需要用到template的偏特化。
比如我们设计一个判断一个类是不是 int 型的类，如下
template < typename T > class is_int { static const bool value = false};
表示默认所有的类都不是int型的，然后我们对int型偏特化，如下
template <> class is_int {static const bool value = true;};
这样，对于任意给定的类T，我们都可以用 is_int<T>::value 来判断他是不是整型的。
这种方法相对于函数重载的好处是，他是编译时就可以判断好的，而重载是在运行时才判断的，这种方法可以节约一点微不足道的时间，嘿嘿！