C++ const 对象的成员可以被修改

Question

在这段代码中对象 bar 是一个 const 类型，但是通过 const 函数我仍然可以修改成员 x 的值。这不合理吗？

输出是

1525

// overloading members on constness
#include <iostream>
using namespace std;

class MyClass {
    int x;
  public:
    MyClass(int val) : x(val) {}
    int& get() const {return x;}
    int& get() {return x;}
};

int main() {
  MyClass foo (10);
  const MyClass bar (20);
  foo.get() = 15;         
  bar.get() = 25;        
  cout << foo.get() << '\n';
  cout << bar.get() << '\n';

  return 0;
}

Answer 1

int& get() const {return x;}

返回一个非 const引用 const 的成员目的。 (我们知道 *this 是 const 因为 int& get() 声明为 const 。)这应该被标记为错误，因为它是无效转换( x 未声明 mutable ) ; gcc 和 clang 都会这样做。您的编译器只产生警告这一事实很奇怪，但您仍然应该注意警告。

您可以通过显式使用 const_cast<int&>(x) 来避免错误, 但尝试使用返回的 int& 是未定义行为 (UB)修改x .但是，编译器没有义务标记为错误，甚至没有义务检测所有可能产生未定义行为的可能表达式。

简而言之，您可以搬起石头砸自己的脚，但好的编译器至少会在您这样做之前警告您。听取警告。