Range V3中非借用视图左值的Slice不复制视图是否为预期行为？

我在理解Range V3库的设计思路时遇到了困惑：像ranges::views::transform这类视图适配器会通过ranges::views::all复制输入视图（或为容器创建引用视图），但ranges::views::slice这类适配器却不会。这种不一致性如果处理不当很容易引发意外行为。

以下代码示例展示了局部作用域创建视图并返回适配视图时的问题：

#include <iostream>
#include <vector>

#include <range/v3/all.hpp>

auto get_slice(const std::vector<int>& vec) {
    auto symmetric = ranges::views::concat(
        vec | ranges::views::reverse,
        ranges::views::single(-1),
        vec
    );

    for (auto x : symmetric)
        std::cout << x << " ";
    std::cout << std::endl;

    using view_type = decltype(symmetric);
    static_assert(!ranges::borrowed_range<view_type>);
    static_assert(ranges::borrowed_range<view_type&>);

    // 此处会触发未定义行为
    return symmetric | ranges::views::slice(size_t(1), size_t(2 * vec.size()));
}

int main() {
    std::vector<int> vec { 0, 1, 2, 3, 4, 5 };

    for (int x : get_slice(vec))
        std::cout << x << std::endl;

    return 0;
}

在get_slice函数中，左值symmetric属于非借用范围（borrowed_range<view_type>为false），但它的左值引用是借用范围。当函数返回时，symmetric离开作用域被销毁，而slice适配器直接持有了它的迭代器，导致后续访问时触发未定义行为。此时需要手动通过ranges::views::all复制视图，或者用std::move让slice自行复制视图；但如果换成transform适配器则不需要手动处理，它会自动完成复制。

疑问解答 #

1. 为何部分范围适配器会复制视图，而另一些不会？ #

这本质上是适配器是否需要持有底层范围所有权的设计选择，核心围绕两个维度：

• 适配器功能特性：transform这类适配器属于"生成型"视图，逻辑依赖对底层范围元素的持续访问，需要确保底层范围生命周期覆盖自身，因此会自动复制非借用范围的输入；而slice属于"窗口型"视图，核心是提供原范围的子区间视图，设计初衷是尽可能轻量，避免不必要的复制开销。
• borrowed_range概念适配：适配器会根据输入是否满足borrowed_range调整行为。对于左值输入，若输入是borrowed_range则直接借用；若不是，部分适配器（如transform）会自动复制获取所有权，slice则选择维持轻量的迭代器持有模式，把生命周期管理责任交给用户。

2. 为何slice不复制左值视图，而是直接使用其迭代器生成子范围？这是否为预期且有用的设计？ #

这是完全预期且有用的设计，原因如下：

• 性能优先：slice的核心价值是快速创建原范围的子视图，复制复杂组合视图会带来额外开销，设计上优先保证轻量高效。
• 灵活性更强：把生命周期控制权交给用户，意味着用户可根据场景选择：若需要slice独立于原视图存在，就手动用std::move或views::all复制；若原视图生命周期足够覆盖slice使用，就直接借用避免冗余复制。
• 符合视图设计哲学：Range V3的视图强调"惰性求值"和"轻量组合"，slice作为基础窗口适配器，保持轻量的迭代器持有模式，更贴合视图"只描述数据访问方式、不持有数据（除非用户明确要求）"的核心理念。

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