|
很多人谈到c++,说它特别难,可能有一部分就是因为c++的内存管理吧,不像java那样有虚拟机动态的管理内存,在程序运行过程中可能就会出现内存泄漏,然而这种问题其实都可以通过c++11引入的智能指针来解决,相反我还认为这种内存管理还是c++语言的优势,因为尽在掌握。 c++11引入了三种智能指针: std::shared_ptr std::weak_ptr std::unique_ptr
1 c; g' u9 W. w8 f' K s shared_ptrshared_ptr使用了引用计数,每一个shared_ptr的拷贝都指向相同的内存,每次拷贝都会触发引用计数+1,每次生命周期结束析构的时候引用计数-1,在最后一个shared_ptr析构的时候,内存才会释放。 使用方法如下:" D# B8 W1 d+ U5 Y
. g" K' e3 k$ }
- <font style="background-color:rgb(255, 255, 255)"><font face="Tahoma"><font color="black"># E5 ]" Z' O: l' O
- struct ClassWrapper {! y" x; k3 L/ e) H0 f' V
- ClassWrapper() {0 E& M }4 z9 x; r
- cout << "construct" << endl;1 B8 I4 M4 Y" k' d
- data = new int[10];
( ]2 x1 ~5 m. t3 U1 i1 s8 P3 U - }0 W" V) d+ ~ E" I0 o: d2 D
- ~ClassWrapper() {
# n5 l* X- j: G- f3 T i - cout << "deconstruct" << endl;
, f0 Z0 q) }. k' G9 p( }7 Z" j - if (data != nullptr) {/ U' ]" @$ C2 l
- delete[] data;
7 l8 \4 f8 ]3 y+ @: \ - }
0 I) g$ G' X8 g4 w/ C8 x - }- o1 e# C* L& d8 X. D9 J
- void Print() {
) p6 g8 }) y' Q9 Q! v! M; o# J - cout << "print" << endl;( w) m) M6 C2 a. t; i
- }
# ^: X: v7 L* K( A$ @0 T - int* data;
. T2 S( r* Z/ O5 Y- N, A7 w - };
0 a: x; M, m/ x; s
F# h7 a; J* W1 M, M( {; a/ H! O- void Func(std::shared_ptr<ClassWrapper> ptr) {# s& e/ p/ f% K1 u1 l$ Y2 G4 }# M6 V
- ptr->Print();
) e y# R! {0 Y o: M - }* z7 l, z* m$ ~+ C: B: n
$ R2 I* q4 J2 D! u* m- int main() {6 S9 w b" l: v H; T5 t
- auto smart_ptr = std::make_shared<ClassWrapper>();
" t* D1 D4 |3 f& X# e! K% G7 _ - auto ptr2 = smart_ptr; // 引用计数+15 m* o4 N+ g6 G# D/ e0 x
- ptr2->Print();
+ F1 Z2 o% y$ s) [; A9 a) n9 L9 j - Func(smart_ptr); // 引用计数+1
, ^' V) Q# _9 o, M5 x+ t - smart_ptr->Print();& P' G1 K0 C! D8 T
- ClassWrapper *p = smart_ptr.get(); // 可以通过get获取裸指针5 P; u. J5 w7 F4 {# d" b s
- p->Print();
/ s; ~$ p% y4 _: b - return 0;
& F4 |& W9 G! l& ]) b7 l5 V - }</font></font></font>
复制代码 - 智能指针还可以自定义删除器,在引用计数为0的时候自动调用删除器来释放对象的内存,代码如下:- v- S; |. S0 A; D# [' f! m
- std::shared_ptr<int> ptr(new int, [](int *p){ delete p; });$ U: P0 ?1 P3 s; {
关于shared_ptr有几点需要注意:
. E1 A5 R8 w+ R" A • 不要用一个裸指针初始化多个shared_ptr,会出现double_free导致程序崩溃 • 通过shared_from_this()返回this指针,不要把this指针作为shared_ptr返回出来,因为this指针本质就是裸指针,通过this返回可能 会导致重复析构,不能把this指针交给智能指针管理。 - 4 N# { b; [, y/ [5 s r
- class A {
0 ] p2 e) \ i9 g9 C4 l0 U - shared_ptr<A> GetSelf() {/ a+ Q0 F6 A8 O
- return shared_from_this();$ N5 X0 J+ o3 S5 x4 r
- // return shared_ptr<A>(this); 错误,会导致double free! O" b4 m) Q, q, n. u
- }
1 F* y* r3 Z7 K3 ~# z C - };
复制代码
# z" _) G% W ]( ]% ~8 U+ U6 x" m; D; J! O上面代码,产生了循环引用,导致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类似,区别是不可以拷贝:
5 L/ g0 e' Y) q) \7 ~6 a- using namespace std;! O3 T- ~; z* G1 u* E+ Y: V
- : V1 Q1 F/ {1 p5 n: Z& r6 N
- struct A {
; B& n1 B% n) o6 t& D - ~A() {
3 o& A' }, J$ c8 m/ g c - cout << "A delete" << endl;
: s/ e% i8 P& W - }) G$ K& v4 ^2 n$ r
- void Print() {* W- G, d) ^# K) {# f& a/ E
- cout << "A" << endl;
! ^. @ U M4 ~' @" B - }: E# R* s, \/ N* G: u+ x* P
- };! J# _# J) Z1 W( I9 d, Q
! D+ K3 Z3 H' f# c4 K- B
" R7 D t! n& ?4 X/ H3 F, B- int main() {
$ u( ^- U' x! K/ K1 y - auto ptr = std::unique_ptr<A>(new A);% g' e% J* n5 s1 M G" M! n
- auto tptr = std::make_unique<A>(); // error, c++11还不行,需要c++145 o% d5 I! G" S: @- p" V/ ]
- std::unique_ptr<A> tem = ptr; // error, unique_ptr不允许移动4 {) y3 J, H2 D% T" ^2 v
- ptr->Print();
0 u) E6 K5 B! G# M/ V - return 0;6 R! X: U K3 {
- }
复制代码 & A! H: j- K) D6 @; l/ P
unique_ptr也可以像shared_ptr一样自定义删除器,使用方法和shared_ptr相同。 关于c++11的智能指针的使用就介绍到这里 : Z5 R1 [( k' E
|