其他语言

本类阅读TOP10

·基于Solaris 开发环境的整体构思
·使用AutoMake轻松生成Makefile
·BCB数据库图像保存技术
·GNU中的Makefile
·射频芯片nRF401天线设计的分析
·iframe 的自适应高度
·BCB之Socket通信
·软件企业如何实施CMM
·入门系列--OpenGL最简单的入门
·WIN95中日志钩子(JournalRecord Hook)的使用

分类导航
VC语言Delphi
VB语言ASP
PerlJava
Script数据库
其他语言游戏开发
文件格式网站制作
软件工程.NET开发
今天遇到一个关于STL中排序的问题, 怀疑是sort的bug!

作者:未知 来源:月光软件站 加入时间:2005-5-13 月光软件站

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




相关文章

相关软件