引用数据成员更改 const 函数内的另一个数据成员

Question

如果这个问题已经被问过，我很抱歉，但我找不到同样的问题。 请将我重定向到相关问题。

#include<iostream>

using namespace std;

class ABC
{
    int a;
    int &ref;
public:    
    ABC(int arg = 0):a(arg), ref(a){}
    void mutate_func(int arg) const {
        ref = arg;
    }
    void print_val() {
        cout << endl << &a << "\t" << &ref;
        cout << endl << a << "\t" << ref;
    }
};

int main()
{
    ABC abc_obj(5);
    cout << sizeof(abc_obj);

    abc_obj.print_val();
    abc_obj.mutate_func(10);
    abc_obj.print_val();
    return 0;
}

我正在尝试通过仅属于同一类的引用变量来修改 const 成员函数内的类的数据成员。

我有两个问题 -

1. 为什么不抛出编译错误。

2. 我正在打印两个变量的地址，并且正如预期的那样，两者都显示相同的地址，但实例的 sizeof() 仍然显示大小为 8 个字节。

Answer 1

1. 编译器无法在编译时完全跟踪引用目标。
2. 因为它需要存储在引用所指的某个地方。

这是一个很容易触发未定义行为的类。只需为其创建一个 const 对象并调用 const 成员函数即可。

C++ 支持 mutable 关键字，用于在 const 成员函数中更改对象位的支持机制。

Answer 2

我可以回答 sizeof 和 address 部分。

引用可以看作是一个语法较轻的指针，因此它需要与指针等效的存储空间（此处为 4 个字节）。

仅在其初始化ref(a) 期间修改引用。在其初始化之后，对引用的任何操作都是在被引用的值上执行的，所以&ref 给出的是被引用值的地址，而不是引用本身。所以&a == &ref 非常有意义。