迭代器要求明显不一致

Question

我正在实现一些类型特征/概念类，以检查传递给泛型函数的类型是否满足迭代器类型的编译时要求（如标准中所定义，从 24.2.2 开始）。

问题在于基本迭代器要求（表 106）是 *r 的类型（其中 r 是对 T 类型的迭代器的引用）是 std::iterator_traits<T>::reference。但是，如果我们考虑一个输出迭代器，例如std::ostream_iterator，

http://en.cppreference.com/w/cpp/iterator/ostream_iterator

我们可以看到在这种情况下reference 类型是void，而迭代器类型的operator*() 返回std::ostream_iterator &。

很明显，我在这里误解了一些东西，但我看不到什么？这与输出迭代器只能在赋值的左侧取消引用这一事实有关吗？

编辑：我想澄清一下，我的问题是关于引用类型与在 std::ostream_iterator 上调用 operator*()（以及标准库中的一堆其他输出迭代器）产生的类型之间的不一致。

Answer 1

24.2.1 [iterator.requirements.general]/11

在以下部分中，a 和 b 表示类型 X 或 const X 的值， 差异类型和参考是指类型 iterator_traits::difference_type 和 iterator_traits::reference 分别

reference 不是allocator_traits<T>::reference，而是iterator_traits<T>::reference。

现在，在标准中std::ostream_iterator<T> 被定义为：

class ostream_iterator:
                   public iterator<output_iterator_tag, void, void, void, void> {

std::iterator 模板的最后一个参数是引用类型，这意味着对于std::ostream_iterator<T>，iterator_traits<T>::reference 必须是void。

同时，24.2.1/1 要求：

[...] 所有输出迭代器都支持表达式 *i = o 其中 o 是某个类型的值，该值位于可写入 i 的特定迭代器类型的类型集中。 [...]

这可能是您缺少的部分，可确保分配有效。我想reference 是void 在某种程度上代表你无法阅读这个，但我想它可以改进。