使用自定義運算符的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那個角度binary_search ，而是稍后從它的body中binary_search - 而且是在命名空間std 。

由於std::pair已經在namespace 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))