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