shared_ptr使用场景、陷阱、性能分析，使用建议

原创已于 2022-06-12 11:17:29 修改 · 1w 阅读

42 ·

CC 4.0 BY-SA版权

文章标签：

#c++ #蓝桥杯 #c语言

于 2019-08-20 20:35:56 首次发布

C++奇技淫巧同时被 2 个专栏收录

68 篇文章

订阅专栏

C++11

11 篇文章

订阅专栏

本文深入解析C++中std::shared_ptr的使用场景、常见陷阱及性能特性，包括裸指针初始化、get()方法使用、循环引用避免、尺寸与移动语义，以及多线程下的注意事项。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

1.std::shared_ptr使用场景

#include <iostream>
#include <memory>


using namespace std;

shared_ptr<int> create0(int value) {
    return make_shared<int>(value); // 返回一个shared_ptr
}

//void myfunc(int value) {
shared_ptr<int> myfunc(int value) {
    shared_ptr<int> ptmp = create0(10);
    //return; // 离开作用域后,ptemp会被自动释放,它所指向的内存也会自动释放
    return ptmp; // 系统是根据ptmp这个局部变量来产生一个临时的shared_ptr对象往回返
}

int main() {
    //一:std::shared_ptr使用场景
    myfunc(12);
    // 如果这块不用shared_ptr变量来接收myfunc返回的结果,那么从myfunc返回的shared_ptr
    // 就会被销毁,所指向的对象也会被销毁
    auto p11 = myfunc(12);
    // 我们用了一个变量来接myfunc的返回值,那么myfunc返回的shared_ptr
    // 就不会被销毁,它所指向的对象也不会被销毁
    return 0;
}

二、std::shared_ptr使用陷阱分析：一旦用错，也是致命的

2.1慎用裸指针

避免使用匿名的临时shared_ptr<T>对象(Effective C++中写道）

#include <iostream>
#include <memory>

using namespace std;

void proc(shared_ptr<int> value) {
}

int main() {
    int*p = new int(100); //裸指针
    //proc(p); // 语法错, int*p 不能转换成shared_ptr<int>
    //error: could not convert ‘p’ from ‘int*’ to ‘std::shared_ptr<int>’
#if 0
    shared_ptr<int> p2(p);
    proc(p2);
#endif
    proc(shared_ptr<int>(p));  // 参数是个临时的shared_ptr,用一个裸指针显示的构造
    *p = 45; // 潜在的不可预料的问题；因为p指向的内存已经被释放了
    return 0;
}

2.2慎用get()返回的指针

返回只能指针指向的对象所对应的裸指针（有些函数接口可能只能使用裸指针）

get返回的指针不能delete，否则会异常

#include <iostream>                                                                                 
#include <memory>                                                                                   
                                                                                                    
using namespace std;                                                                                
                                                                                                    
int main() {                                                                                        
#if 0                                                                                               
    shared_ptr<int> myp(new int(100));                                                              
    int *p = myp.get();                                                                             
    delete p; // 不可以删除，会导致异常                                                             
#endif                                                                                              
    // 不能将其他智能指针绑到get返回的指针上                                                        
    shared_ptr<int> myp(new int(100));                                                              
    int *p = myp.get(); // 这个指针千万不能随意释放,否则myp就没办法正常管理该指针了                 
    {                                                                                               
         shared_ptr<int> myp2(p);// 错误，现在myp和myp2引用计数都为1,但一旦跳出这个程序块,p指针指向的内存被释放                 
        // shared_ptr<int> myp2;                                                                    
        // myp2 = shared_ptr<int>(myp); // 错误                                                     
        // shared_ptr<int> myp2(myp); // 正确                                                       
    }                                                                                               
    // 离开上边myp2的范围,导致myp指向的内存被释放了                                                 
    *myp = 65; //该内存已经被释放，这样复制会导致不可预料的后果                                     
    return 0;                                                                                       
}

结论：永远不要用get得到的指针来初始化另一个智能指针或者给另改一个智能赋值

2.3不要把类对象指针（this）作为shared_ptr返回，改用enable_shared_from_this

#include <iostream>                                                                                 
#include <memory>                                                                                   
                                                                                                    
using namespace std;                                                                                
                                                                                                    
class CT: public enable_shared_from_this<CT> {                                                      
public:                                                                                             
    shared_ptr<CT> get_self() {                                                                     
        // return shared_ptr<CT>(this); // 用裸指针初始化多个shared_ptr的感觉                       
        return shared_from_this(); // 这个就是enable_shared_from_this类中的方法                     
    }                                                                                               
};                                                                                                  
                                                                                                    
int main() {                                                                                        
    shared_ptr<CT> pct1(new CT);                                                                    
    // shared_ptr<CT> pct2 = pct1; // 这两个强饮用;                                                 
    shared_ptr<CT> pct2 = pct1->get_self();                                                         
    cout << pct2.use_count() << endl; // 2                                                               
    // get_self函数如果使用裸指针,会出现问题                                                        
    // 用到c++标准库里边的类模板:enable_shared_from_this:                                           
    // 现在,在外面创建CT对象的智能指针以及通过CT对象返回的this智能指针都是安全的                    
    // 这个enable_shared_from_this中有一个弱指针weak_ptr,这个弱指针能够监视this                     
    // 在我们调用shared_from_this()这个方法时，这个方法内部实际上是调用weak_ptr的lock方法           
    // 大家都知道lock()会让shared_ptr指针计数+1,同时返回这个shared_ptr,这就是工作原理               
    return 0;                                                                                       
}

2.4避免循环引用：能够导致内存泄露

妖异的代码

#include <iostream>
#include <memory>

using namespace std;

class CB;
class CA {
public:
    shared_ptr<CB> m_pbs;
    ~CA() {
        int test;
        test =1;
        cout << "~CA()" << endl;
    }
};

class CB {
public:
    //shared_ptr<CA> m_pas;
    weak_ptr<CA> m_pas; // 把这里变成弱引用
    ~CB() {
        int test;
        test =1;
        cout << "~CB()" << endl;
    }
};

int main() {
#if 0
    shared_ptr<CA> pca(new CA);
    shared_ptr<CB> pcb(new CB);
    pca->m_pbs = pcb;  // 等价于指向CB对象的有两个强引用
    pcb->m_pas = pca; // 妖异，等价于指向CA对象的有两个强引用
#endif

    shared_ptr<CA> pca(new CA);
    shared_ptr<CB> pcb(new CB);
    pca->m_pbs = pcb;  // 等价于指向CB对象的有两个强引用
    pcb->m_pas = pca; // 因为m_pas是弱引用,所以这里指向CA的对象只有一个强引用
    // 离开作用域之后,pca引用技术从1就变成0会释放CA对象（CA的析构函数被执行）
    // CA的析构函数被执行了(表示对象即将被释放),
    // 导致CA内的m_pbs引用技术会减1,也就是指向CB对象的引用技术-1
    // 超出pcb作用域时指向CB的计数也会-1,
    // 最终，会有一个时刻，指向CB对象的强引用计数从1较少到0,导致CB对象被释放 
    return 0;
}

三、性能说明

3.1尺寸问题

#include <iostream>
#include <memory>

using namespace std;


int main() {
    char *p;
    int lenp = sizeof(p); // 4字节
    cout << lenp << endl;
    shared_ptr<string> p1;
    int ilensp = sizeof(p1);
    cout << ilensp << endl; // 8字节，包含两个裸指针
    return 0;
}

shared_ptr的尺寸是裸指针的2倍；weak_ptr尺寸裸指针的2倍

a)第一个裸指针指向的是这个智能指针所指向的对象

