// 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 является параметром шаблона
Я знаю, что мы не можем удалить нулевой указатель, будет создано исключение. Поэтому в этом случае определение перечисления должно делать что-то, чтобы предотвратить это. В производстве иногда мы не хотим заканчивать программу просто, потому что у нас есть нулевой указатель, мы можем захотеть взглянуть на альтернативный сценарий, когда указатель имеет значение null. И этот код используется в производстве почти везде?
Спасибо, ребята.
это эффективно статическое утверждение для удаления. реализация хочет знать, имеет ли он дело с типом, чья декларация видна перед удалением переменной, а не с помощью прямого объявления.
Ваш компилятор выдает ошибку, когда вы задаете ему размер неполного типа:
struct S;
enum { Size = sizeof(S) };
Обновление
Как ваш компилятор и Matthieu M. скажут вам - delete - неполный тип undefined.
Усиление check_deleter выглядит лучше:
template<class T> struct checked_deleter
{
typedef void result_type;
typedef T * argument_type;
void operator()(T * p) const;
};
Поскольку какой-то компилятор может вернуть 0, а T не определено, в этом случае
enum { type_must_be_complete = sizeof(T) };
является действительным static assert, но checked_deleter не удался.