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

How to prevent mutation of private structures returned by reference

本文关键字：结构 突变 引用 返回 何防止      更新时间：2023-10-16

我有以下代码：

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' 限定符可能不会应用于引用"。我相信我可能在这里错过了一些东西。

我本可以通过声明所有 const 字段的MyStruct来解决这个问题，但我想在我的类中自己改变它——只不允许调用者这样做。

怎么可能呢？

仅仅将返回类型声明为 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声明为引用类型不会编译

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