对具有可变成员的对象的常量引用

问：

假设我有一个具有成员的类，并且我多次引用该类的对象。该标准是否保证这些引用将彼此保持同步？下面是一个示例。mutableconst

动机：我相信我已经读到编译器在如何延长带有引用的对象的生命周期方面有多种选择，其中一些实际上涉及复制对象（这当然可能会颠覆最初使用引用的原因之一，但可能是保证对象生存所必需的）。如果这是真的，那么多个引用实际上可以开始像多个对象一样（成员的值不同）吗？constmutable

例：

class A {
  public:
    mutable int x;
    A( const int x ) : x( x ) {}
    void f() const;  // Actually changes 'x'.
};

class B {
  public:
    const A & a;
    B( const A & a ) : a( a ) {}
    void f() const { a.f(); }
};

int main() {
  B * b1;
  B * b2;
  {
    A a( 0 );
    b1 = new B( a );
    b2 = new B( a );
  }

  // Do something that would change a mutable variable in 'b1.a' but possibly not in 'b2.a'.
  b1.f();

  return 0;
}

以下是我对此的解释。 已经超出了范围，因此编译器必须以某种方式“保持原始对象处于活动状态”（这与我对堆栈工作原理的基本理解不太相符）或为每个实例制作它的副本（编译器认为这是安全的，因为它是）。但是，我做了一些可能改变了其中一个实例的部分。在这一点上可以并且实际上有所不同吗？aBconstmutableb1.ab2.a

如果答案是“是”，那么这是合理的，因为我不会期望其他情况。但如果答案是否定的，我对它的工作原理非常感兴趣。