C++20及以上版本：哪些范围视图与算法支持管道操作？

为什么第二种写法无法编译？ #

先看你的两段代码：

能正常编译的版本：

auto isEven = [](auto i) { return i % 2 == 0; };
auto filtered = vec | std::views::filter(isEven);
auto minEven = std::ranges::min_element(filtered);

无法编译的版本：

auto isEven = [](auto i) { return i % 2 == 0; };
auto minEven = vec | std::views::filter(isEven) | std::ranges::min_element();

底层原因很明确：C++20的管道语法（|）只支持范围适配器（Range Adaptor），而std::ranges::min_element是范围算法（Range Algorithm），不是适配器。

• 范围适配器（比如std::views::filter）的设计目标是通过管道生成新的视图（View），它们要么本身重载了operator|，要么返回的闭包对象能和范围配合使用|。当你写vec | std::views::filter(isEven)时，实际上是把vec传给了filter适配器，生成一个过滤后的视图。
• 而范围算法（比如min_element、max_element、for_each）是直接接收范围作为参数来执行计算的函数，C++20标准并没有为这些算法实现管道操作的重载。你写std::ranges::min_element()时，试图无参调用这个算法的 functor，但它需要接收一个范围作为参数，所以编译器会报参数数量错误。

如何判断哪些范围工具支持管道操作？ #

可以通过以下几个简单的规则快速判断：

• 优先看命名空间：std::views下的所有工具（比如filter、transform、take、drop、reverse等）都是范围适配器，全部支持管道语法，它们就是为管道式范围编程设计的。
• 区分工具的作用：如果工具是用来生成新的范围/视图，那它大概率是适配器，支持管道；如果工具是用来处理范围并返回结果（如最值、迭代器）或修改元素，那它是范围算法，C20里基本不支持管道（C23有少量例外，比如std::ranges::to）。
• 查标准定义：如果不确定某个工具是否支持管道，可以查看C++标准中是否存在operator|的重载——针对范围和该工具的组合重载存在，就支持管道。

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