使用std::ranges::join拼接single_view出现异常输出的问题排查

问题成因 #

这个问题的核心是C++ ranges视图的惰性求值特性和临时对象生命周期共同导致的未定义行为：

1. 所有std::views系列的适配器都是惰性计算的：你构造ints变量的时候，并没有实际执行transform的转换逻辑，也没有生成任何single_view对象，所有计算都推迟到你遍历ints的时候才执行。
2. 当你遍历ints时，std::views::transform的迭代器每次解引用都会调用你传入的lambda，生成一个临时的std::ranges::single_view<int>对象。这个临时对象属于纯右值，它的生命周期仅持续到解引用所在的完整表达式结束。
3. std::views::join的迭代逻辑分为两步：先拿到transform生成的临时single_view，再迭代这个single_view取出内部存储的整数。这两步是两个独立的表达式，当执行第二步取整数值时，第一步生成的临时single_view已经被销毁，你访问的是已经被回收的栈内存，自然就会输出乱码。

你产生预期的逻辑本身是成立的，只是遗漏了两个关键要点：

• 视图的惰性求值特性，所有计算不会提前执行
• std::ranges::single_view不属于borrowed_range：它的迭代器指向自身内部存储的数值，一旦single_view对象销毁，迭代器就会立即悬垂，访问结果是未定义的。

修复方案 #

你可以选择任意一种方式修改代码来得到预期结果：

• 方案1：将lambda返回值替换为属于borrowed_range的视图，比如std::views::iota(i, i+1)。这种视图的迭代器不依赖视图对象本身的生命周期，就算临时视图销毁，迭代器依然有效：

auto ints = for_each(std::views::iota(0,9), [](int i) {
        return std::views::iota(i, i+1);
        });

• 方案2：使用C++23标准库提供的std::views::flat_map，标准实现已经处理了临时子范围的生命周期问题，不会出现悬垂：

auto ints = std::views::iota(0,9) | std::views::flat_map([](int i) {
        return std::ranges::single_view<int>{i};
        });

• 方案3：在join之前先把transform的结果转换为owning容器，提前存储所有single_view避免临时对象销毁：

template<class R, typename Fun>
auto for_each(R&& r, Fun f) {
    auto trans = std::forward<R>(r) | std::views::transform(std::move(f)) | std::ranges::to<std::vector>();
    return trans | std::views::join;
}

内容的提问来源于stack exchange，提问作者Reimundo Heluani