7

我正在尝试进行二进制搜索，包括整数对向量和整数，如下所示：

#include <vector>
#include <algorithm>
using namespace std;

typedef vector<pair<size_t,size_t> > int_pairs;

bool operator<(const size_t& l, const pair<size_t,size_t>& r)
    {return r.first < l;} // useful for binary search

int main(){
    int_pairs pairs_vec;
    pairs_vec.push_back(pair <size_t,size_t>(1,2));
    pairs_vec.push_back(pair <size_t,size_t>(2,2));
    size_t i(2);
    binary_search(pairs_vec.begin(),pairs_vec.end(),i);
}

编译器告诉我operator<未定义：

erreur: no match for ‘operator<’ (operand types are ‘const long unsigned int’ and ‘std::pair<long unsigned int, long unsigned int>’)

我做对了吗？我试图以多种不同的方式更改运算符的定义，但似乎没有任何效果。

4

1 回答 1

9

这不起作用的原因是它operator<不是从您调用的点开始查找的binary_search，而是稍后从它的主体内部查找 - 那是在 namespace 内部std。

由于已经在 namespace 中std::pair定义了关系运算符std，因此这些运算符将您的重载隐藏在全局范围内，并且永远不会通过名称查找找到它。

解决方案是根本不使用operator<。创建您自己的不与任何东西冲突的比较器类，重载其，并使用允许您指定自定义比较器operator()的其他重载。binary_search像这样的东西：

#include <vector>
#include <algorithm>
using namespace std;

typedef pair<size_t, size_t> my_pair;
typedef vector<pair<size_t,size_t> > int_pairs;

struct Comp {
    // important: we need two overloads, because the comparison
    // needs to be done both ways to check for equality

    bool operator()(my_pair p, size_t s) const
    { return p.first < s; }
    bool operator()(size_t s, my_pair p) const
    { return s < p.first; }
};

int main(){
    int_pairs pairs_vec;
    pairs_vec.push_back(pair <size_t,size_t>(1,2));
    pairs_vec.push_back(pair <size_t,size_t>(2,2));
    size_t i(2);
    binary_search(pairs_vec.begin(),pairs_vec.end(),i, Comp());
}

旁注：

您的尝试operator<是错误的，因为您在函数内切换了操作数的顺序。严格弱排序的比较器合约规定，如果第一个操作数在第二个之前，它必须返回 true （这适用于整个标准库中的所有比较函数）。

bool operator<(const size_t& l, const pair<size_t,size_t>& r)
{
    return r.first < l; // Wrong!
}

正如上面评论中所说，如果用于比较的操作数属于不同类型，则需要两个重载。要检查与 的相等性<，您需要两个测试：

(!(a < b) && (!b < a))
于 2013-08-23T15:59:41.817 回答