Рассмотрим следующий код:
class Aggregation
{
public:
Object* get() const
{
return object;
}
private:
Object* object;
};
Метод get()
предоставляет доступ к объекту, на который (возможно) указывает object
.
Я не могу понять, в каком случае нужно считать метод get()
константным, а в каком нет? Есть ли для этого устоявшийся набор правил?
Например, в данном случае метод не меняет состояние указателя object
, и компилятор считает, что метод не изменяет состояние объекта класса Aggregation
.
Но я могу объявить метод неконстантным, сказав: изменение подобъекта через указатель object
меняет состояние объекта класса Aggregation
.
И, формально, я буду прав?
get
должен возвращатьObject* const
, и изменять объект через этот указатель не получится..get()
умных указателей всегда возвращает неконстантный указатель. А.data()
контейнеров возвращает константный указатель только если сам вектор константный.