c++ - 有没有办法确保存储在类中的 const 引用始终引用有效对象？

Question

我编写了以下示例代码:

#include <iostream>

class B
{
  int Value;

  public:
  B(int V) : Value(V) {}

  int GetValue(void) const { return Value;}
};

class A
{
  const B& b;

  public:
  A(const B &ObjectB) : b(ObjectB) {}

  int GetValue(void) { return b.GetValue();}

};


B b(5);

A a1(B(5));

A a2(b);

A a3(B(3));


int main(void)
{
  std::cout << a1.GetValue() << std::endl;
  std::cout << a2.GetValue() << std::endl;
  std::cout << a3.GetValue() << std::endl;

  return 0;
}

用 mingw-g++ 编译并在 Windows 7 上执行，我得到

6829289
5
1875385008

因此，我从输出中得到的是这两个匿名对象在初始化完成时被销毁，即使它们是在全局上下文中声明的。

我的问题是:是否存在一种方法可以确保存储在类中的常量引用始终引用有效对象？

Answer 1

你可以在A类中做一件事:

A(B&&) = delete;

这样，尝试从 B 临时构造 A 的两行将无法编译。

这显然不会阻止您提供其他生命周期短于引用它的 A 对象的 B 对象，但这是朝着正确方向迈出的一步，可能捕获一些意外/粗心的滥用行为。 (其他答案已经讨论了设计方案和备选方案 - 我不会涵盖相同的内容/在图示方案中引用是否安全(r)已经是一个重要问题。)