C++20 views::join 在生成的嵌套范围上进入无限循环::single_view

Question

我正在使用带有 GCC 实现（v10.2 和 v11）的 C++20 范围。

为了测试行为的std::views::join，我试图生成使用嵌套视图single，然后我平坦它使用join。

#include <ranges>
#include <iostream>

int main() {
  auto data = std::views::single(1);
  auto v =
      data
      | std::views::transform([](const auto &s) { return std::views::single(s); })
      | std::views::join
      ;

  for (auto &&x : v) { // Infinite loop + segfault
    std::cout << x << '\n';
  }
}

[在编译器资源管理器中]

我希望找到for 的一个迭代器具有初始值 (1)循环。但是不......它进入了一个无限循环，因为我使用了这个值，所以出现了段错误。

如果我std::views::single用std::views::iota(a,b)或替换嵌套std::views::empty<int>，则行为完全没问题。

您知道这是否是正确的预期行为（以及为什么）？

编辑

std::ranges::next(v.begin()) == v.end() 必须是真的。

这是 GCC 10.3 和 11.1 中的一个错误。
它已在 GCC 主干和 11.1.1 中得到修复。