论C++的智能指针

时间:2022-03-14 03:20:23

一、简介

  参考这篇博客,并且根据《C++ Primer》中相关知识,我总结了C++关于智能指针方面的内容。

  为了解决内存泄漏的问题,便出现了智能指针。STL提供的智能指针有:auto_ptr,unique_ptr,shared_ptr和weak_ptr。其中auto_ptr是C++98提供的方案,C++11已经将其摒弃,并提供了unique_ptr和shared_ptr。

  所有的智能指针都有一个explicit构造函数,以指针作为参数,比如auto_ptr的类模板原型为:

templet<class T>
class auto_ptr {
explicit auto_ptr(T* p = 0) ;
...
};

  因此不能够自动将指针转换为智能指针,并且显示构造:

shared_ptr<double> pd;
double *p_reg = new double;
pd = p_reg; // not allowed (implicit conversion)
pd = shared_ptr<double>(p_reg); // allowed (explicit conversion)
shared_ptr<double> pshared = p_reg; // not allowed (implicit conversion)
shared_ptr<double> pshared(p_reg); // allowed (explicit conversion)

  且所有的指针都应该避免以下情况:

string vacation("I wandered lonely as a cloud.");

//pvac过期时,程序将把delete运算符用于非堆内存,这是错误的。
shared_ptr<string> pvac(&vacation); // No

二、auto_ptr

  • 基本用法
//用法一:构造
std::auto_ptr<MyClass> m_example(new MyClass()); //用法二:重置auto\_ptr并且拥有另一个对象
std::auto_ptr<MyClass> m_example(new MyClass());
m_example.reset(new MyClass()); //用法三:指针的赋值操作
std::auto_ptr<MyClass> m_example1(new MyClass());
std::auto_ptr<MyClass> m_example2(new MyClass());
m_example2 = m_example1; //用法四:撤销主动权,返回其控制的指针
std::auto_ptr<MyClass> m_example1(new MyClass());
MyClass* pt = m_example1.release(); //用法五:返回保存的指针,和四不同,此时auto_ptr还控制着该指针
std::auto_ptr<MyClass> m_example1(new MyClass());
MyClass* pt = m_example1.get();
  • 注意,在用法三的赋值操作中,C++会把m_example1所指向的内存回收,使m_example1 的值为NULL,所以在C++中,应绝对避免把auto_ptr放到容器中。即应避免下列代码:
/*
当用算法对容器操作的时候,你很难避免STL内部对容器中的元素实现赋值传递,这样便会使容器中多个元素被置位NULL,而这不是我们想看到的。
*/
vector<auto_ptr<MyClass>>m_example;

三、shared_ptr

  • 基本用法
shared_ptr<T> sp //空智能指针,可以指向类型为T的对象
sp.get() //返回sp中保存的指针
swap(p,q)
p.swap(q) //交换p和q中的指针
make_shared<T>(args) //返回一个智能指针,指向动态分配的类型为T的对象
shared_ptr<T>p(q) //递增q中指针的计数器
p = q //递增q中指针的计数器,递减原来p中指针的计数器
p.user_count() //返回与p共享对象的智能指针的数量(包括自己)
p.unique() //若p.user_count()为1,返回true
  • 注意

    • 当指向一个对象的最后一个shared_ptr被销毁时,shared_ptr类会自动销毁此对象;
    • 函数中return智能指针将让计数加一;
    • 尽量不要通过get()函数得到的原指针给别的shared_ptr构造,如下:
    shared_ptr<int> p(new int(42));
    int *q = p.get();
    { //新程序块
    shared_ptr<int> tmp(q);
    } //被销毁,且其内存也会被销毁
    int foo = *p; //未定义,空悬指针
  • 自定义释放操作

void end_connection(connection *p) { disconnect(*p); }

void f(destination &d) {
connection c = connection(&d);
shared_ptr<connection> p(&c, end_connection);
//当f退出时,自动调用end_connection断开连接
}

四、unique_ptr

  与shared_ptr不同,某个时刻只能有一个unique_ptr指向一个给定对象。当unique_ptr被销毁时,其对象也被销毁。

  • 基本用法
unique_ptr<T> up //空智能指针,可以指向类型为T的对象
unique_ptr<T,D> up //使用类型为D的可调用对象来释放它的指针
up.get() //返回sp中保存的指针
swap(p,q)
p.swap(q) //交换p和q中的指针
u = nullptr //释放u指向的对象,将u置空
u.release() //返回原指针,放弃控制器,将u置空
u.reset() //释放u指向的对象
u.reset(q) //令u指向q这个对象,原对象被释放
  • 自定义释放操作
void end_connection(connection *p) { disconnect(*p); }

void f(destination &d) {
connection c = connection(&d);
unique_ptr<connection,decltype(end_connection)> p(&c, end_connection);
//当f退出时,自动调用end_connection断开连接
}

五、weak_ptr

  weak_ptr是一种不控制所指对象生存期的只能指针,它指向由一个shared_ptr管理的对象。将一个weak_ptr绑定到一个shared_ptr不会改变shared_ptr的引用计数。一旦最后一个shared_ptr销毁,无论是否有weak_ptr,对象都会被销毁。

  • 基本用法
weak_ptr<T> w //空智能指针,可以指向类型为T的对象
weak_ptr<T> w(sp) //绑定一个shared_ptr
w = p //p可以是shared_ptr或weak_ptr
w.reset() //将w置空
w.use_count() //与w共享的shared_ptr数量
w.expired() //若use_count()为0,返回true
w.lock() //若expired为true,返回一个shared_ptr,否则返回一个指向w的对象的shared_ptr