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

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已经在命名空间relational operators中定义了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))