智能指针和堆栈对象

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);