先来一个图,给大家一个直观印象,看看特性萃取机是干什么的.
看到了吧,各种迭代器被还原成其本来类型了,这就是tait技术,stl中重要的手法之一:即获取迭代器所指向的内容.
接下来我们要看一下trait技术的实现方法.
首先假如有以下一个泛型的迭代器类，其中类型参数T 为迭代器所指向的类型：
template <typename T>
class myIterator
{
...
};
当我们使用myIterator时，怎样才能获知它所指向的元素的类型呢？我们可以为这个类加入一个内嵌类型，像这样：
template <typename T>
class myIterator
{
typedef T value_type;
...
};
这样当我们使用myIterator类型时，可以通过myIterator::value_type来获得相应的myIterator所指向的类型。例如:vector<int>::iterator it;此时value_type类型就是int,这样通过traits手法,我们获得了迭代器指向的内容.
现在我们来设计一个算法，使用这个信息。
template <typenameT>
typename myIterator<T>::value_typeFoo(myIterator<T> i)
{
...
}
这里我们定义了一个函数Foo，它的返回参数i所指向的类型myIterator<T>::value_type，其实就是T，那么我们为什么还要兴师动众的使用那个value_type呢？那是因为，当我们希望修改Foo函数，使它能够适应所有类型的迭代器时，我们可以这样写：
template <typenameI> //这里的I可以是任意类型的迭代器
typename I::value_typeFoo(I i)
{
...
}//这样就能适用了所有的类型I
现在，任意定义了value_type内嵌类型的迭代器都可以做为Foo的参数了，并且Foo的返回值的类型将与相应迭代器所指的元素的类型一致。至此一切问题似乎都已解决，我们并没有使用任何特殊的技术。然而当考虑到以下情况时，新的问题便显现出来了：
原生指针也完全可以做为迭代器来使用，然而我们显然没有办法为原生指针添加一个value_type的内嵌类型，如此一来我们的Foo()函数就不能适用原生指针了，这不能不说是一大缺憾。那么有什么办法可以解决这个问题呢？此时便是我们的主角：类型信息榨取机 Traits
我们可以不直接使用myIterator的value_type，而是通过另一个类来把这个信息提取出来：
template <typename T>
classTraits
{
typedef typename T::value_typevalue_type;
};
这样，我们可以通过Traits<myIterator>::value_type 来获得myIterator的value_type，于是我们把Foo函数改写成：
template <typenameI> //这里的I可以是任意类型的迭代器
typename Traits<I>::value_typeFoo(I i)
{
...
}
然而，即使这样，那个原生指针的问题仍然没有解决，因为Trait类一样没办法获得原生指针的相关信息。于是我们祭出C++的又一件利器--偏特化(partialspecialization)：
template <typename T>
classTraits<T*> //注意 这里针对原生指针进行了偏特化
{
typedef typename Tvalue_type;
};
通过上面这个Traits的偏特化版本，我们陈述了这样一个事实：一个 T* 类型的指针所指向的元素的类型为 T。
如此一来，我们的Foo函数就完全可以适用于原生指针了。比如：
int *p;
....
int i= Foo(p);
Traits会自动推导出p 所指元素的类型为 int，从而Foo正确返回。
4126
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
