const_iterator и constness const_iterator :: value_type

Question

const_iterator и constness const_iterator :: value_type

Почему в STL

std::iterator_traits<const T*>::value_type

тот же тип, что и

std::iterator_traits<T*>::value_type

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

    std::iterator_traits<const T*>::pointer

но разве не должно быть члена typedef, который его содержит?

14

c++const-iterator iterator iterator-traits

Решение

Другие решения

Constness не имеет значения для типа значения, поскольку значение подразумевает копию. std::iterator_traits<const T*>::reference это const T& тем не мение.

Например, вы можете написать эту функцию:

template <class Iterator>
typename std::iterator_traits<Iterator>::value_type getValue(Iterator i)
{
return *i;
}

и это прекрасно работает, является ли Iterator const T * или T *,

14

Источник

Accepted Answer

Это позволяет мне сделать это:

std::iterator_traits<I>::value_type val = *iter;
val += 5;
doSomething(val);

Но это сложнее, если value_type это const, потому что мне нужно использовать remove_const,

Если я не хочу получать изменяемое значение, то не имеет значения, value_type является постоянным или нет:

const std::iterator_traits<I>::value_type cval = *iter;
std::iterator_traits<I>::reference        ref  = *iter;

Оба они работают для постоянных и неконстантных итераторов, и оба работают ли value_type является const или нет, но первый пример работает только для const итераторов, если их value_type неконстантен.

Как вы должны принять базовый константный правильный тип итератора?

Итератор не обязательно имеет собственный базовый тип, итератор обычно ссылается на некоторый диапазон или некоторую коллекцию, и именно эта коллекция имеет базовый тип. например std::list<int>::const_iterator«s value_type является std::list<int>::value_type, который int не const int,

Вы не обязательно хотите знать, что является базовым типом, скорее всего, вы хотите знать, каков результат *iter есть и вот что iterator_traits<I>::reference говорит тебе.

11