Почему я получаю ошибку -fpermissive с этим кодом?

Question

Зачем компилятор жалуется на указанную строку?

class C 
{ 
    std::string s; 
public: 
    C() { s = "<not set>";} 
    ~C() {} 
    void Set(const std::string ss) { s=ss; } 
    const std::string Get() { return s; } 

    C &operator=(const C &c) { Set(c.Get()); return *this; } 
    //error: passing ‘const C’ as ‘this’ argument of ‘const string C::Get()’ 
    // discards qualifiers [-fpermissive] 


    //C &operator=(C &c) { Set(c.Get()); return *this; } <-- works fine 

}; 

Answer 1

Вы должны объявить функцию Get() быть const:

const std::string Get() const { return s; } 

Даже если Get() не изменяет значения членов, компилятор проинструктирован только позволяют вызывать функции, которые явно помечены const.

gcc инструктирует вас, что вы можете отменить жалобу, используя аргумент -fpermissive; однако, как правило, лучше не делать этого (иначе зачем вообще объявлять const?). Как правило, лучше убедиться, что каждая функция-член, вызываемая параметром const, является функцией-членом const.

Эта статья, касающаяся Const Correctness, очень интересна.

Answer 2

Внутри вашего объекта operator =c является постоянным объектом: он имеет const C тип. На языке C++ вам не разрешено вызывать не константные функции-члены постоянных объектов. То есть вызов c.Get() является незаконным, так как ваш Get является непостоянной функцией-членом. Вот почему компилятор сообщает об ошибке.

Либо сделайте свой c непостоянным (как в вашей прокомментированной версии кода), либо сделайте Get константой. Вам решать, какой подход правильный, но похоже, что вы должны сделать последнее.

В качестве примечания стороны не так много декларируется Get() как возвращающийся const std::string. Если вы возвращали его по ссылке (как const std::string &), тогда было бы целесообразно, чтобы const. Но поскольку вы возвращаетесь по значению, объявление возвращаемого типа как const не так уж и полезно. Это вопрос вашего личного стиля.