c++ stl traits const T*偏特化。

Question

如下：

template <class I>
struct iterator_traits
{
    typedef typename I::value_type   value_type;
}
//针对指向常数对象的指针的特例化
template <class T>
struct iterator_traits<const T*>
{
    typedef T  value_type;
}

这里想到得到迭代器相关的value_type，为什么把const int转换成int呢？我们想得到是类型信息，虽然得到的（这个类型的变量）无法修改，为什么说他没有用（stl源码剖析书上说的）

以上，希望大家帮忙讲一下。谢谢了。

Answer 1

1. 是这样的， traits（萃取）的目的是用来在编译期能静态的取得对象的一些固有特性

2. 没太明白你想表达什么，你说“为什么把const int转换成int”，实际上const是由下面的来定义的

template <class T>
struct iterator_traits<const T*>
{
    typedef const T  const_value_type;
    //你可以定义更多的，traits出更多的类型
}