Может ли выделенный кучей объект быть const в C++?

Question

В C++ стек-размещенного объект может быть объявлен const:

const Class object; 

после этого пытается вызвать неконстантный метод на таком объекте не определенно поведение:

const_cast<Class*>(&object)->NonConstMethod(); //UB 

Может кучу распределёнными объект be const с такими же последствиями? Я имею в виду, что следующее:

const Class* object = new Class(); 
const_cast<Class*>(object)->NonConstMethod(); // can this be UB? 

также не определено поведение?

Answer 1

Да. Законно строить и уничтожать объект кучи const. Как и в случае с другими объектами const, результаты манипулирования им как объекта не const (например, через const_cast указателя или ссылки) вызывают неопределенное поведение.

struct C 
{ 
     C(); 
     ~C(); 
}; 

int main() 
{ 
     const C* const p = new const C; 

     C* const q = const_cast<C*>(p); // OK, but writes through q cause UB 

     // ... 

     delete p; // valid, it doesn't matter that p and *p are const 

     return 0; 
} 

Answer 2

В примере с кучей new возвращает указатель на неконстантный. Тот факт, что вы сохранили его в указателе на const (а затем const_cast, отредактировал его обратно к указателю на неконстантный), не изменяет того факта, что сам объект не является const таким же образом, как и выделенный стек один.

Однако может создать константный объект в куче:

const Class* object = new const Class(); 

В таком случае приведение к указателю на неконстантный и вызов неконстантного метода будет той же ситуация как объект, созданный с помощью стека.

_{(Идея создания константного объекта в куче было ново для меня, я никогда не видел, что раньше. Благодаря Чарльз Бейли.)}

Answer 3

Очевидно:

struct Foo { 
    const int Bar; 
    Foo() : Bar(42) { } 
}; 

Foo* foo = new Foo; 
const_cast<int&>(foo->Bar); // don't do this. 

Answer 4

Да, куча распределённая объект может быть константной. Рассмотрим этот отрывок из примера в 7.1.5.1/5:

const int* ciq = new const int (3); // initialized as required 
int* iq = const_cast<int*>(ciq);  // cast required 
*iq = 4;        // undefined: modifies a const object 

На примере вы дали в этом вопросе это прекрасно, потому что вы не просят new сделать константный объект; вы просто сохраняете результат в указателе на константу.

Answer 5

const_cast может вызвать UB, когда объект фактически доступен для чтения (например, компилятор может создавать такие объекты, когда вы используете жестко закодированные строки в своем коде, помещая их в определенные области памяти, которые только читаются) для некоторых причина. Это не произойдет с выделенными кучами объектами, независимо от того, как вы храните их ссылку (указатель const, const reference, что угодно).

Answer 6

Не забудьте изменяемых членов

Это не будет undefinied поведения, если NonConstMethod только изменяет mutable квалифицированных членов (см 7.1.5.1 (4)) из константного квалифицированного класса. Да, иначе это неопределенное поведение.

const A* p = new(const A); 
A *q = const_cast<A*>(p); 
q->NonConstMethodThatModifiesMembers();    // undefined behaviour! 
q->NonConstMethodThatOnlyModifiesMutableMembers(); // defined behaviour!