C++ 类内类外调用sort函数时使用第三个参数的区别

sort函数的定义:

void sort (RandomAccessIterator first, RandomAccessIterator last, Compare comp);

前两个参数我们都比较熟悉，一般是迭代器参数分别指向要排序范围的first位置和last位置的下一个位置，第三个参数要求是一个函数指针，通过第三个参数可以让我们自定义排序规则。

类外

类外第三个参数直接传递函数指针就可以

bool com(int a, int b){
    return a > b;
}
int main(){
    vector<int> v = {2,1,4,3,5,6,8,3,2};
    sort(v.begin(), v.end(), com);
    for(int a : v)
        cout<<a<<" ";
    return 0;
}

结果：编译成功，输出如下：

//不适用第三个参数，则按照从小到大的默认输出
8 6 5 4 3 3 2 2 1 

类内

类内的comp成员函数需要加上static才行，看个例子：

class Test{
public:
    void test(){
        vector<int> v = {2,1,4,3,5,6,8,3,2};
        sort(v.begin(), v.end(), comp);
        for(int a : v)
            cout<<a<<" ";
    }
private:
	bool comp(int a, int b){
        return a > b;
    }
};
int main(){
    Test t;
    t.test();
    return 0;
}

编译报错：

error: must use '.*' or '->*' to call pointer-to-member function in '((__gnu_cxx::__ops::_Iter_comp_val<bool (Test::*)(int, int)>*)this)->__gnu_cxx::__ops::_Iter_comp_val<bool (Test::*)(int, int)>::_M_comp (...)', e.g. '(... ->* ((__gnu_cxx::__ops::_Iter_comp_val<bool 
(Test::*)(int, int)>*)this)->__gnu_cxx::__ops::_Iter_comp_val<bool (Test::*)(int, int)>::_M_comp) (...)'
  { return bool(_M_comp(*__it, __val)); 

之所以报错其实很好理解：
成员函数都有一个默认参数：this指针，也就是说我们写的comp成员函数其实有三个参数：

bool comp(const *this, int a, int b)

而我们的sort()函数要求的comp函数只接收两个参数，参数个数不匹配！！！

解决办法：

1. 在comp前加static,静态成员函数没有this指针，因为静态成员函数不属于任何一个对象。

static bool comp(int a, int b){
	return a > b;
}

2. sort调用全局函数
   构造一个全局函数comp1:

bool comp1(int a, int b){
    return a > b;
}
class Test{
public:
    void test(){
        vector<int> v = {2,1,4,3,5,6,8,3,2};
        sort(v.begin(), v.end(), comp1);
        for(int a : v)
            cout<<a<<" ";
    }
};

3. 使用C++11标准中的lambda表达式

class Test{
public:
    void test(){
        vector<int> v = {2,1,4,3,5,6,8,3,2};
        sort(v.begin(), v.end(), [](int a, int b)->bool{
        	return a > b;	
        });
        for(int a : v)
            cout<<a<<" ";
    }
};

Lambda 表达式的基本语法如下：

[ caputrue ] ( params ) opt -> ret { body; };

1. capture是捕获列表；
2. params是参数表；(选填)
3. opt是函数选项；可以填mutable,exception,attribute（选填）
   mutable说明lambda表达式体内的代码可以修改被捕获的变量，并且可以访问被捕获的对象的non-const方法。
   exception说明lambda表达式是否抛出异常以及何种异常。
   attribute用来声明属性。
4. ret是返回值类型（拖尾返回类型）。(选填)
5. body是函数体。

有关lambda表达式详细介绍见C++11常用新特性第7条。