STL自定义排序函数 需要注意的问题

1.例子

先举个例子：分析一下程序的运行结果：看看在三种情况下程序的输出分别是什么，有可能出现异常

////////////////////////////////////////////////////

#pragma once

#include

#include

///////////////////////////////////////////////////

///下面是三个自定义的谓词函数，排序算法将分别使用这三个函数

//////////////////////////////////////////////////

bool compare(int a,int b)

{

return a - b;

}

bool compare1(int a,int b)

{

return a < b;

}

bool compare2(int a,int b)

{

return a <= b;

}

/////////////////////////////////////////////////////

///Main函数

////////////////////////////////////////////////////

int main(int arg,char * argv[])

{

std::vector vec;

vec.push_back(7);

vec.push_back(5);

vec.push_back(8);

vec.push_back(10);

vec.push_back(48);

vec.push_back(32);

vec.push_back(7);

vec.push_back(5);

vec.push_back(3);

vec.push_back(3);

//第一种情况

std::sort(vec.begin(),vec.end(),compare);

//第二种情况

std::sort(vec.begin(),vec.end(),compare1);

//第三种情况

std::sort(vec.begin(),vec.end(),compare2);

getchar();

return 0;

}

//////////////////////////////////////////////////

2.结果

三种情况在程序中分别使用后(这里为了节省空间写在了一起)的结果是：

(1)第一种情况(compare函数)和第三种情况(compare2函数)出现错误(assert):

(2)第二种情况(compare1函数)下程序运行正常，结果正确。

3.分析

第一种情况和第三种情况出错的原因是：跟踪到出现异常的stl的源代码的一个函数中，就是下面这个函数：

template inline

bool __CLRCALL_OR_CDECL _Debug_lt_pred(_Pr _Pred, _Ty1& _Left, _Ty2& _Right,

const wchar_t *_Where, unsigned int _Line)

{ // test if _Pred(_Left, _Right) and _Pred is strict weak ordering

if (!_Pred (_Left, _Right))

return (false);

else if (_Pred(_Right, _Left))

_DEBUG_ERROR2("invalid operator<", _Where, _Line);

return (true);

}

这个函数要求对于调用的两个参数交换位置时不能得到相同的true的结果。也就是为什么第一种和第三种不行的原因了:A当待比较的两个值相等的时候，第三种情况和B当待比较的两个值不相等的时候，第一种情况。

但是对于调用的两个参数交换位置时允许得到相同的false的结果，因为这时根本不进行两个参数交换位置操作！！(具体看程序：在第一个if的时候就返回false了)

在自定义比较函数中如果是相等的情况 返回false就OK了