b)第二个裸指针指向一个很大的数据结构（控制块），这个控制块里边有啥：

b.1)所指对象的强引用计数：shared_ptr

b.2)所指对象的弱引用计数：weak_ptr

b.3)其他数据，比如删除器指针，内存分配器

这个控制块是由第一个指向某个对象的shared_ptr创建的

控制块创建时机：

a)make_shared：分配并初始化一个对象，返回指向对象的shared_ptr,所以，这个make_shared它总是能够创建一个控制块
shared_ptr<int> p2 = make_shared<int>(100);
b)用裸指针来创建一个shared_ptr对象时
int*p = new int();
shared_ptr<int> p1(pi);
shared_ptr<int> p2(pi); // 不允许，否则会产生多个控制块，也就是多个引用计数（每个都是1）；析构时析构多次，导致异常

3.2.移动语义

shared_ptr<int> p1(new int(100));
shared_ptr<int> p2(std::move(p1));  // 移动语义，移动构造一个新的智能指针p2
                                 // p1就不再指向该对象（变成空），引用计数依旧是1
shared_ptr<int> p3;
p3 = std::move(p2); // 移动赋值，p2指向空， p3指向该对象，整个对象的引用计数仍旧为1

移动肯定比复制快；复制你要增加引用技术，移动不需要，

移动构造函数快过复制构造函数，移动赋值运算符快过拷贝赋值运算符

4.补充说明和使用建议

a）掌握了绝大部分shared_ptr用法；小部分没讲解，靠大家摸索

分配器，解决了内存分配问题

shared_ptr<int> p((new int), mydeleted(), myallocator<int>())

b)谨慎使用

new shared_ptr<int>, memcpy() 奇怪用法，大家不要轻易尝试

c)优先使用make_shared(),不能让自己定义自己的删除器

shared_ptr<string> ps1(new string("I Love China!")); // 分配两次
auto ps2 = make_shared_<string>("I love Chind!"); // 分配1次内存

5.多线程下shared_ptr

（1）一个 shared_ptr 对象实体可被多个线程同时读取；

（2）两个 shared_ptr 对象实体可以被两个线程同时写入，“析构”算写操作；

（3) 如果要从多个线程读写同一个 shared_ptr 对象，那么需要加锁。

为什么多线程读写 shared_ptr 要加锁？_陈硕的博客-CSDN博客_多线程读写

（4）多线程的情况下，shared_ptr的use_count成员技数是不准确的。业务场景：如果使用use_count是否等于1，判断是否有其他线程在使用。是不正确的。

常用使用包括

与 0 比较。若 use_count 返回零，则智能指针为空且不管理对象（无论被存储指针是否为空）。多线程环境下，这不隐含被管理对象的析构函数已完成。
与 1 比较。若 use_count 返回 1 ，则无其他拥有者。（被弃用成员函数 unique() 为此使用情况提供。）多线程环境中，这不隐含对象可以安全修改，因为先前拥有者对被管理对象的访问可能未完成，而因为新的共享拥有者可以同时引入，例如用 std::weak_ptr::lock 。

std::memory_order - cppreference.com

std::shared_ptr<T>::use_count - cppreference.com

深入RPC - Atomic instructions - 《BRPC v0.9.7 开发手册》 - 书栈网 · BookStack

多线程安全引用计数读写：https://github.com/apache/incubator-brpc/blob/master/src/butil/memory/scoped_ptr.h