关于快速排序及重载<号的问题（Strict Weak Ordering 部分暂时难以理解）

#include<iostream>
#include<algorithm>
using namespace std;
int n,a[1005];
void qsort(int l,int r)
{
    int x=a[(l+r)/2];
    int i=l,j=r;
    while (i<j) 
    {
        while (a[i]<x) 
        {
//          cout<<i<<' '<<a[i]<<'\n';
            i++;
        }
        while (a[j]>x) j--;
        if (i<=j)
        {
            int t=a[i];
            a[i]=a[j];
            a[j]=t;
            i++;
            j--;    
        }
    }
    if (l<j) qsort(l,j);
    if (r>i) qsort(i,r);
}
int main()
{
    cin>>n;
    for (int i=1;i<=n;i++) cin>>a[i];
    qsort(1,n);
    for (int i=1;i<=n;i++) cout<<a[i]<<' ';
}

 

第11行与第16行的代码中<不能为<=；因为这样i就会一直遍历+下去，程序错误。同理

struct node { int x,y; bool operator <(node a) const { return min(x,a.y)<min(y,a.x);//不能写<= }

 

高深理解

Strict Weak Ordering：https://www.cnblogs.com/walkerlala/p/5561339.html

简单来说，\rm STLSTL 的任何比较函数（包括但不限于使用std::sort、std::lower_bound、std::priority_queue时重载的小于号），都需要满足以下四个条件：（用 << 表示重载的运算符）

1. x\not<xx?<x （非自反性）
2. 若 x<yx<y，则 y\not<xy?<x （非对称性）
3. 若 x<y,y<zx<y,y<z，则 x<zx<z （传递性）
4. 若 x\not<y,y\not<x,y\not<z,z\not<yx?<y,y?<x,y?<z,z?<y，则 x\not<z,z\not<xx?<z,z?<x （不可比性的传递性）