сопзЬ правильность

Question

Я шел через: C++ FAQs about inheritance и решил реализовать его (просто, чтобы узнать его)

#include "Shape.h" 

void Shape::print() const 
{ 
    float a = this->area(); // area() is pure virtual 
    ... 
} 

сейчас, все (ну, почти) работает, как описано в пункте: FAQ: 23,1 исключением того, что печать () является const, и поэтому он не может получить доступ к этому «указателю», как только вы выберете const, он работает. Теперь часто задаваемые вопросы по C++ существуют и обычно довольно хороши. Это ошибка? У них есть опечатка или я не прав? Если я ошибаюсь, я хотел бы знать, как можно получить доступ к «этому» указателю в функции const.

Answer 1

Проблема в том, что функция area() не является константой. Если эта функция была const, тогда она будет компилироваться штрафом. Поскольку ваша внутренняя функция const, этот указатель const, и поэтому вы можете вызывать на нем только функции const.

Answer 2

Почему не удалось получить доступ к this? Дело в том, что могут использоваться только члены и методы const. Так что если Shape::area() объявлен const, проблем нет. Кроме того, вы можете свободно читать значение членов данных, но не приписывать им:

class Shape 
{ 
    int i; 
    void print() const; 
    virtual float area() const = 0; 
    virtual void modify() = 0; 
}; 

void Shape::print() const 
{ 
    float a = this->area(); // call to const member - fine 
    int j = this->i;  // reading const member - fine 

    this->modify();   // call to non const member - error 
    this->i++;    // assigning to member - error 
} 

Answer 3

Если print определяются как const, то он может использовать this для доступа const пользователей, но не для доступа к неконстантным пользователям: так может вызывать this->area() if-and-only-если метод area объявлен как const (т. Е. Если метод area обещает, что при его вызове он не будет мутировать его экземпляр Shape).

Answer 4

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

Answer 5

Это также хорошая практика, чтобы объявить все функции как const по умолчанию и только не делать этого, когда вам действительно нужно изменить объект. Это также поможет найти ошибки в том виде, в котором какая-то функция изменяет то, что она не предназначена.