无法遍历const视图：含filter的ranges视图为何不能const迭代？

问题代码 #

int main()
{
    const std::vector v {1,2,3};
    const auto squared=v|std::ranges::views::filter(
        [](auto i){
            return i%2==0;
        }) | std::ranges::views::transform(
            [](auto i){
                return i*i;
            }
        );
    for (const auto s:squared){
        std::cout << s<<std::endl;
    }
}

这段代码编译时会报错“迭代时丢弃限定符”，仅当把squared改为非const，或者移除filter视图后才能正常编译，以下是问题解答：

1. 为何squared必须是非const的？ #

你猜的没错，核心原因是filter视图的begin()成员函数没有const版本。那为什么只读遍历const视图不被允许？因为filter视图在创建迭代器时，需要动态跳过不满足条件的元素——这个过程会修改视图内部的状态（比如记录当前找到的第一个符合条件的元素位置）。哪怕只是只读遍历，这个查找匹配元素的过程也会改变视图的内部状态，而const成员函数要求不能修改对象状态，因此filter视图无法提供const版本的begin()。

当squared被声明为const时，遍历它会尝试调用const版本的begin()，但filter视图根本没有实现这个版本，编译器就会抛出“丢弃限定符”的错误——本质是找不到匹配的const成员函数，只能尝试调用非const版本，但对象是const的，因此不被允许。

2. 为何移除filter能解决问题？它和transform视图有何本质区别？ #

transform视图是无状态的：它不需要记录任何额外的内部状态，遍历过程中每个元素的处理都是独立的——拿到输入元素后直接应用转换函数，输出结果即可。它的begin()成员函数不需要修改视图的任何状态，因此可以提供const版本。

而filter视图是有状态的：它的迭代器在构造或递增时，需要遍历底层容器、跳过不符合条件的元素，这个过程依赖于视图（或迭代器）内部的状态记录。因此它的begin()函数必须是非const的，因为调用它会修改视图的内部状态。当移除filter后，剩下的transform视图支持const调用，所以const的squared就能正常遍历了。

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