C++ этот указатель всегда const

Question

Для функции non const-члена класса X этот указатель имеет тип X * const.

Тогда этот указатель для функции-члена всегда является константой.

Тогда мы всегда должны Const брошено как в:

void foo::p() {       
     const_cast <int&> (member) = 1;  
} 

Я пропускаю что-то здесь?

Answer 1

Для функции не const-член класса X этот указатель имеет тип X * const.

Нет, тип this указателя внутри неконстантного функции члена просто (и это Rvalue). Но даже если this были X* const, это все равно не помешало бы вам изменять члены данных.

Ваш пример кода не соответствует вашему вопросу. Он показывает функцию-член const. Внутри функции const-члена тип this равен const X*. Вы не можете изменять какие-либо элементы данных внутри функции-члена const (за исключением членов данных, объявленных как mutable). Это противоречит объявлению функции-члена как const, если ваша цель - изменить данные. Прими решение.

Answer 2

Для функции не const-член класса X этот указатель имеет тип X * const.

Тогда этот указатель для функции-члена всегда является константой.

Более или менее, что это Rvalue, но может рассматриваться как константный указатель, но внимание: указатель является Const, но не pointee. Это означает, что вы не можете изменить объект, на который это указывает, но вы можете изменить содержимое объекта.

В вашем примере, функция объявлена ​​Const:

void foo::p() const { 
       // ^---- here! 

Таким образом, в этом случае, this имеет тип X const * const (это точно Rvalue типа X const*, но это не имеет значения здесь) - то есть указатель и указатель - const. Последнее действительно имеет значение.

Так что, если вы хотите изменить членов, просто не использовать сопзЬ для метода:

void foo::p() {  
      //^------ no const! 
     member = 1;  // perfectly legal, because *this is not const 
     this->member = 1; // the same 
     this = new foo; // still illegal, this cannot be assigned to 
} 

Answer 3

сопзЬ после символа звезды, что означает «Х * сопз», а не «Const X * или X const * "(которые являются одинаковыми). , поэтому это означает, что вы не можете сделать «эту» точку для другого объекта, чем тот, на который он указывает, но вы можете изменить объект, который указывает, что имеет смысл. «const X * или X const *» означает, что вы не можете изменить объект, который указывает на данный момент, но вы можете сделать точку указателя на разные объекты. надеется, что это помогает (:.