今天遇到一个关于STL中排序的问题, 怀疑是sort的bug!

最新推荐文章于 2023-05-02 14:06:01 发布

happmaoo

最新推荐文章于 2023-05-02 14:06:01 发布

阅读量151

点赞数

文章标签： F# VC++

博主使用VC++编写console程序时，发现当排序值全部相同、排序总量大于SORT_MAX且自定义函数对象判断两元值相等总返回true时，会导致排序异常，出现指针越界和死循环情况，并给出了相关代码示例，还在进一步研究死循环原因。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

我用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); }}