std::binary_search 的自定义比较函数

Question

这段代码有问题吗？

bool Spellcheck::smart_comp(string value, string key){
    return true;
}

void func(){
    std::string aprox_key = "hello";
    if(std::binary_search(this->words.begin(), this->words.end(), aprox_key, smart_comp)){
        std::cout << "Found" << std::endl;
    }
}

我正在尝试编写自己的比较函数来比较二进制搜索中的字符串，

但出现以下错误：

xyz.cpp:40:85: error: no matching function for call to ‘binary_search(std::vector<std::basic_string<char> >::iterator, std::vector<std::basic_string<char> >::iterator, std::string&, <unresolved overloaded function type>)’
xyz.cpp:40:85: note: candidates are:
/usr/include/c++/4.6/bits/stl_algo.h:2665:5: note: template<class _FIter, class _Tp> bool std::binary_search(_FIter, _FIter, const _Tp&)
/usr/include/c++/4.6/bits/stl_algo.h:2698:5: note: bool std::binary_search(_FIter, _FIter, const _Tp&, _Compare) [with _FIter = __gnu_cxx::__normal_iterator<std::basic_string<char>*, std::vector<std::basic_string<char> > >, _Tp = std::basic_string<char>, _Compare = bool (Spellcheck::*)(std::basic_string<char>, std::basic_string<char>)]
/usr/include/c++/4.6/bits/stl_algo.h:2698:5: note:   no known conversion for argument 4 from ‘<unresolved overloaded function type>’ to ‘bool (Spellcheck::*)(std::basic_string<char>, std::basic_string<char>)’

感谢任何帮助...

Answer 1

这段代码有问题吗？

bool Spellcheck::smart_comp(字符串常量值，字符串常量键){
  返回真；
}

除了它总是返回 true？是的，基本问题是成员函数有一个隐式参数 this，因此签名与预期谓词的签名不匹配。您应该使用static这个函数，甚至是一个免费函数（如果需要的话，friended）。此外，您每次都会复制字符串，最好通过 const 引用获取参数，以避免不必要的复制。

如果谓词的实际结果取决于 Spellcheck 对象的状态，则必须将该状态绑定到成员函数才能创建具有适当签名的函数对象：

std::binary_search(
    this->words.begin(), this->words.end()
  , std::bind( &Spellcheck::smart_comp, this )
);

Answer 2

您试图传递一个非静态成员函数，该函数不可转换为所需的二进制函数（因为有三个实际参数）。

尝试将您的 smart_comp 函数声明为 static。 （当然，你不能引用实例成员；如果你需要有状态，你就必须编写一个完整的函子。）

Answer 3

假设 this->words 的类型为 std::vector 并且 func 是 的成员拼写检查，您可以通过将 smart_comp 声明为 static 来解决此问题。但我会对你的课程设计三思而后行。