c++ - BidirectionalIterator 的 decltype(*it) 是什么？

Question

decltype(*it) 是迭代器的值类型，还是指向它的左值引用，还是其他？

我认为它是一个左值引用，因为*it 是一个左值，但我不确定。

注意:在我的例子中，它 是一个BidirectionalIterator，但请随意回答一般情况。

Answer 1

*it不一定是左值。只有前向迭代器有这个要求。

迭代器 (§24.2.2) 需要有 *it是返回 iterator_traits<Iterator>::reference 的有效表达式(和其他不相关的东西)。关于这个和reference没有别的说法了。不必是引用类型†。

输入迭代器(§24.2.3)需要有 *it是返回可转换为值类型的东西的有效表达式。

但是，前向迭代器具有以下要求(§24.2.5 第 1 段):

— if X is a mutable iterator, reference is a reference to T; if X is a const iterator, reference is a reference to const T,

(这里T是迭代器的值类型)

这需要 *it成为一个引用，这意味着它必须是一个 glvalue(即不能是一个纯右值，但可以是一个 xvalue，就像移动迭代器的情况一样)。

较高的迭代器类别不添加任何相关要求。

---

† reference被定义为 *it 的类型这使得它有点循环定义，但没有任何限制。