C++20 std::views::join处理嵌套single_view出现无限循环问题咨询

复现场景 #

基于GCC 10.2、11版本内置的C++20 ranges库开展功能验证，测试目标为std::views::join的扁平化运行行为：通过std::views::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) { // 运行时进入无限循环，最终触发段错误
    std::cout << x << '\n';
  }
}

运行现象与对照测试 #

• 预期逻辑：上述for循环应当仅执行1次迭代，输出初始值1后正常退出
• 实际运行：代码进入无限循环，最终因非法内存访问触发段错误
• 对照验证：将transform返回的嵌套std::views::single替换为std::views::iota(a,b)或std::views::empty<int>时，全流程运行完全正常，无上述异常

合规性判定与问题成因 #

该行为不属于C++20标准规定的预期表现，本质是GCC旧版本ranges组件的实现bug：

1. 按照C++20标准对视图语义的约定，该测试场景下构造的扁平化视图，应当满足“单次元素迭代后即到达视图末端”的特性，经校验，测试场景下std::ranges::next(v.begin()) == v.end()的判断逻辑应当完全成立
2. bug触发的核心原因：GCC早期实现中，join_view的迭代器状态推进逻辑与single_view的迭代器特性存在匹配疏漏。当嵌套的内部视图为single_view时，join_view在完成一次内部视图的元素遍历后，没有正确将外层迭代器推进到视图末端位置，反而反复重置定位到同一个内部single_view的起始位置，最终形成无限循环与非法内存访问
3. 影响范围与修复进展：受影响的版本包含GCC 10.3、11.1，该问题已在GCC主分支trunk及11.1.1版本中完成修复。

内容的提问来源于stack exchange，提问作者Pascal H.