删除指向 const 的指针 (T const*)

Question

我有一个关于 const 指针的基本问题。 我不允许使用 const 指针调用任何非常量成员函数。 但是，我可以在 const 指针上执行此操作：

delete p;

这将调用该类的析构函数，该类本质上是一个非常量“方法”。 为什么这是允许的？ 仅仅是为了支持这一点：

delete this;

还是还有其他原因？

Answer 1

它是为了支持：

// dynamically create object that cannot be changed
const Foo * f = new Foo;

// use const member functions here

// delete it
delete f;

但请注意，问题不仅限于动态创建的对象：

{
 const Foo f;
 // use it
} // destructor called here

如果无法在 const 对象上调用析构函数，我们根本无法使用 const 对象。

Answer 2

这么说吧 - 如果不允许的话，就无法在不使用 const_cast 的情况下删除 const 对象。

从语义上讲，const 表示对象应该是不可变的。 但是，这并不意味着不应删除该对象。

Answer 3

构造函数和析构函数不应被视为“方法”。 它们是用于初始化和拆除类对象的特殊构造。

“常量指针”是指在对象存活期间对其进行操作时，其状态不会改变。

Answer 4

我不允许使用 const 指针调用任何非常量成员函数。

是的，你是。

class Foo
{
public:
  void aNonConstMemberFunction();
};

Foo* const aConstPointer = new Foo;
aConstPointer->aNonConstMemberFunction(); // legal

const Foo* aPointerToConst = new Foo;
aPointerToConst->aNonConstMemberFunction(); // illegal

您混淆了指向非常量对象的 const 指针和指向 const 对象的非常量指针。

话虽如此，

delete aConstPointer; // legal
delete aPointerToConst; // legal

出于此处其他答案已经说明的原因，删除其中任何一个都是合法的。

Answer 5

另一种看待它的方式：const 指针的精确含义是，您将无法对通过该指针或任何其他指针或对同一对象的引用可见的所指向的对象进行更改。 但是，当对象析构时，指向现在已删除的对象先前占用的地址的所有其他指针都不再是指向该对象的指针。 它们存储相同的地址，但该地址不再是任何对象的地址（事实上，它可能很快就会被重用为不同对象的地址）。

如果 C++ 中的指针表现得像弱引用，即一旦对象被销毁，所有现有的指向它的指针将立即被设置为0，那么这种区别将更加明显。 （这种事情被认为在运行时成本太高，无法强加在所有 C++ 程序上，而且事实上不可能使其完全可靠。）

更新：九年后读到这里，它是律师风格。 我现在发现你最初的反应是可以理解的。 不允许突变但允许破坏显然是有问题的。 const 指针/引用的隐含契约是它们的存在将充当目标对象销毁的块，即自动垃圾收集。

通常的解决方案是使用几乎任何其他语言。