智能指针和堆栈对象

Question

我已经读了一些关于智能指针的指南，我想我知道它的诀窍(不是双关语)，但仍然有一些东西困扰着我。

智能指针旨在使用new处理指向堆上分配的数据的指针，一旦智能指针超出作用域，其析构函数将释放指针所指向的信息。但是，假设我犯了一个错误，让智能指针指向堆栈上分配的对象，而不是堆上的对象。在这种情况下，我会得到一个严重的分段错误，因为我会尝试在堆栈对象上使用delete。

为了说明这个问题，这里有两个代码片段。在本演示中，我使用了智能指针的this实现。首先，使用智能指针的正确方式

int main(void)
{
  int my_num = 17;
  int *p = new int(my_num);
  MyAuto_Ptr<int> p2(p);

  return 0;
}

这里是错误版本，带有指向堆栈对象的指针，这会导致分段错误。

int main(void)
{
  int my_num = 17;
  int *p = &my_num;
  MyAuto_Ptr<int> p2(p);

  return 0;
}

如果智能指针指向堆栈对象，有没有办法提醒用户？

Answer 1

首先，使用智能指针的正确方法

不，这不是使用智能指针的正确方式。

使用智能指针的整个想法是，你永远不会从一开始就创建一个“原始”指针。所以你的正确方式应该是这样的：

 MyAuto_ptr<int> p(new int(my_num));

如果智能指针指向堆栈对象，有没有办法提醒用户？

没有一般的方法可以做到这一点，但系统特定的运行时检查可能是可能的。

然而，当您避免使用“原始”指针时，尝试使用堆栈对象初始化智能指针将立即脱颖而出:不假思索，您可以断定这是错误的：

 MyAuto_ptr<int> p(&my_num);