Почему std::iterator_traits::value_type не является константой даже для const_iterator? ⇐ C++

[Гость]

Почему в стандартной библиотеке C++

std::iterator_traits::value_type того же типа, что и

std::iterator_traits::value_type Почему он так устроен? Разве первый не должен быть const T, а второй только T? Как вы должны использовать базовый константно-правильный тип итератора? Я знаю, что вы можете написать свой собственный класс шаблона и специализацию и получить его от

std::iterator_traits::pointer но разве не должно быть определения типа члена, содержащего его?