如何防止引用返回的私有结构发生变异

Question

我有以下代码：

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 字段来解决这个问题，但我想在我的类中自己改变它——只允许调用者这样做。

怎么可能呢？

Answer 1

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

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

auto v = foo.getValue();

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

auto &v = foo.getValue();

得到预期的编译器错误。演示