C++ 为什么std:：ranges:：filter\u视图对象必须是非常量才能查询其元素？ #包括 #包括 #包括 使用名称空间std:：literals； int main（） { auto fn_是_l=[]（auto const c）{return c=='l'；}； { auto v=“hello”sv | std:：views:：filter（fn_是_l）； std:：cout

为了提供

范围

所需的摊销常数时间复杂性，

过滤器视图：：begin

将结果缓存在

*this

中。这会修改

*this

的内部状态，因此无法在

常量

成员函数中完成。

您是否尝试过使用

cbegin（）

相反？默认情况下，没有

std:：ranges:：view

对象的

cbegin

成员。奇怪的是，是否可以保证带缓存或不带缓存的结果相同。（可以吗？）那么mutable是一个选项，对吗？const是关于对象的外部api，而不是内部状态。正确使用mutable关键字很重要，但它是可以做到的。@BradGonessurfing对，从技术上讲这是可能的，但这需要线程同步（以满足

const

函数的要求），这被认为太贵了。是否不允许在每个线程的基础上进行缓存？@dan04-这不再满足时间复杂性要求，至少从迂腐的角度来看是这样。

#include <ranges>
#include <iostream>
#include <string_view>

using namespace std::literals;

int main()
{
    auto fn_is_l = [](auto const c) { return c == 'l'; };

    {
        auto v = "hello"sv | std::views::filter(fn_is_l);
        std::cout << *v.begin() << std::endl; // ok
    }

    {
        auto const v = "hello"sv | std::views::filter(fn_is_l);
        std::cout << *v.begin() << std::endl; // error
    }
}

<source>:18:30: error: passing 'const std::ranges::filter_view<
                       std::basic_string_view<char>, main()::
                       <lambda(auto:15)> >' as 'this' argument discards
                       qualifiers [-fpermissive]
   18 |         std::cout << *v.begin() << std::endl; // error
      |                       ~~~~~~~^~
In file included from <source>:1:/include/c++/11.1.0/ranges:1307:7: 
     note: in call to 'constexpr std::ranges::filter_view<_Vp, 
           _Pred>::_Iterator std::ranges::filter_view<_Vp, Pred>
           ::begin() [with _Vp = std::basic_string_view<char>; _Pred =
           main()::<lambda(auto:15)>]'
 1307 |       begin()
      |       ^~~~~