以下のような実装がiterator_traits構造体の実装として書かれていましたが、
なぜ、Iterクラスの名前空間内にdifference_typeやvalue_typeのような型があるのでしょうか。
僕の考えだと、template としたとき、Iterが表すのは、templateの型名でしかないという認識だったのですが、その自分がtemplateとして定義したIterの中に、difference_typeなどの型があるのか不思議です。
わかるかた教えていただけると助かります。
struct iterator_traits {
typedef typename Iter::difference_type difference_type;
typedef typename Iter::value_type value_type;
typedef typename Iter::pointer pointer;
typedef typename Iter::reference reference;
typedef typename Iter::iterator_category iterator_category;
/*
* difference_type イテレータの減算演算時の型
* value_type イテレータの指す値型
* pointer イテレータのポインタ型
* reference イテレータの参照型
* iterator_category イテレータのカテゴリ型
*/
};```