智能指针和堆栈对象

Question

我已经阅读了一些关于智能指针的指南，并且我认为我理解它的窍门（没有双关语意思），但有些东西仍然困扰着我。

智能指针用于指向堆中使用new分配的数据，一旦智能指针超出范围，析构函数就会释放指针指向的信息。但是，假设我犯了一个错误，并且使智能指针指向堆栈上而不是堆上分配的对象。在这种情况下，我会得到一个令人讨厌的分段错误错误，因为我会尝试在堆栈对象上使用删除。

为了说明这个问题，下面是两个代码片段。对于这个演示，我使用智能指针的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);