Traits技术

Traits技术能够用来得到一个 类型 的相关信息的。 首先假若有如下一个泛型的迭代器类，其中类型参数 T 为迭代器所指向的类型：

template <typename T>
class myIterator
{
 ...
};

当咱们使用myIterator时，怎样才能获知它所指向的元素的类型呢？咱们能够为这个类加入一个内嵌类型，像这样：
template <typename T>
class myIterator
{
      typedef  T value_type; 
...
};
这样当咱们使用myIterator类型时，能够经过 myIterator::value_type来得到相应的myIterator所指向的类型。

如今咱们来设计一个算法，使用这个信息。
template <typename T>
typename myIterator<T>::value_type Foo(myIterator<T> i)
{
 ...
}
这里咱们定义了一个函数Foo，它的返回为为  参数i 所指向的类型，也就是T，那么咱们为何还要兴师动众的使用那个value_type呢？ 那是由于，当咱们但愿修改Foo函数，使它可以适应全部类型的迭代器时，咱们能够这样写：
template <typename I> //这里的I能够是任意类型的迭代器
typename I::value_type Foo(I i)
{
 ...
}
如今，任意定义了 value_type内嵌类型的迭代器均可以作为Foo的参数了，而且Foo的返回值的类型将与相应迭代器所指的元素的类型一致。至此一切问题彷佛都已解决，咱们并无使用任何特殊的技术。然而当考虑到如下状况时，新的问题便显现出来了：

原生指针也彻底能够作为迭代器来使用，然而咱们显然没有办法为原生指针添加一个value_type的内嵌类型，如此一来咱们的Foo()函数就不能适用原生指针了，这不能不说是一大缺憾。那么有什么办法能够解决这个问题呢？ 此时即是咱们的主角：类型信息榨取机 Traits 登场的时候了

....drum roll......

咱们能够不直接使用myIterator的value_type，而是经过另外一个类来把这个信息提取出来：
template <typename T>
class Traits
{
      typedef typename T::value_type value_type;
};
这样，咱们能够经过 Traits<myIterator>::value_type 来得到myIterator的value_type，因而咱们把Foo函数改写成：
template <typename I> //这里的I能够是任意类型的迭代器
typename Traits<I>::value_type Foo(I i)
{
 ...
}
然而，即便这样，那个原生指针的问题仍然没有解决，由于Trait类同样没办法得到原生指针的相关信息。这里仍然须要指针有内嵌型别来侦测所指向的类型，因而咱们祭出C++的又一件利器--偏特化(partial specialization)：
template <typename T>
class Traits<T*> //注意 这里针对原生指针进行了偏特化
{
      typedef typename T value_type;
};
经过上面这个 Traits的偏特化版本，咱们陈述了这样一个事实：一个 T* 类型的指针所指向的元素的类型为 T。

如此一来，咱们的 Foo函数就彻底能够适用于原生指针了。好比：
int * p;
....
int i = Foo(p);

Traits会自动推导出 p 所指元素的类型为 int，从而Foo正确返回。

这里的思路主要是经过一个中间的模板traits来存取指针，再定义特化版原本处理原生指针