C++中std::sort用bool比较函数还是sCompare仿函数？二者有何差异？

方案选择建议 #

优先选择方案2：重载()运算符的sCompare仿函数，在绝大多数场景下它的表现都优于普通函数实现。

选择仿函数的核心理由 #

std::sort是模板实现的STL算法，传入仿函数时，编译器可以拿到完整的类型信息，大概率会直接把operator()的比较逻辑内联到排序代码里，完全消除函数调用开销。而传入普通函数时，本质是传递一个函数指针，编译器很难对函数指针指向的逻辑做内联优化，每次比较都要触发一次函数调用，当待排序的元素量级较大时，性能差距会非常明显。

两种实现的核心区别 #

• 性能差异：如上面提到的，仿函数支持编译器内联优化，排序性能远高于普通函数指针的实现。
• 状态支持能力：仿函数是可实例化的类对象，可以自定义成员变量存储自定义状态，比如动态调整排序升序/降序、设置多字段比较的优先级等，无需依赖全局变量就能实现灵活的比较逻辑；普通函数要存储状态只能依赖全局/静态变量，线程安全性差，也容易引发副作用。
  示例：带状态的仿函数实现

struct sCompare
{
    bool is_ascend;
    // 构造时传入排序方向参数
    sCompare(bool ascend): is_ascend(ascend) {}
    bool operator()(const Dog& a, const Dog& b)
    {
        return is_ascend ? a.m_age < b.m_age : a.m_age > b.m_age;
    }
};
// 升序排序调用：sort(begin(dogs), end(dogs), sCompare(true));
// 降序排序调用：sort(begin(dogs), end(dogs), sCompare(false));

• 类型安全性：仿函数的类型在编译期完全确定，模板匹配时不会出现类型匹配错误；如果存在多个同名的compare重载函数，传递普通函数指针时很容易匹配到错误的重载版本，需要额外做显式类型转换。
• 扩展性：仿函数可以配合其他STL算法直接复用，也支持继承、特化等面向对象特性扩展逻辑，普通函数的复用和扩展能力要弱很多。

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