很多人谈到c++,说它特别难,可能有一部分就是因为c++的内存管理吧,不像java那样有虚拟机动态的管理内存,在程序运行过程中可能就会出现内存泄漏,然而这种问题其实都可以通过c++11引入的智能指针来解决,相反我还认为这种内存管理还是c++语言的优势,因为尽在掌握。 c++11引入了三种智能指针: std::shared_ptr std::weak_ptr std::unique_ptr ; D% g& {, u) Y1 `% E9 ^4 Y
shared_ptrshared_ptr使用了引用计数,每一个shared_ptr的拷贝都指向相同的内存,每次拷贝都会触发引用计数+1,每次生命周期结束析构的时候引用计数-1,在最后一个shared_ptr析构的时候,内存才会释放。 使用方法如下:6 }: w0 {8 S7 E
' m0 k* J+ c4 f; e
- <font style="background-color:rgb(255, 255, 255)"><font face="Tahoma"><font color="black">9 P$ y% N1 [$ ^( I& G8 L" F
- struct ClassWrapper {
C+ |$ ]. t, [+ b# _+ ^# Q - ClassWrapper() {4 I; T# v, x: M
- cout << "construct" << endl;
5 I' N5 Q+ c4 q$ J! `' o* L - data = new int[10];' i4 u0 m& B" t) L5 O3 B
- }
( x# Z* C3 Z! \' c - ~ClassWrapper() {
$ a! M: u" g( j7 s l7 ^- Q) W" y+ C - cout << "deconstruct" << endl;+ y, x' k! x' L6 ~; ]1 X
- if (data != nullptr) {; @- a# F, `4 O
- delete[] data;' X+ r$ f2 S/ @' y# z; `
- } p' h' f# K; u# l, n
- }. {$ k' |! Q6 s
- void Print() {
$ N6 z! M# x: N+ _ - cout << "print" << endl;8 [# Z. a! ?. M! ^: s6 G [
- }$ d* b9 `( {% o! `; k+ @$ _
- int* data;
; ^, b6 M5 w1 `0 }: N0 S+ V$ m - };
5 \; n/ o0 ?8 Z I$ g/ O
% { W V! q7 @$ `; n3 C6 l- void Func(std::shared_ptr<ClassWrapper> ptr) {9 I8 |* c4 D0 Z2 E8 a3 q9 a7 H {
- ptr->Print();
" @5 P. H/ p1 N" q/ g& c0 j/ E - }
7 o, j7 r) o: g( |0 `' @( G. h) u - 4 D4 [: Y8 i- O! r: j" G4 n3 ^
- int main() {
/ `/ h/ \# Q6 L( E4 Q, F* _ - auto smart_ptr = std::make_shared<ClassWrapper>();0 z' L! _. n4 X
- auto ptr2 = smart_ptr; // 引用计数+1
/ S# x, D$ q3 m& } y& A - ptr2->Print();+ y% X7 G# T- d8 Y
- Func(smart_ptr); // 引用计数+1 U3 Z+ l! L6 }) g _; C1 d! Q
- smart_ptr->Print();
2 U0 T9 k( @' h, v1 y$ I1 q9 \ - ClassWrapper *p = smart_ptr.get(); // 可以通过get获取裸指针
' F; I; N5 q" x$ H6 O - p->Print();( r& Q6 R; H- y& k( k6 c! m! M
- return 0;- m8 O2 }- I$ @, u% w4 M
- }</font></font></font>
复制代码 - 智能指针还可以自定义删除器,在引用计数为0的时候自动调用删除器来释放对象的内存,代码如下:( ?7 L1 p; ]8 l% g
- std::shared_ptr<int> ptr(new int, [](int *p){ delete p; });
& ]8 z2 q4 M6 V4 x. g: t
关于shared_ptr有几点需要注意:
$ @0 ]5 E/ Z& V- T) F" g( ~ • 不要用一个裸指针初始化多个shared_ptr,会出现double_free导致程序崩溃 • 通过shared_from_this()返回this指针,不要把this指针作为shared_ptr返回出来,因为this指针本质就是裸指针,通过this返回可能 会导致重复析构,不能把this指针交给智能指针管理。 - $ S: ]4 Q0 r' l) N5 h% X% j4 H
- class A {/ C; ^, V+ R; x3 n; W
- shared_ptr<A> GetSelf() {
: D( k( N, p. R" q9 \7 H9 p - return shared_from_this();
6 t6 m O+ q; k5 d - // return shared_ptr<A>(this); 错误,会导致double free J: ^0 b/ _9 Y7 b. z3 e& X
- } ' Y& ^( o f3 q4 S
- };
复制代码
: B6 p& k2 ~( i o: ?1 T* C上面代码,产生了循环引用,导致aptr和bptr的引用计数为2,离开作用域后aptr和bptr的引用计数-1,但是永远不会为0,导致指针永远不会析构,产生了内存泄漏,如何解决这种问题呢,答案是使用weak_ptr。 weak_ptrweak_ptr是用来监视shared_ptr的生命周期,它不管理shared_ptr内部的指针,它的拷贝的析构都不会影响引用计数,纯粹是作为一个旁观者监视shared_ptr中管理的资源是否存在,可以用来返回this指针和解决循环引用问题。 unique_ptr std::unique_ptr是一个独占型的智能指针,它不允许其它智能指针共享其内部指针,也不允许unique_ptr的拷贝和赋值。使用方法和shared_ptr类似,区别是不可以拷贝: - $ B( w! `$ v( {, q0 z" A: j' ~
- using namespace std;/ Y U! `- _4 \$ z
- + Z1 m) o# K/ [* T8 m
- struct A {
4 g/ f6 K/ K. V - ~A() {
& u! s4 p* L1 F# v. R( ]6 C - cout << "A delete" << endl;
5 J) q" W( o A3 ?, j5 o - }1 G. \% M' l$ I6 [: A, _4 [, B
- void Print() {! r" G: h5 J* z( h) {3 j6 p+ x
- cout << "A" << endl;
6 c, P, H4 |5 H/ E5 Q. o - }
/ d; l. M( U# I2 M- t- A - };- }7 @7 Z4 @6 y2 Y" p
- / ` U- E t- d# N) l
- 1 s2 t( t$ o P) \& Z, m% ?
- int main() {+ G! R! ^. @$ V
- auto ptr = std::unique_ptr<A>(new A);9 @& w& ^) c% P" q0 A" E
- auto tptr = std::make_unique<A>(); // error, c++11还不行,需要c++143 C% C% P6 k: h
- std::unique_ptr<A> tem = ptr; // error, unique_ptr不允许移动9 @! ` g0 C4 p8 q
- ptr->Print();
' o! H, J: u7 k6 T - return 0;
" c$ u5 l$ _3 e) ?- o* E. s, }* J - }
复制代码
0 |: b4 M; ? A: Y: ?# `unique_ptr也可以像shared_ptr一样自定义删除器,使用方法和shared_ptr相同。 关于c++11的智能指针的使用就介绍到这里 - R* O, h1 B' u$ N/ f' Q# z/ H: J- z
|