boost::checked_delete作用介绍

本文主要是介绍boost::checked_delete作用介绍，希望对大家解决编程问题提供一定的参考价值，需要的开发者们随着小编来一起学习吧！

C++标准（版本5.3.5/5）允许使用delete删除incomplete class types指针，但如果class的析构函数有特定数据操作，或者具有自定义的operator delete成员函数，那么删除指针的操作将导致不确定后果。

这个问题同样存在于smart pointer的析构函数中，比如：boost::scoped_ptr<T>::~scoped_ptr，如果T是一个incomplete type，那么可能会造成极隐秘的诡异错误。

boost提供了2个函数模版与2个类模板工具来解决这个问题，在<boost/checked_delete.hpp>中定义了checked_delete andchecked_array_delete 函数模版，以及checked_deleter andchecked_array_deleter类模板。这些函数和类要求传给他们的参数是complete type，否则将导致编译错误。

头文件:

通过指针来删除一个对象时，执行的结果取决于执行删除时被删除的类型是否可知。对一个指向不完整类型的指针执行几乎不可能有编译器警告，这会导致各种各样的麻烦，由于析构函数可以没有被执行。换句话说，即进行清除的代码没有被执行。在对象析构时执行一个静态断言，测试类是否可知，以确保析构函数被执行。

用法

是一个名字空间中的模板函数。它用于删除动态分配的对象，对于动态分配的数组，同样有一个称为的模板函数。这些函数接受一个参数：要删除的指针，或是要删除的数组。这两个函数都要求在销毁对象时(即对象被传给函数时)，这些被删除的类型必须是可知的。使用这些函数，要包含头文件. 使用这些函数时，你只需象调用那样简单地调用它们。以下程序前向声明了一个类, 而没有定义它。有些编译器允许对一个指向的指针被删除(稍后再讨论这个)，但使用后，就不能通过编译了，除非有一个的定义。

#include "boost/checked_delete.hpp"

class some_class;

some_class* create() {
return (some_class*)0;
}

int main() {
some_class* p=create();
boost::checked_delete(p2);
}

如果你试图编译这段代码，对函数的实例化将失败，因为是一个不完整的类型。你的编译器会输出类似下面的信息：

checked_delete.hpp: In function 'void
boost::checked_delete(T*) [with T = some_class]':
checked_sample.cpp:11: instantiated from here
boost/checked_delete.hpp:34: error: invalid application of 'sizeof' to an incomplete type
boost/checked_delete.hpp:34: error: creating array with
size zero ('-1')
boost/checked_delete.hpp:35: error: invalid application of
'sizeof' to an incomplete type
boost/checked_delete.hpp:35: error: creating array with
size zero ('-1')
boost/checked_delete.hpp:32: warning: 'x' has incomplete type

错误信息的前面部分清楚地说明了问题：遇到了一个不完整的类型。但我们的代码中哪里存在不完整的类型呢？接下来的章节我们来讨论它。

究竟是什么问题？

在我们深入了解的好处之前，让我们先来彻底弄清楚问题所在。如果你试图删除一个指针，而该指针指向的是一个带有非平凡析构函数的不完整类型，结果将是未定义的行为。这是如何发生的呢？让我们来看一个例子。

^[3] 不完整的类型是指已声明但未定义的类型。

^[4] 标准说法是，类的一个或多个直接基类，或者一个或多个非静态数据成员，具有用户定义的析构函数。

// deleter.h
class to_be_deleted;

class deleter {
public:
void delete_it(to_be_deleted* p);
};

// deleter.cpp
#include "deleter.h"

void deleter::delete_it(to_be_deleted* p) {
delete p;
}

// to_be_deleted.h
#include <iostream>
class to_be_deleted
{
public:
~to_be_deleted() {
std::cout <<
"I'd like to say important things here, please.";
}
};

// Test application
#include "deleter.h"
#include "to_be_deleted.h"

int main() {
to_be_deleted* p=new to_be_deleted;

deleter d;
d.delete_it(p);
}

以上代码试图一个指向不完整类型的指针，这会导致未定义行为。注意，在中是前向声明的；包含了而没有包含 : 而中为定义了一个非平凡析构函数。这种麻烦很容易出现，尤其是在使用智能指针的时候。我们要做的就是在调用时确认类型是完整的，这正是所做的。

checked_delete 来解决问题

前面的例子说明了删除不完整类型时不进行确认很可能会引起麻烦，而且不是所有编译器会对此给出警告。编写泛型代码时，避免这种情况是非常必要的。使用重写这个例子，你只需要把改为 .

void deleter::do_it(to_be_deleted* p) {
boost::checked_delete(p);
}

基本上就是一个判断类是否完整的断言，它的实现如下：

template< typename T > inline void checked_delete(T * x) {
typedef char type_must_be_complete[sizeof(T)];
delete x;
}

这里的想法是创建一个的数组，数组的元素数量为的大小。如果被一个不完整的类型所实例化，编译将会失败，因为会返回 0, 而创建一个0个元素的(自动)数组是非法的。你也可以用来执行这个断言。

BOOST_STATIC_ASSERT(sizeof(T));

在编写要求使用完整类型进行实例化的模板时，这个工具非常方便。对于数组，也有一个相应的"checked deleter"，称为 , 它的用法类似于 .

to_be_deleted* p=new to_be_deleted[10];
boost::checked_array_delete(p); 总结

删除一个动态分配的对象时，必须调用它的析构函数。如果这个类型是不完整的，即只有声明没有定义，那么析构函数可能会没被调用。这是一种潜在的危险状态，所以应该避免它。对于类模板及函数模板，风险会更大，因为无法预先知道会使用什么类型。使用和 , 可以解决这个删除不完整类型的问题。它没有运行期的额外开销，只是直接调用 , 因此说带来的安全性实际上是免费的。

如果你需要在调用时确保类型是完整的，就使用。

这篇关于boost::checked_delete作用介绍的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！