C++ STL 比较类：如何参数化比较类行为？

Question

我想使用带有自定义数据类型和几个比较标准的 std::priority_queue 容器（我为每个标准定义了一个函子；每个标准都处理相同的类型）。 使用的比较标准本身应该可以通过函数参数进行配置（避免队列的 if_then_ 初始化）。

基于这篇文章，如下据我了解，使用比较函子，它本身是用指向定义的比较函数之一的函数指针初始化的，我尝试使用可配置的比较函子，它是用另一个比较函子初始化的（然后存储在本地并调用时使用）。我还没有让它发挥作用。

我什至不知道是否可以做我想做的事情。我不知道我是否在类型方面做错了（我使用了 typedef boost::function xxx）或者需要额外的 C++0x 功能（“闭包”有帮助吗？）。

所以基本上我希望有类似下面的东西可以工作（这不会编译一个不长但丑陋的错误；GCC 4.5）：

#include <iostream>
#include <queue>
#include <boost/tuple/tuple.hpp>
#include <boost/function.hpp>

typedef boost::tuple<double, int> custom_type;  // example only!
typedef boost::function<bool (const custom_type & l, const custom_type & r)> comp_type; // comparison functor

struct fifo_comp
{
    bool operator() (const custom_type & l, const custom_type & r) const
    {
        // compare only id
        return l.get<1>() > r.get<1>();
    }
};

struct lifo_comp
{
    bool operator() (const custom_type & l, const custom_type & r)
    {
        // compare only id
        return l.get<1>() < r.get<1>();
    }
};

class Compare
{
    public:
        explicit Compare(const comp_type & comp);

        bool operator() (const custom_type & l, const custom_type & r)
        {
            return comp(l, r);
        }

    private:
        const comp_type & comp;
};

class Some_Class_Using_Queue
{
public:
    Some_Class_Using_Queue(comp_type & comp) : pqueue(Compare(comp)) {}

    void test()
    {
        pqueue.push(custom_type(1.0, 1));
    }

private:
    std::priority_queue<custom_type, std::vector<custom_type>, Compare> pqueue;
};

int main()
{
    comp_type f = fifo_comp();
    Some_Class_Using_Queue temp((f));    // critical
    temp.test();
    return 1;
}

• 任何帮助让它为我工作（使用STL/Boost）受到鼓励）？
• 有更好的想法（完全不同吗）？
• 是否有任何很酷的 C++0x 功能在这里提供帮助（也许是闭包）？

谢谢。

PS/编辑：我知道，使类模板化并使用适当的 comp-class 作为模板参数来调用该类是可能的，而且非常容易。但我不知道这是否是更好的方法（关于设计）。使用这种方法，我必须在调用之前切换/if-else，因为需要模板参数在编译时可用。

PS：我设置了“priority_queue”标签，即使问题可能完全是这样独立于该适配器类。如果有人想删除它，就这么做吧。

Answer 1

您缺少 Compare 构造函数的定义：

explicit Compare(const comp_type & comp) : comp(comp) { }

除此之外，它为我构建和运行。

此外，Compare 似乎是多余的。它只是用相同的接口包装 comp_type 。删除 Compare 类并将其替换为 comp_type 后，代码仍然可以构建并运行。