为什么范围的算法与 std 的迭代器不兼容？

Question

#include <vector>
#include <iostream>
#include <range/v3/all.hpp>

int main()
{
    auto coll = std::vector{ 1, 2, 3 };

    ranges::copy(
        coll,
        ranges::ostream_iterator<int>{  std::cout, ", " }
    ); // ok

    ranges::copy(
        coll, 
        std::ostream_iterator<int>{ std::cout, ", " }
    ); // error 
}

问题如上面的代码所示。我用ranges-v3-0.3.7。

对我来说，通用算法copy 不应该关心目标迭代器类型，只要它满足输出迭代器的要求。

如果是这样，为什么范围的算法与 std 的迭代器不兼容？

Answer 1

对我来说，通用算法copy 不应该关心目标迭代器类型，只要它满足输出迭代器的要求。

这是正确的。并不是ranges::copy 以某种方式识别ranges::ostream_iterator 而不是std::ostream_iterator。 Ranges 对 OutputIterator^† 是什么有一个精炼的概念，例如 ranges::ostream_iterator 对 OutputIterator 进行建模，但 std::ostream_iterator 没有。

具体来说，ranges::copy() 需要 WeaklyIncrementable<O>，它精炼了需要 DefaultConstructible 的 SemiRegular<O>。 ranges::ostream_iterator 是默认可构造的，但 std::ostream_iterator 不是。

因此失败了。

---

在P0896 中，基于范围的copy() 算法确实需要WeaklyIncrementable（因此需要DefaultConstructible）作为其输出迭代器 - 但通过向std::ostream_iterator 添加默认构造函数来解决这种不匹配问题（参见第70）。

---

作为对此的更新，P2325R3 刚刚被 C++20 追溯采用，这将恢复此更改。 std::ostream_iterator 将不再是默认可构造的，weakly_incrementable 概念将不再需要默认构造（以及其他更改）。

---

^† 请注意，range-v3/Ranges TS/Ranges Proposal 概念 OutputIterator 与标准库现有的 OutputIterator 概念是分开的。 std::ostream_iterator 不模拟前者，但它确实 模拟后者 - 所以今天使用 std::copy 和 std::ostream_iterator 非常好。在 P0896 之后，使用 ranges::copy 和 std::ostream_iterator 也可以 - 因为建议对 std::ostream_iterator 进行更改。