C++ template Day Day Up 第四天 Boost::checked_delete

//DeleteObject.h

 

class Item;

class DeleteObject
...{
public:
    DeleteObject(void);
public:
    ~DeleteObject(void);

    void DeleteItem(Item* p);
};

//DeleteObject.cpp

 

#include "StdAfx.h"
#include "DeleteObject.h"
#include <boost/checked_delete.hpp>

DeleteObject::DeleteObject(void)
...{
}

DeleteObject::~DeleteObject(void)
...{
}

void DeleteObject::DeleteItem( Item* p )
...{
    delete p;
}

//item.h

 

#include <iostream>

class Item
...{
public:
    ~Item()
    ...{
        std::cout<<"Item destruction ";
    }
};

//main.cpp

#include "DeleteObject.h"
#include "Item.h"

 DeleteObject del;
 del.DeleteItem(new Item);

/////////////////////////////////

结果Item的析构函数没有被调用~

这是因为DeleteObject并不知道Item的详细定义，这是C++中一个很危险的错误！（还好编译器一般都给warning）

怎么解决这个问题呢？

利用Boost库中的checked_delete

定义如下：

 

template<class T> inline void checked_delete(T * x)
...{
    // intentionally complex - simplification causes regressions
    typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
    (void) sizeof(type_must_be_complete);
    delete x;
}

template<class T> inline void checked_array_delete(T * x)
...{
    typedef char type_must_be_complete[ sizeof(T)? 1: -1 ];
    (void) sizeof(type_must_be_complete);
    delete [] x;
}

可以看到利用C的一个语法——数组长度必须大于零，来解决这个问题，typedef是发生在编译期，而sizeof同样是在编译期，所以这两行代码不会对程序的效率空间等等产生任何影响，只会在上面所举的例子发生的时候报编译错误。

现在将代码改为：

 

void DeleteObject::DeleteItem( Item* p )
...{
    boost::checked_delete(p);
}