很多人谈到c++,说它特别难,可能有一部分就是因为c++的内存管理吧,不像java那样有虚拟机动态的管理内存,在程序运行过程中可能就会出现内存泄漏,然而这种问题其实都可以通过c++11引入的智能指针来解决,相反我还认为这种内存管理还是c++语言的优势,因为尽在掌握。 c++11引入了三种智能指针: std::shared_ptr std::weak_ptr std::unique_ptr " ~ E' C/ b8 w, k! Z
shared_ptrshared_ptr使用了引用计数,每一个shared_ptr的拷贝都指向相同的内存,每次拷贝都会触发引用计数+1,每次生命周期结束析构的时候引用计数-1,在最后一个shared_ptr析构的时候,内存才会释放。 使用方法如下:
6 ^# e& b+ c$ l# {% \4 c 8 b, q9 d) e) {+ Y
- <font style="background-color:rgb(255, 255, 255)"><font face="Tahoma"><font color="black">
9 s( Q) \: I" O; [& r7 Q - struct ClassWrapper {
7 a! \ e' u8 N. m# S8 \9 ?/ D - ClassWrapper() {
8 E* G+ v( c/ N5 \ - cout << "construct" << endl;; z& q. D- J7 {+ `
- data = new int[10];: d3 A0 L' e, V8 i2 O7 d$ Y
- }
& G0 E j! g* k+ |6 L - ~ClassWrapper() {
" l: Q8 X( `: Q! e/ A" w3 y( [; V - cout << "deconstruct" << endl;
' H6 h) T$ k# `# ~ - if (data != nullptr) {
) g. c2 m) U$ X, {( ~ - delete[] data;3 t% N+ r: \: n' s& ~/ y6 l
- }2 r( @8 ~- B7 J( W
- }4 E; {+ M+ z2 p9 I1 p. A% d* `, o
- void Print() {6 {1 ~# ]% U! Q3 p
- cout << "print" << endl;
) w6 f: ~- C! J4 D8 P - }
" Y: F( `( h3 x. }7 D* h- `% r - int* data;, |/ `& X" X) S; u1 V
- };5 b% c' ?4 |9 b9 A
4 P- Y1 {+ u+ L/ S/ ?' M7 N; L- void Func(std::shared_ptr<ClassWrapper> ptr) {
: W! z- p; a3 R3 h( F, z3 p - ptr->Print();
* A3 R( M) h3 A, v: F - }
% M- S% B8 U9 F* h3 V
' Z& p4 l" G0 q! d3 {) A/ k, M- int main() {0 I+ F9 l; e) _7 X8 k9 L/ }
- auto smart_ptr = std::make_shared<ClassWrapper>();
& `8 h( }, P0 s( g& r% X - auto ptr2 = smart_ptr; // 引用计数+1
: l8 K2 b; F5 j4 ]2 e - ptr2->Print();2 Q3 o2 S4 r: |
- Func(smart_ptr); // 引用计数+1 b$ p3 h8 Q. e+ p' O
- smart_ptr->Print();( y6 O4 P+ q% z- j5 Z$ w
- ClassWrapper *p = smart_ptr.get(); // 可以通过get获取裸指针) ^% j% b3 u) Z T
- p->Print();+ X/ D' Z5 I# q3 n
- return 0;5 @; Q3 [1 ~$ K* T
- }</font></font></font>
复制代码 - 智能指针还可以自定义删除器,在引用计数为0的时候自动调用删除器来释放对象的内存,代码如下:
T! R E/ O+ m, h1 G6 r& s - std::shared_ptr<int> ptr(new int, [](int *p){ delete p; });
' ~# [7 W- ^4 {" l. K
关于shared_ptr有几点需要注意:
J# A/ P2 N, @& e8 h • 不要用一个裸指针初始化多个shared_ptr,会出现double_free导致程序崩溃 • 通过shared_from_this()返回this指针,不要把this指针作为shared_ptr返回出来,因为this指针本质就是裸指针,通过this返回可能 会导致重复析构,不能把this指针交给智能指针管理。 - , s! t5 S J, H- j5 g9 t6 h# ~
- class A {
4 j$ ]0 f$ B& P# A - shared_ptr<A> GetSelf() {
$ U/ P. ]* M8 D) d - return shared_from_this();
. F" Q: D/ {; J) C' I# X, i - // return shared_ptr<A>(this); 错误,会导致double free
5 D5 b& A$ p0 w - } 7 p' r% Q8 P- h, n/ e0 d! X9 M3 G
- };
复制代码
! A3 K0 |7 w1 c4 Z* i上面代码,产生了循环引用,导致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类似,区别是不可以拷贝:
% h' F. l* m" f9 W8 i8 b- using namespace std;1 L3 F- O# ?. S- I2 Q D( y8 J
- 5 q3 g: M) ~- F7 B. t( N
- struct A {
J$ t. U0 o) k7 W6 s/ [/ Z" a - ~A() {
7 A; U: u1 G; l - cout << "A delete" << endl;; ?& w+ r6 T/ z! K4 ]
- }& s5 V/ m" q4 ~* P, a" u( q y: Q
- void Print() {
9 g0 R, z, }- U5 w% b/ k5 C2 K- u - cout << "A" << endl;
5 D- n8 Y! f: a - }
4 v, D2 i1 f$ W V" y - };
. _/ P" w d* b* o0 Z
: X0 t, ?* Y8 N: a4 ]
& ~4 t7 B" l6 H. r- X1 ?2 x- int main() {- h* J! [1 t) k$ l9 D
- auto ptr = std::unique_ptr<A>(new A);
% A3 ^ Z4 `- O' z0 Y3 | - auto tptr = std::make_unique<A>(); // error, c++11还不行,需要c++14
9 Q# N. g6 v9 Y8 `% L! M - std::unique_ptr<A> tem = ptr; // error, unique_ptr不允许移动
1 y# F. r. F6 }; Q4 j: p+ b - ptr->Print();
* }- S5 c9 q1 h/ ]' ^+ I5 v% ` - return 0;/ X6 g% F6 v7 ^+ F% ?
- }
复制代码 : v9 |, R$ K( q7 o2 |( J1 a
unique_ptr也可以像shared_ptr一样自定义删除器,使用方法和shared_ptr相同。 关于c++11的智能指针的使用就介绍到这里
. V# e- h: F% ~0 \1 ?3 Y. J9 M5 F9 X |