C++ возвращает неконстантную метод в константный метод

Question

я наткнулся на этот странный вопрос

У меня есть метод, который является константной, само по себе:

void doSomething() const { x(); } и х неконстантная метод.
Компиляция приведет к ошибке discards qualifiers.

сказать, я перехожу к doSomethingint и сделать x возвращение некоторых фиктивная INT, и он превращается в:

int doSomething() const { return x(); }

Это нормально, что он будет компилировать? он компилируется на моем компиляторе, что заставляет меня думать, что это может быть ошибкой компилятора.

версия компилятора: gcc (Debian 4.4.5-8) 4.4.5

---

class GgWp 
{ 
public: 
    int doSomething const { return x(); } 
    int x() 
    { 
     num = 5; 
     return 0; 
    } 
private: 
    int num; 
} 

Как вы можете видеть, x изменяет переменную num

Answer 1

Рассмотрим следующую строку:

int doSomething() const { return x(); }

Если x() функция член, то она должна быть const или это не будет компилировать на каких-либо серьезных соответствующих стандартам компилятор. Это не имеет никакого отношения к тому, действительно ли вы возвращаете значение x() или возвращаете ли вы что-либо от doSomething(). Вы не можете запустить функцию non-const из функции const.

Если x() не является членом, тогда это не применяется.

Answer 2

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

Если это скомпилировано, либо x() не является членом, это const, или ваш компилятор неисправен.