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出更多的类型
}