effective C++ 条款 51:编写new和delete时需固守常规

实现一致性operator new必须返回正确的值,内存不足时必须调用new_handling函数,必须有对付零内存的准备,还需要避免不慎掩盖正常形式的new。

void* operator new(std::size_t size) throw(std::bad_alloc)
{
    using namespace std;
    if (size == 0)
    {
        size = 1;
    }
    while (true)
    {
        尝试分配size byte
        if (分配成功)
            return (一个指针,指向分配得来的内存)
        // 分配失败
        new_handler globalHandler = set_new_handler(0);
        set_new_handler(globalHandler);

        if (globalHandler) (*globalHandler)();
        else throw std::bad_alloc();
    }
}

没有任何办法直接取得new_handling函数指针,所以必须调用set_new_handler找它出来。拙略,但有效——至少对单线程程序而言,多线程或许需要某种机锁以便安全处置new_handling函数背后的global数据结构。

operator new有个无穷循环,退出次循环的唯一办法是:内存成功分配或new_handling函数做了一件描述于条款49的事情:让更多内存可用、安装另一个new_handler、卸除new-handler、抛出bad_alloc异常、或者承认失败而直接return。

operator new成员函数会被derived classes继承。如果针对class X而设计的operator new,只为大小为sizeof(X)的对象而设计。一旦被继承下去,base class的operator new被调用用以分配derived class对象:

class Base{
public:
    static void* operator new(std::size_t size) throw(std::bad_alloc);
};

class Derived : public Base{
    ...
};
Derived* p = new Derived;        //调用base::operator new

如果base class专属的operator new并非被设计用来对付上述情况,处理此情势最佳做法是:“内存申请量错误”的调用改采用标准operator new:

void* Base::operator new(std::size_t size) throw(std::bad_alloc)
{
    if (size != sizeof(Base))
        return ::operator new(size);
    ...
}

如果size 为0,这份申请转交到::operator new手上。

如果打算控制class专属“array内存分配行为”,那么你要实现operator new的array兄弟版;operator new[]。通常被称为“array new”,如果决定写个operator new[],唯一要做的一件事就是分配一块未加工内存,因为你无法对array之内迄今尚未存在的元素对象做任何事情。实际上,你甚至无法计算那个array将含多少个元素对象。你不知道每个对象多大,毕竟base class的operator new[]有可能经由继承被调用,将内存分配给“元素为derived class对象”的array使用。

因此,你不能在Base::operator new[] 内假设array的每个元素对象的大小是sizeof(base),这也意味着你不能假设array的元素个数是(byte申请数)/sizeof(base)。此外,传递给operator new[]的size_t参数,其值有可能比“将被填以对象”的内存数量多,条款16说过,动态分配的arrays可能包含额外空间用来存放元素个数。

operator delete的情况更简单,只要记住唯一的事情就是c++保证删除null指针永远安全,所以你必须兑现这项保证。non-member operator delete的伪码:

void operator delete (void *rawMemory) throw()
{
    if (rawMemory == 0) return;
    现在,归还rawMemory所指内存
}

member版本也简单,只需多加一个动作检查删除数量。万一你的class专属operator new将大小有误的分配转交::operator new执行,你必须也将大小有误的删除行为转交::operator delete执行:

class Base{
public:
    static void* operator new(std::size_t size) throw(std::bad_alloc);
    static void operator delete(void* rawMemory, std::size_t size) throw();
};

void Base::operator delete(void* rawMemory, std::size_t size) throw()
{
    if (rawMemory == 0)return;
    if(size != sizeof(Base)){
        ::operator delete(rawMemory);
        return;
    }
    现在,归还rawMemory所指的内存;
    return;
}

如果即将被删除的对象派生自某个base class而后者欠缺virtual析构函数,那么c++传给operator delete的size_t数值可能不正确。此时,operator delete可能无法正确运作。

转载于:https://www.cnblogs.com/lidan/archive/2012/02/19/2358524.html

你可能感兴趣的:(effective C++ 条款 51:编写new和delete时需固守常规)