C++20 Ranges库为何为每个视图定义两个名称？二者是否有差异？

好问题！很多刚接触C++20 Ranges的开发者都会对这两个名字犯迷糊，我来帮你捋清楚。

二者的核心区别？只是风格问题吗？ #

其实不完全是风格问题，虽然在不少场景下它们的表现一致，但底层机制和适用场景有细微差别：

• std::ranges::filter_view 是一个实打实的类模板，你可以直接用它构造对象，比如：

  std::vector<int> nums = {1,2,3,4,5};
  auto even_filter = std::ranges::filter_view{nums, [](int x){return x%2 ==0;}};
  

• 而 std::ranges::views::filter 是一个范围适配器对象，本质是个智能函数对象，会根据传入的参数自动推导并构造对应的filter_view实例。更关键的是，它支持Ranges标志性的管道操作符|，这是日常编码里最常用的写法：

  auto evens = nums | std::ranges::views::filter([](int x){return x%2 ==0;});
  

  这种管道式的流畅写法是直接用filter_view做不到的，因为管道操作是适配器对象特有的能力。

另外还有个细节：views::filter会做额外的参数适配和类型推导，比如处理临时范围、完美转发参数等，比直接构造filter_view更灵活。当然，如果你的场景不需要管道语法，直接用类构造也完全没问题——这时候才算是纯粹的风格差异。

为什么Ranges库要设计两个名称？ #

这是Ranges库分层设计思路的体现，主要有这几个原因：

• 易用性与灵活性分离：
  • views::filter这类适配器是给日常编码准备的"快捷语法糖"，管道语法让代码更流畅易读，贴合函数式编程的风格。
  • filter_view这类类模板是底层的实现载体，给需要精确控制对象构造、或者做高级扩展的进阶场景使用。
• 延续C++的设计传统：
  C++里很多特性都遵循"便捷工厂函数+底层实体类"的模式，比如std::make_unique和std::unique_ptr。Ranges延续了这个思路，让普通开发者能用最顺手的方式写代码，同时给进阶开发者留足底层操作的空间。
• 适配不同编程范式：
  管道语法是函数式编程的风格，直接构造类是面向对象的风格，Ranges库同时支持两种范式，满足不同开发者的编码习惯。

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