什么是智能指针,什么时候应该使用?


当前回答

智能指针类似于常规(类型化)指针,如“char*”,除非指针本身超出范围,否则它所指向的内容也会被删除。您可以像使用常规指针一样使用它,方法是使用“->”,但如果您需要指向数据的实际指针,则不需要。为此,可以使用“&*ptr”。

它适用于:

对象必须分配新的,但您希望与堆栈中的对象具有相同的生存期。如果对象被分配给智能指针,那么当程序退出该函数/块时,它们将被删除。类的数据成员,因此当对象被删除时,所有拥有的数据也会被删除,而析构函数中没有任何特殊代码(您需要确保析构函数是虚拟的,这几乎总是一件好事)。

在以下情况下,您可能不想使用智能指针:

…指针实际上不应该拥有数据。。。即,当您只是在使用数据,但希望它在引用它的函数中生存时。…智能指针本身不会在某个时刻被破坏。您不希望它位于永远不会被破坏的内存中(例如动态分配但不会显式删除的对象中)。…两个智能指针可能指向相同的数据。(然而,还有更聪明的指针可以处理这一点……这就是所谓的引用计数。)

另请参见:

垃圾收集。关于数据所有权的堆栈溢出问题

其他回答

现有的答案很好,但不包括当智能指针不是您试图解决的问题的(完整)答案时该做什么。

除了其他事情(在其他答案中解释得很好)之外,使用智能指针是如何将抽象类用作函数返回类型的一个可能的解决方案?该问题被标记为该问题的副本。然而,如果想在C++中指定抽象(或实际上任何)基类作为返回类型,首先要问的问题是“你真正的意思是什么?”。boost指针容器库的文档中对C++中惯用的面向对象编程(以及这与其他语言的区别)进行了很好的讨论(并提供了进一步的参考)。总之,在C++中,您必须考虑所有权。哪些智能指针可以帮助您,但不是唯一的解决方案,或者总是一个完整的解决方案(它们不会为您提供多态副本),也不总是您希望在接口中公开的解决方案。例如,返回引用就足够了。但是在所有这些情况下(智能指针、指针容器或简单地返回引用),您已经将返回从值更改为某种形式的引用。如果你真的需要复制,你可能需要添加更多的样板“习惯用法”,或者使用Adobe Poly或Boost.TypeErasure等库从C++中的惯用(或其他)OOP过渡到更通用的多态性。

大多数类型的智能指针都为您处理对象指针的处理。它非常方便,因为您不再需要考虑手动处理对象。

最常用的智能指针是std::tr1::shared_ptr(或boost::shared_pt),以及不太常见的std::auto_ptr。我建议经常使用shared_ptr。

shared_ptr非常通用,可以处理各种各样的处理场景,包括需要“跨越DLL边界传递对象”的情况(如果在代码和DLL之间使用不同的libc,这是常见的噩梦)。

下面是现代C++(C++11及更高版本)的一个简单答案:

“什么是智能指针?”这是一种类型,其值可以像指针一样使用,但它提供了自动内存管理的附加功能:当智能指针不再使用时,它指向的内存将被释放(另请参阅维基百科上更详细的定义)。“我什么时候该用?”在涉及跟踪内存所有权、分配或取消分配的代码中;智能指针通常不需要显式地执行这些操作。“但在这些情况下,我应该使用哪个智能指针?”当您希望对象的生存时间与对它的单个拥有引用的生存时间一样长时,请使用std::unique_ptr。例如,将它用作指向内存的指针,该指针在进入某个作用域时分配,在退出作用域时取消分配。当您确实希望从多个位置引用对象时,请使用std::shared_ptr,并且不希望在所有这些引用都消失之前取消分配对象。当您确实希望从多个位置引用对象时,请使用std::weak_ptr-对于那些可以忽略和取消分配的引用(因此当您尝试取消引用时,它们会注意到对象已消失)。有人建议在C++26中添加危险指针,但目前还没有。不要使用boost::smart指针或std::auto_ptr,除非在特殊情况下,您可以在必要时阅读。“嘿,我没问该用哪一个!”啊,但你真的想承认。“那么,我什么时候应该使用常规指针?”大部分代码都忽略了内存所有权。这通常发生在从其他地方获取指针的函数中,它们既不分配也不取消分配,也不存储指针的副本,该副本的执行时间会延长。

智能指针类似于常规(类型化)指针,如“char*”,除非指针本身超出范围,否则它所指向的内容也会被删除。您可以像使用常规指针一样使用它,方法是使用“->”,但如果您需要指向数据的实际指针,则不需要。为此,可以使用“&*ptr”。

它适用于:

对象必须分配新的,但您希望与堆栈中的对象具有相同的生存期。如果对象被分配给智能指针,那么当程序退出该函数/块时,它们将被删除。类的数据成员,因此当对象被删除时,所有拥有的数据也会被删除,而析构函数中没有任何特殊代码(您需要确保析构函数是虚拟的,这几乎总是一件好事)。

在以下情况下,您可能不想使用智能指针:

…指针实际上不应该拥有数据。。。即,当您只是在使用数据,但希望它在引用它的函数中生存时。…智能指针本身不会在某个时刻被破坏。您不希望它位于永远不会被破坏的内存中(例如动态分配但不会显式删除的对象中)。…两个智能指针可能指向相同的数据。(然而,还有更聪明的指针可以处理这一点……这就是所谓的引用计数。)

另请参见:

垃圾收集。关于数据所有权的堆栈溢出问题

更新:

对于过去使用的C++类型,这个答案已经过时了。std::auto_ptr在新标准中被弃用并删除。应该使用std::shared_ptr而不是boost::shared_pt,这是标准的一部分。

与智能指针原理背后的概念的联系仍然是最相关的。

现代C++具有以下智能指针类型,不需要boost智能指针:

std::shared_ptr标准::weak_ptr标准::unique_ptr

答案中还提到了该书的第二版:《C++模板:完整指南第二版》,作者:David Vandvoorde Nicolai、M.Josuttis、Douglas Gregor


旧答案:

智能指针是一种类似指针的类型,具有一些附加功能,例如自动内存释放、引用计数等。

智能指针页面上有一个小介绍-什么,为什么,哪个?。

其中一种简单的智能指针类型是std::auto_ptr(C++标准第20.4.5章),它允许在内存超出范围时自动释放内存,并且在抛出异常时比简单的指针用法更健壮,尽管灵活性较低。

另一种方便的类型是boost::shared_ptr,它实现引用计数,并在没有对对象的引用时自动释放内存。这有助于避免内存泄漏,并且易于用于实现RAII。

David Vandvoorde、Nicolai M.Josuttis的《C++模板:完整指南》一书第20章对这一主题进行了深入探讨。智能指针。涉及的一些主题:

防止异常Holders,(注意,std::auto_ptr是此类智能指针的实现)资源获取是初始化(这通常用于C++中的异常安全资源管理)持有人限制参考计数并发计数器访问销毁和处置