std::sort导致内存崩贵

转载自：一次stl sort调用导致的进程崩溃

include <algorithm>

bool comp(int d1, int d2)
{
    return d1 >= d2;
}

const int N = 50;

int main()
{
    int d[N];
    for(int i = 0; i < N; ++i)
    {
        d[i] = 20;
    }

    std::sort(d, d + N, comp);
    return 0;
}

不知你是否直觉上也会觉得这段代码没什么问题，但是这段代码运行后会core dump。查看core文件可以看到内存里的栈被写坏了，这说明sort调用导致了内存越界访问，在这么少的代码行下，不难判定应该是comp函数实现可能不符合c++标准库的某种规则（C++ STL是基于concept的设计和实现）。

comp函数应该怎么写

带着这个疑问我去查了下c++ stl手册(http://www.cplusplus.com/reference/algorithm/sort/)，发现sort函数对于comp函数还真有一个特殊的要求，叫做“Strict Weak Ordering”。什么意思呢，它大概可以这么解释：如果一个comp函数要满足“Strict Weak Ordering”，意味着它应该满足如下特征（更多细节可以参见SGI版实现相关描述http://www.sgi.com/tech/stl/StrictWeakOrdering.html）:

(a) 反自反性：也即comp(x, x)必须是false

(b) 非对称性：也即如果comp(x, y)和comp(y, x)的结果必然相反

© 可传递性：也即如果comp(x, y)为true，comp(y, z)为true，那么comp(x, z)必然为true

这么看到，示例代码的comp定义明显违反了(a)(b)两条，所以sort使用它时就可能工作不正常。

解决办法也很简单，去掉那个“=”，再对照下”Strict Weak Ordering”的定义，应该是满足了的。