C++函数对象与STL谓词深度解析

1. 从函数对象到STL谓词：一场运算符重载的深度探索

第一次看到priority_queue自定义排序规则时，那个神秘的operator()让我困惑不已。为什么一个类加上括号运算符就能改变容器的行为？这背后其实是C++中函数对象(Functor)的经典应用场景。让我们从一个简单例子开始：

cpp复制class Greeter {
public:
    void operator()(const string& name) {
        cout << "Hello, " << name << "!" << endl;
    }
};

// 使用方式
Greeter greet;
greet("World");  // 输出：Hello, World!

这个看似简单的语法糖，在STL中扮演着至关重要的角色。当我们在sort算法或priority_queue中使用自定义比较逻辑时，本质上就是在利用函数对象的特性。

关键理解：重载operator()的类实例，可以像函数一样被调用，同时又能保持类的所有特性（拥有状态、继承等）

2. 优先级队列的构建艺术

2.1 默认行为的局限性

STL中的priority_queue默认实现为大顶堆：

cpp复制priority_queue<int> pq;  // 默认使用less<int>，元素从大到小排列

但在实际开发中，我们经常需要最小堆或者自定义排序规则。这时就需要理解其底层构造：

cpp复制template <class T, class Container = vector<T>, 
          class Compare = less<typename Container::value_type>>
class priority_queue;

2.2 自定义比较的三种实现方式

方式一：函数指针（最原始但不够灵活）

cpp复制bool myCompare(int a, int b) { return a > b; }
priority_queue<int, vector<int>, decltype(&myCompare)> pq(myCompare);

方式二：lambda表达式（C++11后推荐）

cpp复制auto cmp = [](int a, int b) { return a > b; };
priority_queue<int, vector<int>, decltype(cmp)> pq(cmp);

方式三：函数对象（最经典可靠）

cpp复制struct MyCompare {
    bool operator()(int a, int b) const {
        return a > b;
    }
};
priority_queue<int, vector<int>, MyCompare> pq;

实测建议：在需要比较器携带状态的场景下，函数对象是唯一选择。例如实现一个可动态调整比较规则的智能比较器。

2.3 典型应用场景剖析

场景一：Dijkstra算法中的优先队列

cpp复制struct Node {
    int vertex;
    int distance;
};

struct NodeCompare {
    bool operator()(const Node& a, const Node& b) const {
        return a.distance > b.distance;  // 最小堆
    }
};

priority_queue<Node, vector<Node>, NodeCompare> pq;

场景二：多条件排序

cpp复制struct