一、为什么使用智能指针
当我们使用new操作,分配了堆中的内存,但是忘了delete释放掉分配的内存,此时就会造成内存泄漏
如果我们记得delete释放内存,也有可能存在内存泄露的问题,比如:
void remodel(std::string & str){
std::string * ps = new std::string(str);
...
if(weird_thing())
throw exception();
str = *ps;
delete ps;
return;
}
那么当出现异常的时候,delete将不会被执行,因此也将导致内存泄漏
二、智能指针的定义
智能指针的行为类似于指针的类对象,但是这种对象还有其它功能。
思想:如果是指针它是一个对象,那么在对象过期的时候,它的析构函数就会自动删除所指向的内存。
有三个功能的智能指针 auto_ptr(C98提出的)、unique_ptr、shared_ptr(C11)
这三个都定义了类似指针的对象,可以将new获得(直接或者间接)的地址赋给这种对象。
当智能指针过期的时候,其析构函数将使用delete来释放内存。
shared_ptr:允许多个指针指向同一个对象
unique_ptr:则独占所指向的对象
标准库还定义了一个名为weak_ptr的伴随类,它是一种弱引用,指向shared_ptr所管理的对象。
这三种类型都定义在memory头文件中
三、智能指针的原理
(1)关于智能指针类型shared_ptr的计数问题
1、关键
每个shared_ptr所指向的对象都有一个引用计数,它记录了有多少个shared_ptr指向自己;
shared_ptr的析构函数:递减它所指向的对象的引用计数,如果引用计数变为0,就会销毁对象并释放相应的内存;
引用计数的变化:决定权在shared_ptr,而与对象本身无关
2、引用计数增加的情况
拷贝一个shared_ptr,其所指对象的引用计数会递增,如:
①用一个shared_ptr初始化另一个shared_ptr
②用一个shared_ptr给另一个shared_ptr赋值
③将shared_ptr作为参数的返回值
3、引用计数减少的情况
①给shared_ptr赋予一个新值
②shared_ptr被销毁(如离开作用域)
4、例子
#include<iostream>
#include<memory>
using namespace std;
int main() {
shared_ptr<int>sp;
shared_ptr<int>sp2 = make_shared<int>(3);
shared_ptr<int>sp3(sp2);
cout << sp.use_count() << endl;//输出0
cout << sp2.use_count() << endl;//输出2
cout << sp3.use_count() << endl;//输出2
}
#include<iostream>
#include<memory>
using namespace std;
int main() {
shared_ptr<int>sp;
shared_ptr<int>sp2 = make_shared<int>(3);
shared_ptr<int>sp3(sp2);
sp3 = make_shared<int>(4);
cout << sp.use_count() << endl;//输出0
cout << sp2.use_count() << endl;//输出1
cout << sp3.use_count() << endl;//输出1
}
(2)unique_ptr类型
1、定义
不像shared_ptr那样,它没有make_shared的标准库返回一个unique_ptr。
当定义一个unique_ptr时,需要将其绑定到一个new返回的指针上。
unique_ptr<double>p1;//可以指向一个double的unique_ptr
unique_ptr<int>p2(new int(42));//p2指向一个值为42的int
由于一个unique_ptr拥有它指向的对象,因此unique_ptr不支持普通的拷贝或赋值操作:
unique_ptr<string>p1(new string("Stegosaurus"));
unique_ptr<string>p2(p1);//错误:unique_ptr不支持拷贝
unique_ptr<string>p3;
p3=p2;//错误:unique_ptr不支持赋值
(3)weak_ptr类型
weak_ptr是一种不控制所指向对象生存期的智能指针;
它指向由一个shared_ptr管理的对象;
将一个wear_ptr绑定到一个shared_ptr不会改变shared_ptr的引用计数;
一旦最后一个指向对象的shared_ptr被销毁,对象就会被释放;
即使有weak_ptr指向对象,对象也还是会被释放;
因此,weak_ptr的名字抓住了这种智能指针“弱”共享对象的特点。
1、定义:
auto p= make_shared_ptr<int>(42);
weak_ptr<int>wp(p);//wp弱共享p;p的引用计数未改变
①本例中wp和p指向相同的对象。由于是弱共享,创建wp不会改变p的引用计数;
wp指向的对象可能被释放掉。
②由于对象可能不存在,我们不能使用weak_ptr直接访问对象,而必须调用lock。
此函数用于检查weak_ptr指向的对象是否存在。
如果存在,lock返回一个指向共享对象的shared_ptr。
与任何其他shared_ptr类似。只要此shared_ptr存在,它所指向的底层对象也就会一直存在。例如:
if(shared_ptr<int>np=wp.lock()){//如果np不为空则条件成立
//在if中,np与p共享对象
}