const_iterator和const_iterator :: value_type的constness

Question

为何选择STL

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

与...的类型相同

std::iterator_traits<T*>::value_type

为什么它的设计是这样的？ 首先不应该是const T而第二个是T吗？ 你应该如何采用底层const正确类型的迭代器？ 我知道你可以编写自己的模板类和专业化并从中获取

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

但不应该有一个成员typedef持有它吗？

Answer 1

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 * ，它都能完美地运行。

Answer 2

它允许我这样做：

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

但是如果value_type是const，那就更难了，因为我需要使用remove_const 。

如果我不想获得可修改的值，那么value_type是否为const并不重要：

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

这两个都适用于const迭代器和非const迭代器，并且无论value_type是否为const都可以工作，但第一个示例仅适用于const迭代器，如果它们的value_type是非const的。

你应该如何采用底层const正确类型的迭代器？

迭代器不一定具有自己的底层类型，迭代器通常引用某个范围或某些集合，而该集合具有底层类型。 例如std::list<int>::const_iterator的value_type是std::list<int>::value_type ，这是int而不是const int 。

你不一定想知道底层类型是什么，你更想知道*iter的结果是什么，这就是iterator_traits<I>::reference告诉你的。