C++ 如何防止引用返回的私有结构的突变

我有以下代码：

struct MyStruct {
    int a;
    int b;
};

class Foo {
public:
    MyStruct const &getValue() {
        return value;
    }

private:
    MyStruct value{10, 20};
};

int main() {
    Foo foo{};
    auto v = foo.getValue();
    v.a = 42; // compiles! it shouldn't!
}

我想返回对私有成员的引用，但不允许调用方更改此引用的内容。仅仅将返回类型声明为

MyStruct const&

是不够的，因为它可能将引用本身定义为const，而不是指向的对象引用。但是，将返回类型声明为

MyStruct&const

失败，因为“'const'限定符可能不应用于引用”。我想我可能错过了什么

我本可以用声明所有常量字段来解决这个问题，但我想自己在类中对其进行变异——只允许调用方这样做

怎么可能呢

仅仅将返回类型声明为MyStruct const&是不够的，因为它可能将引用本身定义为const，而不是对象引用指向的

那是错误的。无论如何都不能重新分配引用。这是返回对不可变对象的引用的正确方法。但是，您实际上复制了返回的对象：

auto v = foo.getValue();

然后修改副本，这是一个有效的操作。您可以声明

v

作为参考

auto &v = foo.getValue();

---

获取预期的编译器错误

您错误的假设是

auto v

声明了一个引用。如果没有，您将获得从

getValue（）

返回的

MyStruct

的副本

您可以检查原始对象是否未发生变化：

int main() {
    Foo foo{};
    auto v = foo.getValue();
    v.a = 42; // compiles! it should!
    std::cout << foo.getValue().a; //prints 10
}

---

v

是对象的副本，请使用

auto&

创建引用

int main() {
    Foo foo{};
    auto& v = foo.getValue(); // const is deduced by auto
    v.a = 42; // error
}