在 C++ 中工作的 STL 和 std 自定义比较参数

Question

我在stackoverflow上问了这个问题STL passing object

我知道我们传递的对象在 tern 中调用比较运算符并比较我们的值并给我们一个结果。都很好。

现在在这段代码中：

class Compare {
    public:
    bool operator ()(const int &a, const int &b) { return a < b;}
};

void solve(){
    set<int, Compare> s;
    vector<int> arr = {1,4,6,3,7,2,8,588,5};    
    for(int e : arr) s.insert(e);
    for(auto it = s.rbegin();it!=s.rend();it++) cout << *it << ' '; cout << endl;
}

如果我执行 Compare() 会出错，这是我认为必须完成的（传递对象）。为什么这样？我们如何通过比较？

同样在这段代码中，我无法传递如下函数：

bool comp(const int &a, const int &b) { return a < b; }

void solve(){
    set<int, comp> s;
    vector<int> arr = {1,4,6,3,7,2,8,588,5};    
    for(int e : arr) s.insert(e);
    for(auto it = s.rbegin();it!=s.rend();it++) cout << *it << ' '; cout << endl;
}

这是我所期望的。不传递函数。

现在在这段代码中：

bool comp(const int &a, const int &b) { return a < b; }

void solve(){
    vector<int> arr = {1,4,6,3,7,2,8,588,5};    
    nth_element(arr.begin(), arr.begin()+3, arr.end(), comp);
    for(int e : arr) cout << e << " "; cout << endl;
}

我能够传递一个函数并且没有错误。我的意思是发生了什么事？从我的角度来看，我们应该只传递对象，它们会调用它们的 () 重载运算符并比较值，但有时我们传递函数，有时传递对象会出错，​​有时我们只传递类名。 c++到底发生了什么

Answer 1

std::set 的第二个模板参数是一个类型。

你可以使用函数指针：

bool comp(const int &a, const int &b) { return a < b; }

std::set<int, bool (*)(const int &, const int &)> s(comp);

Answer 2

在第一个代码 sn-p 中，编译器发出错误，因为您使用对象 Compare() 作为类型模板参数而不是类型 Compare。

如果你会写例如

#include <iostream>
#include <vector>
#include <set>

using namespace std;

class Compare {
    public:
    bool operator ()(const int &a, const int &b) const { return a < b;}
};

int main() 
{
    set<int, Compare> s( ( Compare() ) );
    
    vector<int> arr = {1,4,6,3,7,2,8,588,5};    
    for(int e : arr) s.insert(e);
    for(auto it = s.rbegin();it!=s.rend();it++) cout << *it << ' '; cout << endl;   

    return 0;
}

则程序编译成功，输出为

588 8 7 6 5 4 3 2 1 

即作为类模板std::set 的第二个类型模板参数，您需要使用类型说明符比较。但是如果要指定构造函数的参数，则需要使用模板参数类型的对象。

第二个代码sn-p也存在同样的问题。您需要像此演示程序中所示那样编写。

#include <iostream>
#include <vector>
#include <set>

using namespace std;

bool comp(const int &a, const int &b) { return a < b; }

int main() 
{
    set<int, bool ( * )( const int &, const int & )> s( comp );
    
    vector<int> arr = {1,4,6,3,7,2,8,588,5};    
    for(int e : arr) s.insert(e);
    for(auto it = s.rbegin();it!=s.rend();it++) cout << *it << ' '; cout << endl;   return 0;
}

程序输出同上图。

注意类模板 std::set 的声明如下

template <class Key, class Compare = less<Key>, 
          class Allocator = allocator<Key> >
class set;

因此，如果您明确指定了第二个模板参数（而不是默认使用函数对象std::less<Key>），那么您需要在类模板 std::set 的构造函数中提供此类型的相应对象。

Answer 3

operator() 必须是常量。这就是 API。

class Compare {
    public:
    bool operator ()(const int &a, const int &b) const { return a < b; }
}