最近在使用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平台上居然运行至今都没出现过问题,只能说是好运爆棚啦。