C++20 范围太多 |运营商？

我在这段代码中使用 g++ 10.2。有谁知道为什么我最后收到编译器错误std::views::reverse on results3?

#include <vector>
#include <ranges>

int main() {
    auto values = std::vector{1,2,3,4,5,6,7,8,9,10};
    auto even = [](const auto value) {
        return value % 2 == 0;
    };
    auto square = [](const auto value) {
        return value * value;
    };

    auto results1 = values
        | std::views::filter(even)
        | std::views::reverse
        | std::views::take(4)
        | std::views::reverse;

    auto results2 = values
        | std::views::transform(square)
        | std::views::reverse
        | std::views::take(4)
        | std::views::reverse;

    auto results3 = values
        | std::views::filter(even)
        | std::views::transform(square)
        | std::views::reverse
        | std::views::take(4)
        | std::views::reverse; // Error happens on this line.
}

错误片段：

...
<source>: In function 'int main()':
<source>:30:9: error: no match for 'operator|' (operand types are 'std::ranges::take_view<std::ranges::reverse_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<int, std::allocator<int> > >, main()::<lambda(auto:13)> >, main()::<lambda(auto:14)> > > >' and 'const std::ranges::views::__adaptor::_RangeAdaptorClosure<std::ranges::views::<lambda(_Range&&)> >')
   25 |     auto results3 = values
      |                     ~~~~~~
   26 |         | std::views::filter(even)
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~
   27 |         | std::views::transform(square)
      |         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
   28 |         | std::views::reverse
      |         ~~~~~~~~~~~~~~~~~~~~~
   29 |         | std::views::take(4)
      |         ~~~~~~~~~~~~~~~~~~~~~
      |         |
      |         std::ranges::take_view<std::ranges::reverse_view<std::ranges::transform_view<std::ranges::filter_view<std::ranges::ref_view<std::vector<int, std::allocator<int> > >, main()::<lambda(auto:13)> >, main()::<lambda(auto:14)> > > >
   30 |         | std::views::reverse;
      |         ^ ~~~~~~~~~~~~~~~~~~~
      |                       |
      |                       const std::ranges::views::__adaptor::_RangeAdaptorClosure<std::ranges::views::<lambda(_Range&&)> >
...

完整的错误集可以在这里看到：https://godbolt.org/z/Y7Gjqd https://godbolt.org/z/Y7Gjqd

TL;DR：在这种情况下，结果的迭代器类型std::views::take is std::counted_iterator，当迭代器概念不会失败时，它有时会失败。这是LWG 3408 http://wg21.link/lwg3408并通过以下方式解决P2259 http://wg21.link/p2259.

这涉及一些非常复杂的机制。

Let

• T是迭代器类型values | std::views::filter(even) | std::views::transform(square),
• R be std::reverse_iterator<T>.

在初始化程序中result3:

1. 迭代器类型为... | take(4) is std::counted_iterator<R>.
2. The iterator_traits for std::counted_iterator<R>匹配部分专业化std::iterator_traits<std::counted_iterator<I>>.
3. 所述部分专业化源自std::iterator_traits<I>.
4. std::iterator_traits<R>从主模板生成：它提供了一个名为iterator_category，但不是名为的成员iterator_concept.
5. The iterator_category of R是一样的T.
6. The iterator_category of T is input_iterator_tag，因为它的解引用运算符不返回引用，这是 C++17 ForwardIterator 要求所不允许的。 （这iterator_concept of T is bidirectional_iterator_tag.)

所以最后，std::iterator_traits<std::counted_iterator<R>>不提供iterator_concept，及其iterator_category is input_iterator_tag.

因此，结果为... | take(4)无法建模bidirectional_range，因此被拒绝views::reverse.

（迭代器类型为... | take(4)不是一个counted_iterator when filter从管道中移除；这iterator_category is not input_iterator_tag when transform被从管道中移除。所以result1 and result2不要触发此错误。）

这本质上是LWG 3408 http://wg21.link/lwg3408.