我用VC++写了一个console程序,代码如下:
发现一旦排序值全部相同,且排序总量大于SORT_MAX,并且我自定义的函数对象:在判断两元值相等(==)时总返回true,那么,将导致排序异常(指针越界,死循环):
异常的是指针越界,为什么会导致越界,详见下文
#include "stdafx.h"
#include <afxwin.h>
#include <algorithm>
using namespace std;
class greater {
public:
greater()
{
}
bool operator ()(int x1, int x2)
{
ASSERT(x1 == 12); // 我在这里作了断言, 目的是判断数组越界,为什么会导致越界,详见下
if (x1 > x2)
return false;
return true;
}
};
int main(int argc, char* argv[])
{
// UINT arr[] = {12, 14, 31, 9, 6, 30, 11, 65, 30
// };
UINT arr[] = {12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12, 12
};
int nSize = sizeof(arr)/sizeof(UINT);
greater gt;
sort(arr, arr+nSize, gt);
for (int i = 0; i < nSize; i++)
printf("%d\n", arr[i]);
return 0;
}
//////////////////////////////////////////////////////////////////////////////
// 排序中运行到下面这里, 在for(;_P(*_F, _Piv);++_F)中出现了死循环,原因是我最开始讲的条件一旦全部满足(主要是_P(*_F, _Piv)总返回true), 将导致指针越界, 此外, 为何总是死循环状态, 我在进一步研究...
template<class _RI, class _Ty, class _Pr> inline
_RI _Unguarded_partition(_RI _F, _RI _L, _Ty _Piv, _Pr _P)
{for (; ; ++_F)
{for (; _P(*_F, _Piv); ++_F)
;
for (; _P(_Piv, *--_L); )
;
if (_L <= _F)
return (_F);
iter_swap(_F, _L); }}