C++ 智能指针学习笔记

1、为什么使用智能指针?

        一句话就是为了防止内存泄漏

void remodel(std::string & str)
{
    std::string *ps = new std::string(str)
    ...
    str = ps;
    return;
}

        举个例子,如上面代码,每当调用时,该函数都分配堆内的内存,但从不收回,从而导致内存泄漏。你可能会说,只要别忘了在return前添加delete ps,释放分配的内存就好了。但有时你即使没有忘,当程序有问题时,delete不被执行,也会导致内存泄漏。

        如果当指针ps占据的内存被释放时,ps指向的内存也被释放就好了。如果ps有一个析构函数,析构函数就可以在ps过期时释放它指向的内存。因此ps问题在于它只是常规指针,不是有析构函数的对象。这也是智能指针背后的思想。

2、使用智能指针

        三个智能指针模板(auto_ptr、unique_ptr和shared_ptr)都定义了类似指针的对象,可以将new获得(直接或间接)的地址 赋给这种对象。当智能指针过期时,其析构函数将使用delete来释放内存。要创建智能指针对象,必须包含头文件memory。

auto_ptr<string> ps(new string); //ps是一个指向string的智能指针

        智能指针对象的很多方面都类似于常规指针。例如,如果ps是一个智能指针对象,则解除引用操作(*ps)、访问结构成员(ps->puffIndex)、将它赋给指向相同类型的常规指针。还可以将智能指针对象赋给另一个同类型的智能指针对象,但这将引起一个问题,后面会提到。

3、有关智能指针的注意事项

       3.1、 首先是三种智能指针都应该避免的:

string str("Hello world");
shared_ptr<string> ps(&str);

        当ps过期时,程序将把delete运算符用于非堆内存,这是错误的!

       3.2、看下面的程序有什么问题:

auto_ptr<string> ps (new string("Hello world"));
auto_ptr<string> vps;
vps = ps;

        如果ps和vps是常规指针,则两个指针都将指向同一个string对象。这是错误的,因为程序将试图删除同一个对象两次--一次是ps过期时,另一次是vps过期时。要避免这种问题,有以下几种方法:

  • 定义赋值运算符,使之执行深拷贝。这样两个指针都将指向不同的对象。
  • 建立所有权(ownership)概念,对于特定对象,只能有一个智能指针可以拥有它,这样只有拥有对象的智能指针的析构函数会删除对象。然后让赋值操作转让所有权。这就是auto_ptr和unique_ptr的策略。
  • 创建智能更高的指针,跟踪引用特定对象的智能指针数。被称为引用计数(reference counting)。比如说,赋值时,计数+1,而指针过期时,计数-1。仅当最后一个指针过期时,才调用delete,这是shared_ptr的策略。

以下是一个不适合使用auto_ptr的实例,帮助更好理解上面的概念:

#include<iostream>
#include<string>
#include<memory>
using namespace std;

int main()
{
    auto_ptr<string> animals[5] =
            {
            auto_ptr<string> (new string("cat")),
            auto_ptr<string> (new string("pig")),
            auto_ptr<string> (new string("dog")),
            auto_ptr<string> (new string("cow")),
            auto_ptr<string> (new string("sheep")),
            };
    auto_ptr<string> pw;
    pw = animals[2];   //animals[2]丧失所有权

    for(int i = 0; i < 5; i++){
        cout<< *animals[i] <<endl;
    }
    cout<<"My favourite animal is "<< *pw<<endl;
    return 0;
}

        运行此程序的话,程序只能输出cat pig。

        这个程序的问题在于 pw = animals[2]; 这个语句将所有权从animals[2]转让给pw,这就导致animals[2]不再引用该字符串,当程序打印animals[2]指向的字符串时,会发现这是个空指针。

        如果程序中使用shared_ptr代替auto_ptr,程序就可以正常运行。

        因为这次pw和animals[2]指向同一个对象,而引用计数从1增加到2. 程序末尾,后声明的pw首先调用其析构函数,将引用计数减到1,然后shared_ptr数组的成员被释放,animals[2]调用析构函数时,将引用计数降到0,并释放分配的空间。

        那么如果使用unique_ptr会怎么样?使用unique_ptr时,程序不会等到运行阶段崩溃,而在编译期间就会报错。

        3.3、unique_ptr为什么比auto_ptr好?

unique_ptr<string> p1 (new string("Hello world"));
unique_ptr<string> p2;
p2 = p1;

        编译器认为 p2 = p1语句非法,避免p1不再指向有效数据的问题,因此unique

_ptr比auto_ptr更安全。

        还有重要的一点,程序试图将一个unique_ptr赋给另一个时,如果源unique_ptr是一个临时右值,编译器允许这样做;如果源unique_ptr将存在一段时间,编译器将禁止这样做!

unique_ptr<string> pu1;
pu1 = unique_ptr<string>(new string("Yes"));

        上面的程序不会留下悬挂的unique_ptr,因为它调用unique_ptr的构造函数,该构造函数创建的临时对象在其所有权转让给pu1后就会被销毁。所以编译器允许这样做。

        相比于auto_ptr,unique_ptr还有另外一个优点,它有一个可用于数组的变体。auto_ptr使用delete而不是delete[],因此只能与new一起使用,但unique_ptr有使用new[]和delete[]的版本。

        4、选择智能指针

                1、如果程序要使用多个指向同一个对象的指针,应选择shared_ptr。比如说有一个指针数组,并使用一些辅助指针来标识特定的元素;STL容器包含指针等.

                2、如果程序不需要多个指向同一个对象的指针,则可使用unique_ptr.

                                                                                                              ----参考C++ Primer Plus

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值