• C++ Primer : 第十二章 : 动态内存之shared_ptr与new的结合使用、智能指针异常


    shared_ptr和new结合使用

    一个shared_ptr默认初始化为一个空指针。我们也可以使用new返回的指针来初始化一个shared_ptr:
    shared_ptr<double> p1;
    shared_ptr<int> p2(new int(42)); // p2指向一个值为42的int
    

    接受指针参数的智能指针构造函数是explicit的,因此,我们不能将一个内置指针隐式的转换为一个智能指针,必须使用直接初始化形式
    shared_ptr<int> p1 = new int(1024); // 错误,必须使用直接初始化形式
    shared_ptr<int> p2(new int(1024)); 

    p1的初始化隐式的要求编译器用一个new返回的int* 来初始化一个shared_ptr。由于我们不能进行内置指针到智能指针间的隐式转换,因此这条初始化语句是错误的。同样的,一个返回值为shared_ptr的函数不能在其返回语句中转换一个普通指针
    shared_ptr<int> clone(int p) {
      
        return new int(p); // 错误,隐式转换为shared_ptr
    }

    我们必须将shared_ptr显示绑定到一个想要返回的指针上:

    shared_ptr<int> clone(int p) {
      
        return shared_ptr<int>(new int(p)); 
    }


    默认情况下,一个用来初始化智能指针的普通指针必须指向动态内存,因为智能指针默认使用delete来释放它所关联的对象。 我们也可以把智能指针绑定到其他类型的指针上,但是我们必须提供自己的删除操作来替代delete:

    定义和改变shared_ptr的其他方法
    shared_ptr<T> p(q) p管理内置指针q所指向的对象,q必须指向new分配的内存,且能转换为T* 类型
    shared_ptr<T> p(u) p从unique_ptr  u那里接管了对象的所有权,将u置为空
    shared_ptr<T> p(q, d) p接管了内置指针q所指向的对象的所有权,q必须能转换为T*类型,p将使用可调用对象d来代替delete
    shared_ptr<T> p(p2, d) p是shared_ptr  p2的拷贝,唯一的区别是p将用可调用对象d来代替delete
    p.reset() 若p是唯一指向其对象的shared_ptr,reset操作会释放此对象。
    p.reset(q) 若传递了参数q,会令p指向q,否则将p置为空
    p.reset(q. d) 若还传递了参数d,则使用可调用对象d来代替delete



    • 不要混合使用普通指针和智能指针
    shared_ptr可以协调对象的析构,但这仅限于自身的拷贝,因此,我们尽量用make_shared而不要用new的原因就在这。这样,我们在分配对象的同时将shared_ptr与之绑定,从而避免了将同一块内存绑定到多个独立创建的shared_ptr上。

    void process(shared_ptr<int> ptr) {
        // 使用ptr
    } // ptr离开作用域,被销毁

    process的参数是值传递形式的,因此在调用process函数时,会拷贝shared_ptr,拷贝一个shared_ptr会增加引用计数,假设原来的shared_ptr只有自身一个引用者,在调用process函数时,其引用技术变为2,在process结束后,ptr被释放,引用计数变为1。因此,当局部变量ptr被销毁时,ptr指向的内存并不会被释放。

    我们在调用此函数的正确方法时传递给它一个shared_ptr:
    shared_ptr<int> p(new int(42)); // 引用计数为1
    process(p); //拷贝p,在函数结束前引用计数为2,函数执行结束后,引用计数变为1
    
    int i = *p; // i == 42

    我们前面说到,不能将一个内置指针隐式转换为一个shared_ptr,因此,我们不能将一个内置指针直接传递给process函数,但可以传递给它一个临时的shared_ptr,这个shared_ptr使用一个内置指针显示构造的:
    int* x(new int(1024));
    process(x); // 错误,不能将一个int*转换为一个shared_ptr,因位构造函数时explicit的
    process(shared_ptr<int>(x)); // 合法的,但x所管理的内存会被释放
    
    int j = *x; // 错误,x是一个空悬指针!

    在这段程序中shared_ptr是临时构造的,因此在这个shared_ptr只有ptr一个引用者,在函数结束后,ptr的析构函数被执行,它所管理的内存被释放,因为和x所管理的内存相同,因此x将成为一个空悬指针,解引用x将会发生错误,这样的行为是未定义的。


    • 不要用get成员函数初始化另一个智能指针或为只能指针赋值
    智能指针类定义了一个get的成员函数,该成员函数返回一个内置指针,指向智能指针管理的对象。此函数为了向不使用智能指针的代码传递一个普通指针,使用get返回的指针的代码不能delete此指针。
    将一个智能指针绑定到get返回的指针上时错误的:
    shared_ptr<int> p(new int(1024));
    int* q = p.get();
    
    { // 新的作用域
    
        shared_ptr<int> p1(p);
    
    } // 作用域结束,p1被销毁,p1所管理的对象被释放
    
    int foo = *p; // 未定义,p指向的内存已经被释放了
    
    

     ● get将指针的访问权限传递给代码,只有在确定代码不会delete指针的情况下,才能使用get。特别的,永远用get的返回值初始化一个智能指针或给一个智能指针赋值


    • 其他的shared_ptr操作
     reset操作: 
    p = new int(1024); // p是一个shared_ptr类型, 发生错误,不能将一个指针赋予shared_ptr
    p.reset(new int(1024)); // p指向一个新对象

    unique操作: 如果一个shared_ptr对象唯一指向它所管理的内存对象,则返回true。

    reset会更新引用计数,如果需要的话,会释放p指向的对象。reset经常unique一起使用,来控制多个shared_ptr共享的对象。
    if (! p.unique()) //如果p补是它所管理对象的唯一引用者,则为它重新分配
        p.reset(new int(100));
    *p += newVal; // 现在p是唯一的用户,可以改变对象的值
    



    智能指针和异常

    使用异常处理的程序能在异常发生后令程序继续,这种程序需要确保异常发生后资源能被正确的释放,简单的方法,我们可以使用智能指针。
    如果使用智能指针,即使程序块过早结束,智能指针类也能正确释放资源:
    void f() {
        shared_ptr<int> sp(new int(42));
        // 抛出异常,未在f中捕获
        // 函数结束后shared_ptr正确释放资源
    }

    上面的代码中,无论是正常结束或发生异常,shared_ptr都会释放资源。

    相对的,我们直接管理的内存是不会自动释放的:
    void f() {
        int* ip = new int(42);
        // 发生异常,且在f中未捕获
        delete ip;
    } 

    在上面的代码中,如果在资源被释放前发生异常,且未捕获,那么new所分配的内存资源就不会被释放。


    • 一个智能指针的例子,使用我们自己的删除器
    例如有一个C和C++都能使用的简单的网络库:
    struct destination; // 表示我们正在连接什么
    struct connection;  // 使用连接所需的信息
    connection connect(destination*);  // 打开连接
    void disconnect(connection); // 关闭给定的连接
    void f (destination& d) { 
        // 获得一个连接,记住使用完要关闭它
        connection c = connect(d);
        // 使用连接
        // 如果在f结束之前忘记调用disconnect,就无法关闭c了
    }
    
    

    如果connection有一个析构函数,就可以在f结束之后关闭c,但是connection并没有析构函数,我们可以使用shared_ptr来管理这些对象。默认情况下,shared_ptr使用delete进行释放内存,为了使用shared_ptr来管理connection,我们需要提供自己的删除器:
    void end_connection(connection* p) { disconnect(*p); }

    当创建一个connection的shared_ptr时,可以传递一个指向删除器函数的参数:

    void f (destination& d) {
    
        connection c = connect(&d);
        shared_ptrM<connection> p(&c, end_connection);
        // 使用连接
        // f结束后,connection被正确关闭
    }

    p被销毁时,它不会对自己保存的指针使用delete,而是调用end_connection。




    • 智能指针的陷阱:

    ●   不使用相同的内置指针值初始化(或reset)多个智能指针
    ●   不delete  get()返回的指针
    ●   不使用get() 初始化或reset另一个智能指针
    ●   如果使用get() 返回的指针,当最后一个对应的智能指针销毁后,该指针就变为无效了
    ●   如果智能指针管理的不是new分配的内存,记得传递给它一个删除器






  • 相关阅读:
    jQuery实现“回到顶部”按钮功能
    围绕DOM元素节点的增删改查
    jQuery ajax
    对JSON的理解
    Replacing Accented characters(Diacritic) .NET
    全球主要城市经纬度api
    无标题
    Use Razor for Email Template outside ASP.NET MVC
    .NET and php
    knockoutjs
  • 原文地址:https://www.cnblogs.com/averson/p/5096064.html
Copyright © 2020-2023  润新知