CArray添加元素异常引发的思考
来源:互联网 发布:慕课网 实战知乎 编辑:程序博客网 时间:2024/04/25 16:10
最近在使用MFC CArray的过程出现了一个比较诡异的问题,Add元素的时候居然出现了异常。
具体应用环境:VS2005 MFC XP SP3
在开始时使用了如下所示的类:
Class CPolyLine{ Public: CArray<Point, Point&> m_points;}
具体使用情况如下图所示:
CPolyLine pyline;//此处通过添加多个m_points,然后判断是否有环路,如果有环路则执行下面的操作。//pyline.m_points.Add();pyline.m_points.Add(pyline.m_points[0]);
当执行两次pyline.m_points.Add(pyline.m_points[0]);后发现了严重的异常问题,执行后按照想法结果应该如下图所示:(然而实际情况却并非如此,第一次add的时候是正常的,第二次add的时候发现最后一项变为了随机码)
以下为具体的调试步骤:
调试进入Add函数内部,具体代码如下图所示:
template<class TYPE, class ARG_TYPE>AFX_INLINE INT_PTR CArray<TYPE,ARG_TYPE>::Add(ARG_TYPE newElement) {INT_PTR nIndex= m_nSize; SetAtGrow(nIndex,newElement); return nIndex; }
在此处的时候,发现newElement值为正常的(10,1)即pyline.m_points[0]正常。看来不是在这里出了问题。继续进入SetAtGrow源码,如下所示:
template<class TYPE, class ARG_TYPE>void CArray<TYPE, ARG_TYPE>::SetAtGrow(INT_PTRnIndex, ARG_TYPEnewElement){ ASSERT_VALID(this); ASSERT(nIndex>= 0); if(nIndex < 0) AfxThrowInvalidArgException(); if (nIndex >= m_nSize) SetSize(nIndex+1,-1); m_pData[nIndex]= newElement;}
这里也没啥好看的,直接追踪进入SetSize源码,最终找到如下图所示关键位置代码:
#ifdef SIZE_T_MAX ASSERT(nNewMax<= SIZE_T_MAX/sizeof(TYPE)); // no overflow#endif TYPE* pNewData= (TYPE*) newBYTE[(size_t)nNewMax * sizeof(TYPE)];//CArray的容量不够了,这个是重新分配地址,明显这里应该不可能导致乱码的问题。 // copy new data from old 将原来CArray里面的内容全部复制到新位置 ::ATL::Checked::memcpy_s(pNewData,(size_t)nNewMax* sizeof(TYPE), m_pData, (size_t)m_nSize * sizeof(TYPE)); // construct remaining elements ASSERT(nNewSize> m_nSize); //将新添加元素的位置进行清零处理,这个显然不会有问题。 memset((void*)(pNewData + m_nSize),0, (size_t)(nNewSize-m_nSize) * sizeof(TYPE)); //不知道下面哥们到底在干啥,反正没影响我们的值。 for( int i = 0; i < nNewSize-m_nSize;i++ )#pragma push_macro("new")#undef new ::new( (void*)( pNewData + m_nSize+ i ) ) TYPE;#pragma pop_macro("new")
//在下面这段代码未执行前的pyline.m_points值的内存布局如下图所示:
// get rid of old stuff (note: no destructors called)
delete[] (BYTE*)m_pData;
//执行上面这句代码之后,pyline.m_points值的内部布局如下图所示:
内存空间被释放了,看来是此处导致问题的产生,但是具体是什么原因导致了这种情况的出现呢?
总结:
关于CArray的工作原理简单说下,CArray开始申请一段内存用于存放Add进来的元素,当进来的元素超过CArray的当前的容量的时候,重新申请一块更大的新内存,然后将数据进行复制,然后将现有内存进行清理掉。
关于此问题的产生,要从CArray的声明说起,m_points的声明如下所示:
CArray<Point, Point&> m_points;
而在CArray的Add实现代码如下所示:
template<class TYPE, class ARG_TYPE>AFX_INLINE INT_PTR CArray<TYPE,ARG_TYPE>::Add(ARG_TYPE newElement) {INT_PTR nIndex= m_nSize; SetAtGrow(nIndex,newElement); return nIndex; }
不知道你发现其中具体含义没有,可将上面的代码用Point,Point&用替换具体如下所示:
AFX_INLINE INT_PTR CArray<Point,Point&>::Add(Point&newElement)
从上图的代码中我们发现:
CArray的两个模板参数,第一个参数就是CArray类数组元素的变量类型,后一个是函数调用时的参数类型。
当我们在Add元素进CArray时,使用的添加元素的引用(即指针)。但是在执行过程中我们调用了delete操作,这个时候CArray原有值可能被释放掉了,新元素的引用指向的就是如上图释放后的eeef ee ef等随机码。
推荐做法将要添加的新元素放在一个临时变量中,这样就不会问题了。不过很神奇的是,这样的代码在WinCe平台上居然运行至今都没出现过问题,只能说是好运爆棚啦。
- CArray添加元素异常引发的思考
- CArray 以 std::list 为元素的引发异常
- 一个异常引发的集合多线程思考
- 一个异常引发的对Hashtable和HashMap的思考
- 一个“java.lang.NoSuchMethodError”异常引发的思考
- mysql5.7group by异常引发的思考
- CArray元素的删除RemoveAt(0)
- Yaffs引发的思考
- LPCSTR引发的思考
- IllegalAccessError引发的思考
- 离职引发的思考
- 脚本引发的思考
- 面试引发的思考
- PHP_EOL引发的思考
- free 引发的思考
- 快播案引发的思考
- “开会” 引发的思考
- CALayer引发的思考
- IIS信息管理器进行视图浏览时报错“/”应用程序中的服务器错误
- zoj_2812 Quicksum
- typeid详解
- github项目
- BeanUtils.copyProperties(vo,po) 切记!!!
- CArray添加元素异常引发的思考
- 数据库隔离级别
- 硬盘不能进PE的问题与解决
- proguard使用说明
- TCP和UDP套接字编程
- python 递归实例(recursion in real world using python)
- HDU 2767 强连通缩点
- CSS学习-网页导航栏
- Spring声明式事务配置的两种策略SpringAop和Bean后处理器的代理BeanNameAutoProxyCreator