auto_ptr 会防止这种情况发生吗？

Question

我不太清楚 auto_ptr 在这种情况下是否会帮助我：

class A
{
  A(const B& member)
   : _member(B)
  {};

...
  const B& _member;
};


A generateA() {
   auto_ptr<B> smart(new B());
   A myA(*smart);
   return myA;
}

当 smart 离开其封闭范围时，myA._member 引用是否有效？ 如果 auto_ptr 不是这里的答案，那么什么是呢？

编辑：我明白了我让大家困惑的地方； 我必须在范围之外返回 myA，这就是为什么我关心 _member 在 smart 退出范围后是否有效。

Answer 1

它不会帮助你。 _member 将成为一个悬空句柄。 这是因为 auto_ptr 保证在作用域结束时销毁：不多也不少。

有 2 个可能的答案。

• 您可以将 _member 的类型设置为 boost::shared_ptr。
• 或者，如果类 B 是小、可复制、单态，并且对象标识不需要保留 ，您可以将 _member 设为一个值，并在其中存储参数的副本。 这是迄今为止最简单的选择，但显然它是相当有限的。

回应您的编辑：这确实是我所说的情况。 通过按值返回 myA，创建一个副本，并且该副本的 _member 引用已经被破坏的本地。 如上所述，shared_ptr 和值语义都解决了这个问题。

Answer 2

auto_ptr 类是普通指针的包装器。 当堆栈展开时，它们负责取消分配（调用 auto_ptr 的析构函数，从而释放所包含的对象）。

请注意，您的 A 对象也是在堆栈上创建的。 当作用域结束时，A 和 auto_ptr 都将被释放。 除此之外，尝试访问 A 对象将会出现编译时错误。

假设 A 对象是在块之外的某个地方创建的，那么你就会遇到一个真正的问题。 由于A对象存储了对B对象的引用，在块作用域之外，该引用将变得无效。

另请注意，在 C++0x 中，auto_ptr 已被弃用。 请改用 unique_ptr。 请查看通用智能指针，它们是C++0x 即将到来。

Answer 3

{
   auto_ptr<B> smart(new B());
   A myA(*smart);
}

'smart' 中保存的指针和对象 'myA' 都将在此范围结束时被销毁。 但这应该就是您想要的这段代码。

一旦作用域结束，“myA”将首先被销毁（最后声明）。
那么接下来的这个 smart 就会被销毁，它的析构函数会删除这个指针。

由于无法引用“smart”或“myA”，我希望您此时希望删除指针。

或者你可以这样做：

{
    B  myB;
    A  myA(myB);
}