为何无法为同类型C++视图执行重新赋值操作？

核心原因 #

• 视图的设计语义不支持赋值
  C++20的范围视图（比如std::views::filter返回的filter_view）是对底层数据的轻量观察者，本身不存储数据，只保留对原始序列的引用和变换逻辑。标准库为了维持这种“观察”的语义，刻意禁用了大多数视图类型的赋值运算符——要么显式删除，要么因为内部成员不可拷贝而无法生成合法的赋值逻辑。

• filter_view的内部结构限制
  filter_view包含两个核心成员：原始序列的引用，以及用于过滤的谓词（比如你代码里的lambda）。如果谓词是带捕获的lambda，这类lambda默认是不可拷贝的，直接导致整个filter_view无法完成拷贝或赋值操作。就算谓词是可拷贝的，filter_view的赋值运算符也被标准库默认删除，因为视图的设计目标不是“修改观察目标”，而是“创建新的观察视角”。

解决思路 #

如果需要在视图为空时切换观察逻辑，不要尝试赋值已有的视图对象，而是重新创建视图，或者用std::optional来存储视图，需要时直接构造新的实例：

#include <ranges>
#include <vector>
#include <optional>

int main() {
    std::vector<int> nums = {1,2,3,4,5};
    // 用optional存储视图，支持后续重新构造
    std::optional<std::ranges::filter_view<decltype(nums), decltype([](int x){return x%2==0;})>> selected;

    // 初始化第一个视图
    selected.emplace(nums | std::views::filter([](int x){return x%2 == 0;}));

    // 当视图为空时，替换为新的视图
    if (selected->empty()) {
        selected.emplace(nums | std::views::filter([](int x){return x%2 != 0;}));
    }
}

或者更简单的方式：直接重新定义变量（如果作用域允许），或者使用std::move转移视图的所有权（但转移后原视图会失效，仅适用于一次性替换场景）。

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