// Destructor. If there is a C object, delete it.
// We don't need to test ptr_ == NULL because C++ does that for us
~scoped_ptr() {
enum { type_must_be_complete = sizeof(C) };
delete ptr_;
}
注意：C是模板参数
我知道我们不能删除空指针，会引发异常。所以在这种情况下，枚举定义必须做一些事情来防止这种情况发生。在生产中，有时我们不想简单地结束程序，因为我们有一个空指针，我们可能想看看替代方案，当指针为空时。而且这段代码几乎在任何地方都在生产中使用？
多谢你们。
它实际上是删除的静态断言。实现想知道它是否正在处理在删除变量之前其声明可见的类型，而不是前向声明。
当您询问不完整类型的大小时，您的编译器会发出错误：
struct S;
enum { Size = sizeof(S) };
更新
正如您的编译器和 Matthieu M. 会告诉您的那样delete，不完整的类型是未定义的。
boost checked_deleter 似乎更好：
template<class T> struct checked_deleter
{
typedef void result_type;
typedef T * argument_type;
void operator()(T * p) const;
};
因为某些编译器可能会在 T 未定义时返回 0，在这种情况下
enum { type_must_be_complete = sizeof(T) };
是一个有效的静态断言，但 checked_deleter 会失败。