目的:为了解决裸指针double free和内存泄漏问题;
解决方法:
- 定义所有权(unique_ptr, auto_ptr);
- 引用计数:shared_ptr;
要求:只能用于堆内存;
注意事项:不要用裸指针初始化只能指针,可能会导致同一块内存double free。
指针delete之后,当指针指向内存是mmap分配时,内存会立马释放,再访问时会报segment fault;但当指向内存是sbrk分配时,内存会留存一段时间,但是内存中存储的东西随机。
auto_ptr(C++14完全弃用)
独占所有权,指针赋值会导致原来指针变为null,因此导致一种情况:
auto_ptr p1;
auto_ptr p2 = p1;
// 再访问p1时,p1为null
// 从代码来看,我做的是拷贝,但其实实现的是移动,两者不统一
// 且编译器不会提醒该操作,容易出现使用错误
不能放在容器中,容器中要求能够拷贝构造的元素,而且拷贝时不能修改原来的值;
auto_ptr中只提供delete,不提供delete[],因此也不能new [];
unique_ptr
构造unique_ptr,右值只允许是临时右值;
独占所有权,两指针直接赋值不行,编译器会报错,需要用到move;
unique_ptr p1;
unique_ptr p2 = p1; // 编译器报错
unique_ptr p2 = move(p1); // 可以
可存放到容器中,但是不能调用将ptr赋值给另一个的方法,如sort;
无法识别int * 中存储的数组,因此只能管理int [] 数组;
可自定义删除器,unique_ptr<int, deleter>;
shared_ptr
可接管unique_ptr中所有对象,但需要unique_ptr是右值;
移动构造不改变引用计数;
不提供delete [],因此不能用new [];
控制对象生命周期,当引用计数为0时一定会销毁对象;
开销大,是裸指针的两倍,有指向引用计数的指针,引用计数的加减是原子操作,内存在堆上分配;
shared_ptr<int, deleter>,尽量使用make_shared构造,将new和指针构造函数紧密结合在一起;
shared_ptr<int> ptr = make_shared<int>(10);
weak_ptr
解决shared_ptr 循环引用问题;
必须由shared_ptr 初始化,引用指数不会+1;
能够知道对象是否存活,如果活着weak_ptr可以提升为shared_ptr,否则返回空的shared_ptr;
shared_ptr<int> ptr = nullptr;
// 此时ptr1.expired()等于1,表示指针为空
// expired函数:
// 判断指针所指的内存空间是否被释放掉/指针是否为空/是否还有shared_ptr指针指向weak_ptr指向的内存空间
weak_ptr<int> ptr1(ptr);