用 sort() 对成员向量进行排序的比较函数

Question

我有这样的课：

class test
{  
    vector<expr*> _exprs;  

    bool cmp(expr* e1, expr* e2);   

    ExprManager* mg;  
}  

比较函数是：

bool test::cmp(expr* e1, expr* e2)  
{  
    return exprHight(mg, e1) < exprHight(mg, e2);  
}  

然后当我使用比较函数对_exprs（在另一个成员函数中）进行排序时

sort(_exprs->begin(), _exprs->end(), cmp);  

编译报告：

error: argument of type ‘bool (test::)(void*, void*)’ does not match ‘bool (test::*)(void*, void*)’

如何解决？感谢您的提前。

Answer 1

定义排序谓词的常规方法是使用仿函数。

让您的类定义operator() 进行比较，您只需将类的一个实例传递给std::sort。

真的，你需要做的就是这样定义类：

class test
{  
    vector<expr*> _exprs;  

    bool operator()(expr* e1, expr* e2);   

    ExprManager* mg;  
}  

然后你可以像这样调用sort：

sort(_exprs->begin(), _exprs->end(), test());  

或者，当然，使用test 类的现有实例，而不是构造一个新实例。但是你只是传入一个类实例，根本不需要提及成员函数。

如果排序发生在另一个成员函数中（从您对 _exprs 的引用看起来是这样），请写

sort(_exprs->begin(), _exprs->end(), *this);  

需要注意的一点是，std::sort 与大多数其他标准库算法一样，会复制谓词对象，因此您的谓词类必须能够安全地处理复制（您的类应该始终这样做无论如何 em>)

简而言之，实现这一点的方法就是遵循“三法则”。

如果您的类定义了析构函数、复制构造函数或赋值运算符，那么它几乎肯定应该定义所有三个。

如果使用编译器生成的复制构造函数，它只会复制你的类的指针成员，所以你会有两个对象包含指向同一个对象的指针。

如果类有一个析构函数在该指针上调用delete，那么最终会执行两次。这是一个错误。

如果您的类旨在可复制（并且大多数标准库都要求这样做），那么您必须定义适当的复制构造函数和赋值运算符以安全地实现它（例如，复制指针指向的资源，或者请改用智能指针）。

如果你的类不是是可复制的，那么你应该将复制构造函数和赋值运算符定义为private，这样复制类的尝试将导致编译时错误，而不是运行时崩溃。

你应该永远定义一个可以被复制的类，但这样做不正确。要么定义必要的复制构造函数/赋值操作符/析构函数来处理复制，要么通过将复制操作符/赋值操作符设为私有来使复制变得不可能。

将指向类所拥有的动态分配内存的指针包装在智能指针中是一种免费获得可复制性的简单方法。

如果类只包含 RAII 对象，那么你根本不需要定义析构函数，所以三规则也不需要你定义复制构造函数和赋值运算符。

Answer 2

你需要使test::cmp()静态：

class test {
    // ...
    static bool cmp( expr * lhs, expr * rhs );
};

或者，如果test::cmp() 不能由于某种原因是静态的，则需要使用（boost:: 或std::tr1::）bind() 来绑定（隐式）this 参数cmp():

test * someInstance = this // other // something;
sort( _exprs->begin(), _exprs->end(),
      bind( &test::cmp,  someInstance, _1, _2 ) );

Answer 3

使用 operator() 然后将 '*this' 作为谓词传递给排序算法。

class test
{  
    vector<expr*> _exprs;  

    bool operator()(expr* e1, expr* e2);   

    ExprManager* mg;  
}  

sort(_exprs->begin(), _exprs->end(), *this);  

无论您作为谓词传递什么，都必须具有公共可访问性，