智能指针和堆栈对象

Question

我读过一些关于智能指针的指南，我想我理解它的诀窍（并非双关语），但它仍然让我感到困扰。

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

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

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