Видалення покажчика на const (T const *)

Question 1

У мене є основне питання стосовно покажчиків const. Мені не дозволено викликати будь-які функції, що не є учасниками const, за допомогою вказівника const. Однак мені дозволено це робити на покажчику const:

delete p;

Це викличе деструктор класу, який по суті є неконстентним 'методом'. Чому це дозволено? Чи просто для підтримки цього:

delete this;

Або є якась інша причина?

Question 2

Це для підтримки:

// 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 взагалі.

Question 3

Поставте це так - якби це не було дозволено, не було б можливості видалити об'єкти const без використання const_cast.

Семантично const - це ознака того, що об’єкт повинен бути незмінним. Однак це не означає, що об’єкт не слід видаляти.

Question 4

Мені не дозволено викликати будь-які функції, що не є учасниками const, за допомогою вказівника const.

Так.

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

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

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

Ви переплутали вказівник const на об'єкт, який не є const, з вказівником, що не є const, на об'єкт const.

Сказавши, що,

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

законно видалити будь-яку з причин, зазначених в інших відповідях тут.

Question 5

Конструктори та деструктори не слід розглядати як "методи". Вони є спеціальними конструкціями для ініціалізації та руйнування об’єкта класу.

"покажчик const" означає, що стан об'єкта не буде змінено, коли над ним виконуються операції, поки він живий.

Question 6

Інший спосіб подивитися на це: точне значення покажчика const полягає в тому, що ви не зможете вносити зміни до об’єкта, на який спрямовано, який буде видно через той чи інший вказівник або посилання на той самий об’єкт. Але коли об’єкт руйнується, всі інші вказівники на адресу, раніше зайняту видаленим об’єктом , більше не є вказівниками на цей об’єкт . Вони зберігають одну і ту ж адресу, але ця адреса вже не є адресою будь-якого об'єкта (насправді вона може незабаром бути повторно використана як адреса іншого об'єкта).

Це розрізнення було б більш очевидним, якби вказівники в C ++ поводились як слабкі посилання, тобто як тільки об'єкт буде знищений, для всіх наявних покажчиків на нього відразу буде встановлено значення 0. (Це те, що вважається занадто дорогим під час виконання, щоб накласти на всі програми C ++, і насправді неможливо зробити його цілком надійним.)

ОНОВЛЕННЯ : Читаючи це назад через дев'ять років, це по-адвокатськи. Зараз я вважаю вашу оригінальну реакцію зрозумілою. Заборонити мутацію, але дозволити знищення, очевидно, проблематично. Мається на увазі договір const покажчиків / посилань на те, що їх існування буде діяти як блок знищення цільового об'єкта, він же автоматичний збір сміття.

Звичайним рішенням цього є використання замість нього майже будь-якої іншої мови.