对C++sort函数的理解

对C++sort函数的理解

//个人学习用，下面所说的仅仅是帮助理解sort函数，与其真正的工作原理有所出入。

sort有三个参数，第一个指出待排序的对象的起始位置的指针，第二个指出结束位置的后一个位置的指针，即它的排序区间是前闭后开的[a, b)。第三个参数是sort的比较函数，它指出sort的比较方法，详解在后面。

    int a[5] = {1, 2, 8, 7, 4};
    sort(a, a + 5);
    for (int i = 0; i < 5; ++i) {
        cout << a[i] << " ";
    }

//    控制台输出：1 2 4 7 8

可以看出当我们不写第三个参数时，它默认的是升序，如果我们想让它降序该怎么写呢，
C++标准库的强大足以让我们解决这个问题，它提供了两个简易的比较函数供我们使用：
less<>()------升序

    int a[5] = {1, 2, 8, 7, 4};
    sort(a, a + 5, less<int>());
    for (int i = 0; i < 5; ++i) {
        cout << a[i] << " ";
    }

//    控制台输出：1 2 4 7 8

greater<>()------降序

    int a[5] = {1, 2, 8, 7, 4};
    sort(a, a + 5, greater<int>());
    for (int i = 0; i < 5; ++i) {
        cout << a[i] << " ";
    }

//    控制台输出：8 7 4 2 1

这就满足了我们平时在要求不太严格的情况下的使用。

sort的比较函数

sort的灵魂就在于第三个参数，也就是它的比较函数。
sort始终认为它在进行升序排序，也就是前一个的值小于后一个，而比较函数就是用来比较前一个是否“小于”后一个的。
简单来说，比较函数规定了什么是“小于”。
上代码

bool cmp(int a, int b){
    return a < b;
}
int main() {

    int a[5] = {1, 2, 8, 7, 4};
    sort(a, a + 5, cmp);
    for (int i = 0; i < 5; ++i) {
        cout << a[i] << " ";
    }

//    控制台输出：1 2 4 7 8
    return 0;
}

这样写与等效于less()或者默认。
也就是说，cmp中规定了： 当a < b时 sort认为 a “小于” b。
这句话听上去有点傻，但是它实质上说的是：
cmp得到两个参数，进行一系列操作，比较后返回true或false(所以比较函数的返回值必须是布尔类型)
对于sort来说，它不在乎cmp是怎么比较的，反正最后cmp会返回一个布尔值，sort只关心这个布尔值是true还是flase，如果是true，那么就认为a “小于” b，如果返回值是false，就认为a “大于” b。
刚刚说了，sort始终是升序排序，那么它就会把它认为小的放在前面，把它认为大的放在后面。

那么，如果我想用cmp让他实现降序排序该怎么写呢。

bool cmp(int a, int b){
    return a > b;
}
int main() {

    int a[5] = {1, 2, 8, 7, 4};
    sort(a, a + 5, cmp);
    for (int i = 0; i < 5; ++i) {
        cout << a[i] << " ";
    }

//    控制台输出：8 7 4 2 1
    return 0;
}

这里，我们传入的cmp中只有当 a > b时才返回true，也就是说：

当 a > b时，我们认为 a “小于” b。

好好琢磨一下这句话，sort总是把它认为小的放在前面。
但是我们想要让值大的在前面，所以我们就让cmp在a > b时返回true，这样sort就认为a > b时 a“小于” b，这样它就会把a放在b前面，等到排序结束时，sort认为每一个值都比它后一个值“小”，这是因为它在通过cmp比较是把返回了true的两个值相对位置不变，把返回了false的两个值交换位置。

但实际上呢，当a > b时才返回true，也就是说当a > b时，不交换
当a < b时返回false，交换

这样排完序后，每一个值就都大于后一个值了。

说了这么多，其核心就在于对“小于”的判断。
到底我的目的是什么，我想让a还是b在前面，找出理想的状态，返回true，不理想的状态，返回false。

理解了这一点，我们就能写更为复杂的cmp函数了
比如结构体的判断，多种情况的“小于”等，这里就不写示例代码了。