イテレータの型から、そのイテレータが指す値の型(value_type)を知る方法はどれか。

iterator_traitsはポインタなどの組み込み型に対しても共通のインターフェースを提供する。