Question

我正在尝试进行包含整数对向量和整数向量的binary_search，如下所示：

#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>’)

我是以正确的方式做到的吗？我试图以许多不同的方式改变运算符的定义，但似乎没有任何效果。

Answer 1

这不起作用的原因是operator<没有从您调用binary_search的点开始查找，而是稍后从其正文内部查找 - 并且在名称空间std内

由于std::pair已经在命名空间std中定义了relational operators，因此这些隐藏了全局范围内的重载，并且从未通过名称查找找到它。

解决方案是根本不使用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))

使用自定义运算符的std :: pair的binary_search

1 个答案: