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):
先举个例子:分析一下程序的运行结果:看看在三种情况下程序的输出分别是什么,有可能出现异常
#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了)
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了