为何C++ STL中所有范围相关算法都被封装在结构体中？

这种「结构体封装operator()+constexpr全局实例」的设计，核心是解决自由函数模板无法处理的几个关键场景：

• 实现同一名字下的多态重载
  范围算法需要同时支持两种调用方式：传统的迭代器对(first, last)，以及直接传入范围对象（比如std::vector）。如果用自由函数模板，无法给同一函数名编写多个无歧义的模板重载（会因为参数推导规则导致冲突），但结构体的operator()可以轻松实现多模板重载，编译器能根据调用参数自动匹配对应版本。比如std::ranges::upper_bound既接受迭代器范围，也接受直接传入容器，就是靠结构体里的两个operator()重载实现的。

• 避免ADL（参数依赖查找）的混乱
  自由函数模板的ADL规则会让编译器在实参的命名空间中查找函数，很容易出现命名冲突或意外的查找结果。而函数对象（结构体实例）的调用只会触发operator()的查找，不会触发ADL对函数名的查找，能保证范围算法的调用行为可预测，尤其是和自定义范围类型配合时，不会因ADL引入不必要的函数。

• 直接作为可调用对象传递
  当需要把范围算法传给其他STL组件（比如std::ranges::transform或自定义高阶函数）时，直接传std::ranges::upper_bound这个constexpr实例即可——它本身就是一个可调用对象，不需要额外用lambda或std::bind包装。如果是自由函数模板，无法直接传递模板本身，必须显式指定模板参数或写lambda包装，操作繁琐。

• 统一API风格
  所有范围算法采用这种设计，让整个ranges库的使用方式保持一致。用户只要掌握一种算法的调用逻辑，就能直接套用在其他算法上，不用区分自由函数和函数对象，降低学习成本。

举个更具体的实现示例，能直观看到重载的优势：

struct upper_bound_fn {
    // 迭代器范围版本
    template<typename I, typename S, typename T, typename Proj = std::identity>
    requires std::forward_iterator<I> && std::sentinel_for<S, I>
    constexpr I operator()(I first, S last, const T& value, Proj proj = {}) const {
        // 核心查找逻辑
    }

    // 直接接受范围对象的版本
    template<typename R, typename T, typename Proj = std::identity>
    requires std::ranges::forward_range<R>
    constexpr auto operator()(R&& r, const T& value, Proj proj = {}) const {
        return (*this)(std::ranges::begin(r), std::ranges::end(r), value, std::move(proj));
    }
};

inline constexpr upper_bound_fn upper_bound;

你之前写自由函数模板遇到的类型错误，大概率是因为无法同时支持两种调用方式的模板参数推导，而结构体的operator()重载正好解决了这个问题。

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