《Series60应用程序开发》读书笔记之资源管理

  资源管理：

规则一、
　　如果存在发生异常退出的风险，并且在其他位置没有对已分配堆的对象的引用，则指向该对象、具有本地作用域的指针必须被推入清除栈。

void DoExampleL()
{
    CActiveScheduler* scheduler = new (Eleave) CActiveScheduler;
    scheduler->doSomethingL();
    delete scheduler;
}

　　这个实例看上去好像没有什么问题，可以如果在new或者调用doSomethingL()的时候出现异常退出，那么指针超出作用域，现在没有办法释放这个堆对象，于是发生内存泄漏，解决办法就是后面所讲的分段构造。

规则二、
　　绝对不要将实例数据（类对象拥有的数据）推入到清除栈。
　　类对象的数据是类对象进行管理，实例数据的清除应该在析构函数中进行。如果把实例数据推入道清除栈中，会造成重复删除。

规则三、
　　构造函数和析构函数绝对不能异常退出，并且析构函数不能采取完全构造。
　　这句话我始终没有理解透，原文不知道怎么写的，不过翻译版本就这样。我想可能是想说对于复杂类对象进行实例化，不能采取在构造函数里面进行完全构造，应该分两段构造。
第一段：改造构造函数，使其不做构造。

CElementsEngine::CElementsEngline(CConsoleBase& aConsole):iConsole(aConsole)
{
}

第二段：这里才做真正的构造

void CElementsEngline::ConstructL()
{
    iElementList = new (Eleave) CElementRArray;
}

通常我们提供一个静态的NewL()函数来完成构造，而把构造函数和ConstructL()定义为私有的或受限的（好的编程习惯）。

CElementsEngine* CElementsEngine::NewL(CConsoleBase& aConsole)
{
     //构造对象
    CElementsEngine* self = new (Eleave) CElementsEngine(aConsole);
    //推入清洁栈
    CleanupStack::PushL(self);
     //真正的实例化
    self->ConstructL();
     //安全弹出
    CleanupStack::Pop(self);
     //返回
    return self;
}

如此，复杂对象在构造的时候，应该不会出现什么内存溢出的问题了。这个地方多说一句，在压栈的时候PushL()也可能发生异常，因为它必须把内存分配给新的栈单元。实际上，它有一个"备用"栈单元，在分配新的栈单元前就将压入的指针赋值给这个单元，即使分配新的栈单元失败，也可以保证在后面清除它。

　　我们在实例代码中常常看到NewLC()这个方法，那为什么有了NewL()方法了，还要有NewLC()这个方法呢？这个C在这里代表什么意思呢？
　　我们可以想象一下，假如现在我们通过NewL()方法正确构造了一个CElementsEngine*实例self,这个时候我们又需要调用它的一个方法self->doSomethingL()，而doSomethingL()方法并非安全函数，绝对有可能错误退出，而此时self已经没有处于清洁栈里面了，此时就会无法清除self所指向的对象而造成内存溢出。C在这里的意思是当前在清除栈上放置了一个指向它所返回对象的指针。我们来看看NewLC()的具体实现：

CElementsEngine* CElementsEngine::NewLC(CConsoleBase& aConsole)
{
    CElementsEngine* self = new (Eleave) CElementsEngine(aConsole);
    CleanupStack::PushL(self);
    self->ConstructL();
    return self;
}

大家可以看到，它与我们上面的NewL()方法只有一行相差，那就是没有从栈里弹出（CleanupStack::Pop(self)），那么我们在调用self->doSomethingL()的时候，即使错误退出，也可以清除它。
既然如此，我们可以把NewL()方法加以改造：

CElementsEngine* CElementsEngine::NewL(CConsoleBase& aConsole)
{
    CElementsEngine* self = NewLC(aConsole);
    //安全弹出
    CleanupStack::Pop(self);
    return self;
}

让NewLC()为我们实例化，然后加上Pop(self)就能达到我们的要求了。

规则四、
　　删除成员指针后，总是在重新分配前将其初始化为0。
假如类里面有一个元素为HBufC描述符得iName，修改iName的函数如下：

void CChemicalElement::SetNameL(const TDesC& aName)
{
     //删除旧名字
    delete iName;
     //重新分配前初始化为NULL
    iName = NULL;
     //重新分配值
    iName=aName.AllocL();
}

假如我们把方法里面的iName=NULL;屏蔽掉，那么我们来分析一下执行的步骤：
１、删除旧名字
２、重新分配值
而AllocL()并非一个安全函数，如果异常退出，则将销毁CChemicalElement实例，而它的析构函数将尝试删除iName，而iName已经在前面delete，如果不显式的设置为NULL，它将继续指向已经被释放的旧iName，如果便造成了重复删除iName的错误。如果我们在前面显式的设置为NULL，当AllocL()错误退出，CChemicalElement的析构函数会尝试删除iName，而此时iName=NULL，即delete NULL;将不会做任何操作。这样便防止了重复删除错误的发生