c++ - 为什么我可以从 const 方法调用更改成员的方法？

Question

我不确定为什么我可以通过 const 方法修改对象，请看:

#include <iostream>

struct Foo {
    int a = 0;
    void change() {
        a = 3;
    }
};

struct Test {
    Foo* f;

    Test(): f{new Foo} {}

    void test() const {
        f->change();
    }
};

int main()
{
  Test t;
  std::cout << "before: " << t.f->a << "\n";
  t.test();
  std::cout << "after: " << t.f->a << "\n";

}

它不仅可以编译，而且可以打印:

0
3

所以我能够通过 const 方法修改对象的逻辑状态。是因为我使用了指针吗？

Answer 1

const适用于指针本身，f ，而不是该指针所指向的内容。 f的类型在你的const里面-限定成员函数，Test::test() ，是Foo* const (即 const 指向 Foo )，而不是 const Foo* (即指向const Foo的指针)。这就是为什么您可以修改指针所指向的内容，尽管 const成员函数的资格。

<小时/>

请注意以下示例成员函数 Test::test2() ，确实无法编译，因为它是 const - 限定并尝试修改指针数据成员 f :

void Test::test2() const {
        f = nullptr; // <-- error
}