MSVC中std::vector临时值搭配std::views::filter管道运算符编译失败

这个编译错误的核心是两个因素叠加导致的：

1. 你自定义的谓词sumGreaterThan的调用运算符没有加const修饰，不符合C++标准对range适配器谓词的要求
2. MSVC 19版本对右值range配合管道运算符的重载决议逻辑存在实现差异

具体拆解 #

• std::ranges::filter要求传入的谓词必须支持用const修饰的谓词实例调用，也就是说你的operator()必须是const成员函数。你当前的写法里operator()是non-const的，只有non-const的实例才能正常调用。
• 第2段代码中，你把buildMultiples的返回值存到了左值变量vecs里，MSVC处理左值range的管道调用时，放宽了对谓词的const校验，所以可以编译通过。
• 第3段代码中，buildMultiples(nums)返回的是临时右值vector，MSVC处理右值range的管道运算符重载时，对谓词的const要求更严格，你的non-const operator()无法匹配要求，就找不到对应的|运算符重载，触发了你看到的报错。
• 第4段代码因为先在range-for的初始化语句里把返回值存到了左值vecs，逻辑和第2段完全一致，所以可以编译通过。

任选以下一种方案即可解决问题：

• 方式1：给谓词的调用运算符加const修饰（符合C++标准的最优方案）

template<typename T>
struct sumGreaterThan
{
    T _limit{ 0 };
    // 调用运算符加const修饰
    auto operator()(const std::vector<T>& v) const {return std::accumulate(v.cbegin(), v.cend(), 0) > _limit;}
};

修改后第3段代码可以正常编译。

• 方式2：显式指定谓词的模板参数
  如果不想修改谓词定义，也可以避免类模板参数推导的歧义，显式指定模板参数：

sumGreaterThan<int> sumFilter{ 10 }; // 显式声明T为int

这个问题属于MSVC旧版本的实现兼容问题，在VS2022对应的v143版MSVC、GCC、Clang编译器上，只要谓词加了const修饰，右值vector直接接views::filter都可以正常编译。

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