恒定参考如何起作用

How do constant references work?

本文关键字：起作用 参考      更新时间：2023-10-16

最近，我一直在学习C 中的良好编程实践，发现许多程序通过参考将对象传递给函数，因此未创建多个实例。我还了解到，通过常数引用可以防止原始对象被修改，但是我不明白这是如何工作的。不应该创建新实例，因为无法通过引用修改原始对象，但是引用仍然可以像单独的对象一样使用？我可以肯定的是，这不是运作方式，而是它的工作原理？我错过了什么吗？

我还了解到，通过常数引用可以防止原始对象被修改[...]

不完全。您不允许通过 const &修改对象。换句话说，您只读访问。但是，没有什么可以在本地阻止使用读写访问的其他代码(例如，引用对象的原始所有者(来修改它。您确实需要在设计时要小心，以使您的更改不会令您感到惊讶。

常数引用(const&(类似于指向常数对象的指针。您可以通过参考阅读，但不能对其进行修改。其他，持有 non -const reference can 仍将其修改。

不应该常量参考创建新实例，因为 原始对象不能通过参考来修改，而是 参考仍然可以像单独的对象一样使用？

最好将其称为引用常数对象。这使事物的工作原理更加清晰。将其称为另一种方式只是令人困惑的，因为任何参考都是恒定的(这意味着您在初始化后不能让它引用另一个对象(。

因此，对常数对象的引用只是现有对象的附加名称(例如非const reference(，该名称仅允许读取，从现有对象。

这意味着通过引用常数对象您可以：

  • 除非成员标记为 mutable
  • 仅调用标记为const的对象的方法

示例： 

struct Foo
{
    int a;
    mutable int b;
    void SetA( int newA ) { a = newA; }
    int GetA() const      { return a; }
};
void DoSomething( const Foo& f )
{
    // Here, f is just another name for foo, but it imposes some restrictions:
    f.a = 42;          // compiler error, can't modify member!
    f.SetA( 42 );      // compiler error, can't call non-const method!
    int x = f.a;       // OK, reading is allowed.
    f.b = 42;          // OK, because b is marked as mutable
    int y = f.GetA();  // OK, because GetA() is marked as const 
}
int main()
{
    Foo foo;
    DoSomething( foo );
}
相关文章：