实用经验 22 使用new/delete时要采用相同形式

new和delete是对孪生兄弟，使用了new就必须使用delete。否则就会发生无法避免的内存泄露问题。但有时变量使用完了，同时也用delete释放了内存，但是还是存在内存泄露的风险。比如下面这个例子：

const int STR_ARRAY_LENGTH = 200;
string *pStrArray = new string [STR_ARRAY_LENGTH];
………
delete pStrArray;

上述代码，我想只要懂C++的人都能看出其中的问题，因为你申请了一个字符串数组，长度是10，而你只delete了一个，其他的元素的析构函数可能没有调用。但是假设在一个几百万行代码的工程中出现这样的问题，我想就是一个C++专业级别的开发人员，也不易察觉其中的问题。

当使用 new动态生成一个对象时，有两件事会发生：
（1）对象内存的分配（这一过程通过名为operator new的函数实现）。
（2）针对此内存会有一个（或更多）构造函数被调用。

当使用delete释放对象内存时，同样也会有两件事发生：
（1）针对此内存会有一个（或更多）析构函数被调用，
（2）内存被释放（通过名为operator delete的函数）。然而delete最大问题在于：被删除的内存之内究竟有多少对象？这个问题的答案决定了有多少个析构函数必须被调用起来。

实际上这个问题可以更简单些：即将被删除的那个指针所指的是单一对象还是一个对象数组？这是个必不可缺的问题。因为单一对象的内存布局一般而言不同于数组对象的内存布局。更明确的说，数组所用的内存通常还包括“数组大小”的记录，以便delete知道需要调用多少次析构函数。单一对象的内存则没有这笔记录。你可以把两种不同的内存布局想成如图3-2所示，其中n是数组大小(《程序员面试宝典》所述，如果是内置类型的话，就不是下面这种内存布局了，是内置类型的话，对象数组图就没有前面的n)：

图3-2 new 对象内存布局

当然了，这只是个例子。编译器未必非得这么实现不可，虽然很多编译器的确是这样做。

当你对一个指针使用delete，唯一能够让delete知道内存中是否存在一个“数组大小记录”的办法就是：由你来告诉它。如果你使用delete时加上中括号（方括号），delete便认定指针指向一个数组，否则它便认定指针指向单一对象。

string* stringPtr1 = new string;
string* stringPtr2 = new string[100];
...
delete stringPtr1; 	//删除一个对象
delete []stringPtr2; 	//删除一个由对象组成的数组

如果你对stringPtr1使用“delete []”形式，会发生什么事？结果未有定义。假设内存布局如上，delete会读取若干内存并将它解释为“数组大小”，然后开始多次调用析构函数。但是编译器并不知道它所处理的那块内存并不是数组。所以会发生未定义的行为。

如果你没有对stringPtr2使用“delete”形式，又会什么事？其结果也未有定义，但你可以猜想可能导致太少的析构函数被调用。更有甚者，这对内置类型（如int）也未定义，即使这些类型并没有析构函数。

总结：如果你调用new时使用[]，你必须在对应调用delete时也使用[]，如果你调用new时没有使用[]，那么也不该在对应调用delete时使用[]。

其实，如果你是一个C++语言开发老手。下述的做法应该是你经常用的：即把你需要通过new申请的资源放到一个类中进行管理。此类提供一个资源申请的接口，访问用户进行资源申请。最后在此类的析构函数中，实现此类现有资源的释放。通过这种实现方式，你只要关心资源管理类是否完成delete释放即可，而不用关心具体的资源。我们看笔者实现的一个例子：

// 用户类，实现用户相关的操作。
class CUser {};
// 用户资源管理类，此类提供CreateUser用户创建。
class CUserMgr
{
public:
CUserMgr() 
{
	RemoveAll();
}
virtual ~CUserMgr()
{
	RemoveAll();
}
// 创建用户
CUser *CreateUser()
{
	CUser *pUser = new CUser();
    if (NULL != pUser)
    {
        Add(pUser);
    }
    return pUser;
}
private:
// 用户添加接口函数
void Add(CUser *pUser)
{
	m_arrUsers.pushback(pUser);
}
// 实现所有用户资源释放。
void RemoveAll()
{
	std::vector<CUser*>::iterator iter = m_arrUsers.begin();
    for ( ; iter < m_arrUsers.end(); iter++)
    {
   		CUser *pUser = (*iter);
        delete pUser;
    }
    m_arrUsers.clear();
}
private:
	// 用户管理资源类，用户资源的保存
    std::vector<CUser *>m_arrUsers;
};

最后，我们再讨论由于typedef而引入的问题。如果你是一个喜欢typedef的人，那你需要注意了。因为这可能会导致内存的泄露：当我们以new创建该种typedef类型对象时，该用哪一种delete形式删除之？考虑下面这个typedef：

typedef int  arriMatrix[4];

由于arriMatrix是个数组，如果我们使用new创建一个资源如下：

int* parriMatrix = new arriMatrix;
// 那就必须匹配“数组形式”的delete：
delete parriMatrix ;   // 行为未有定义
delete []parriMatrix;  // 很好，这种实现是正确的。

为避免诸如此类的错误，最好尽量不要对数组形式做typedef。这很容易做到，因为C++标准程序库含有string，vector等templates，可将数组的需求降至几乎为0，例如你可以将本例的arriMatrix定义为“由int组成的一个vector”也就是其类型为vector<int>。

请谨记

• 如果你在编程时，new的表达式中使用了[]，必须在相应的delete表达式中也是用[]。如果你在new表达式中未使用[]，一定不要在相应的delete表达式中使用[]。