std::views为何忽略const左值引用语义？右值场景差异解惑

第一个场景：左值vector+视图能编译修改的原因 #

先看对应代码：

void foo(const auto& collection)
{
    *collection.begin() = 104;
}

int main()
{
    std::vector<int> ints {1, 2, 3, 4, 5};
    foo(ints); // 符合预期的编译错误
    foo(ints | std::views::all); // 编译通过并修改vector，为什么？
    return 0;
}

核心原因是视图的const属性和底层容器的可修改性完全分离：

• 当const auto&绑定到std::vector<int>时，容器本身被视为const，begin()返回const_iterator，解引用后是只读左值，赋值自然报错。
• 而ints | std::views::all生成的是std::ranges::ref_view<std::vector<int>>类型的引用视图，它仅持有底层左值vector的引用。此时const auto&修饰的是视图对象本身，而非底层容器：视图的const仅限制你不能修改视图自身的状态（比如更换它引用的容器），但不会传递到底层容器的元素访问上。因为底层vector是普通左值，视图的begin()仍然返回非const迭代器，解引用后就能修改元素。

补充疑问：右值vector+视图编译失败的原因 #

再看补充代码：

std::vector<int> getVec()
{
    return std::vector{1, 2, 3, 4, 5};
}

void foo(const auto& collection)
{
    *collection.begin() = 104; // 错误：只读位置的赋值
}

int main()
{
    foo(getVec() | std::views::all); // 编译失败！
    return 0;
}

这里的关键是视图处理右值容器的规则：
getVec()返回的是vector临时对象（右值），std::views::all作用于右值时，生成的视图会接管这个临时对象的所有权（比如std::ranges::owning_view）。为了避免潜在的悬垂引用问题，标准规定这类视图的元素访问会被限定为const——具体来说，视图的迭代器解引用后得到的是const int&，而非普通的int&。所以你尝试给只读的左值赋值，自然会触发编译错误。

简单总结：视图的const不影响底层元素的可修改性，真正决定元素能否修改的是**底层容器的值类别（左值/右值）**以及视图与容器的绑定方式。

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