( P1 E. u7 ?& |2 e, Z# q3 @4 q9 }6 d 第一篇:基础篇! |4 \( c' h4 v+ H* p4 j' A
5 q3 T$ i1 p1 _: ?
1.1指针的概念( S3 c0 k' _$ Z+ b
% s7 A" N# u, b0 m0 a& F 谈到指针,它的灵活性和难控制性让许多程序员谈虎色变;但它的直接操作内存,在数据8 N @+ y* g5 L1 l5 @
- E4 p; T1 _- E- p6 P 操作方面有着速度快,节约内存等优点,又使许多C++程序员的深爱不以。那么指针究竟是怎么样一个概念呢? 9 `4 v7 @7 @0 p $ R# O" G+ Q {0 B7 [; r' T6 @) H2 J 其实, 指针就是一类变量,是一类包含了其他变量或函数的地址的变量。与其他变量所不同的是,一般的变量包含的是实际的真实的数据,而指针是一个指示器,它告诉程序在内存的哪块区域可以找到数据。" I2 B& S V, [& x: V, U6 Y
; K. h* t0 V0 S& v; R- u) z
好了,在这里我们可以这样定义指针:指针是一类包含了其他变量或函数的地址的变量,它里面存储的数值被解释成为内存的地址。 3 ~( D; L A9 ^3 S$ I5 { # g: x, t. M+ {* C4 v4 l. f 1.2指针的内容 8 I ~* x/ k' A0 M) z) o' X& _8 |3 \1 m- T6 S
简单讲,指针有四个方面的内容:即指针的类型,指针所指向的类型,指针的值,指针本身所 4 h. i- J" \+ M. ?3 x$ `# Y& o# {. z& p, W% U5 U6 L
占有的内存区。下面我们将分别阐述这些内容。 - @/ Q0 Y6 u. J; R9 s5 o( S; ?- m' ~9 r4 {+ ^5 K% Q/ E6 R
1.2.1指针的类型/ y) ?6 M1 b* p
( q2 x/ d+ ^: D& P9 Q8 D 从语法的角度看,指针的类型是指把指针声明语句中的指针名字去掉所剩下的部分。这是指针本身所具有的类型。例如: 4 N! E' [: v1 U# \0 X, K9 K1 i5 @, A. b) o- R% Z
int*ip; //指针的类型是int*6 F( i% K P8 i7 v
3 [2 m& l+ ?3 a* t" `char*ip; //指针的类型是char* 1 x0 o% r* s6 ?9 t2 {; I0 C 6 ]* \4 t( [# v9 C% S: Wint**ip; //指针的类型是int**$ ~( i, j* R6 u
/ M( y* {+ @9 `) @/ y5 g. _6 |
int(*ip)[5]; //指针的类型是int(*)[5] ' I" C! L; P0 C, s6 j+ \4 { % o0 _& S) s2 V) D1 B; k ! `4 M1 \- D- S 1.2.2指针所指向的类型 . j, v w$ M% L( D8 [$ w- T& V+ k" V
当你通过指针来访问指针所指向的内存区时,指针所指向的类型决定了编译器将把那片内存区里的内容当做什么类型来看待。从语法的角度看,指针所指向的类型是指针声明语句中的指针名字和名字左边的指针声明符*去掉所剩下的部分。例如:* M+ B, S9 D8 S7 P
) N8 t" X2 X+ [ Z
int*ip; //指针所指向的类型是int 9 x+ H* u7 U6 Q2 t; D* G# F) Y& o/ X. ?# o
char*ip; //指针所指向的类型是char 8 u; @5 c1 ]9 w0 h# ]% ~ ^( Q/ F- j6 B
int**ip; //指针所指向的类型是int* ; t4 C) E& r% x- p! a : @# o7 _1 n \: v# B2 J- fint(*ip)[5]; //指针所指向的类型是int()[5] 4 }1 P% L/ c- g, j; @" d6 P) }; |; y) u 9 y; z y- b9 u( d: z' w/ ] f: A' j% n$ L7 u 1.2.3指针的值(或称指针所指向的内存区) 4 F( f( Y" F+ y1 E2 x5 v, m7 ~; I! p! O; m
指针的值或者叫指针所指向的内存区或地址,是指针本身存储的数值,这个值将被编译器当作一个地址,而不是一个一般的数值。在32位程序里,所有类型的指针的值都是一个32位整数,因为32位程序里内存地址全都是32位长。 指针所指向的内存区就是从指针的值所代表的那个内存地址开始,长度为sizeof(指针所指向的类型)的一片内存区。以后,我们说一个指针的值是XX,就相当于说该指针指向了以XX为首地址的一片内存区域;我们说一个指针指向了某块内存区域,就相当于说该指针的值是这块内存区域的首地址。 ( G1 l1 T4 g2 D' b7 h ; v. u4 a; j0 \! f 指针所指向的内存区和指针所指向的类型是两个完全不同的概念。在上例中,指针所指向的类型已经有了,但由于指针还未初始化,所以它所指向的内存区是不存在的,或者说是无意义的。 & N% ~" G& f8 q: X. D' e+ `1 ]3 v( f0 u( K; e8 p. \
以后,每遇到一个指针,都应该问问:这个指针的类型是什么?指针指的类型是什么?该指针指向了哪里?0 N8 c& f* I5 q! v0 a( a8 F
: I% {% `5 \1 e: ?7 ]
1.2.4指针本身所占有的内存区 $ \6 g$ z0 Z$ i( T 0 A0 h1 h1 U0 j1 q% T5 D z* R( i 指针本身所占有的内存区是指针本身占内存的大小,这个你只要用函数sizeof(指针的 p# }; i% f- s- }6 W# [
) e/ W7 `& o+ @7 k! w
类型)测一下就知道了。在32位平台里,指针本身占据了4个字节的长度。0 D8 b! I! _. }, Y* G
) t6 v9 [ o/ k6 L
指针本身占据的内存这个概念在判断一个指针表达式是否是左值时很有用。, O2 B. c: V* r& X3 i
+ D6 q ] d9 v7 D3 R3 W
C/C++指针精髓(二) 2 J4 J- H% K5 V K$ B# O 1.3指针与内存管理 2 [$ a8 E% V W: `0 o9 ]9 W( N: S
利用指针你可以将数据写入内存中的任意位置,但是,一旦你的程序中有一个野指针("wild“pointer),即指向一个错误位置的指针,你的数据就危险了—存放在堆中的数据可能会被破坏,用来管理堆的数据结构也可能会被破坏,甚至操作系统的数据也可能会被修改,有时,上述三种破坏情况会同时发生。所以合理的正确的分配指针的地址是非常重要的。( i- M0 {* O6 `& t; p
, V: W) J4 t9 s0 T( b! c 1.3.1内存分配的方式& Q o) ]8 K) e4 B* A- d9 `" T
3 q& K m5 \- V+ D1 o6 O6 c* c; G
内存分配方式有三种: 0 |* C" K# d) d) u2 v! j: W8 {8 J$ U4 e) r$ V! h
(1)从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量,static变量。, S& Y% G0 Z! k4 g7 e
* |# X, N$ V6 W' _. S( \
(2)在栈上创建。在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。$ q m5 a; R3 e: o1 A* Z! U
& k/ `( L# V9 P9 g (3) 从堆上分配,亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存,程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定,使用非常灵活,但问题也最多,以下我们重点讲解动态内存分配。 . H5 _4 m W6 B4 W+ m3 A+ g$ O$ {. o& l9 f* l5 Q( |
1.3.2 malloc/free 的使用要点 9 J- f1 ~4 ~! K. w2 e H; S+ B) X* {) ?! O" E
malloc与free是C/C++语言的标准库函数,它用于申请动态内存和释放内存。+ T: H8 s5 D/ G5 e
- V+ H3 l" ^. M9 c$ N% J, R 函数malloc的原型如下: # O- _1 g3 |1 r' s9 b3 ^ t9 L" i9 \
void * malloc(size_t size); " a5 H3 ?) Y! x/ I# h : z) z! a P& D( E2 T+ X' Z 用malloc申请一块长度为length的整数类型的内存,程序如下: ; B- q* o: @. u+ a5 I- ^5 v 0 ?! ~% a/ q4 s. f. h7 t8 S int *ip = (int *) malloc(sizeof(int) * length);7 z' _% O' Y% n+ I) v& I9 C
- }2 m" m& B, m9 y 我们应当把注意力集中在两个要素上:“类型转换”和“sizeof”。 9 {$ W& w0 e$ z4 R- N! E! ]2 y- _! \2 q4 X: O) j/ f* e" }
malloc函数返回值的类型是void *,所以在调用malloc时要显式地进行类型转换,将void * 转换成所需要的指针类型。 ) F& r$ z) y2 V8 C7 h 0 A v% U( \' { N' O malloc函数本身并不识别要申请的内存是什么类型,它只关心内存的总字节数。例如int变量在16位系统下是2个字节,在32位下是4个字节;而float变量在16位系统下是4个字节,在32位下也是4个字节。这个你可以用sizeof(类型)去测试。 + q& o7 ~. d, \9 K+ @& W. d" R+ S9 f3 \5 c8 B8 c
在malloc的“()”中使用sizeof运算符是良好的风格,但要当心有时我们会昏了头,写出 ip = malloc(sizeof(ip))这样的程序来。* L! h- N8 I3 ~1 K
4 d7 `$ M/ n0 v" K6 m a 因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete.注意new/delete不是库函数,只是C++的运算符。我们来看如下例子就知道怎么回事了。2 Z' R7 l0 L- s7 @7 s' z( H
, n1 V' l3 E5 d class Object, x$ n! Z' P" U
8 p; s6 P" N; y3 f$ `* r{ 9 i4 x! p, p) L+ N+ f. C2 b! t4 e5 ?; r% I6 C! J' T j+ G
public : / _1 H8 h7 ]3 e5 E5 z1 t& o: t/ b) k5 J+ {( ~1 q" J
Object(void){std::cout << “Initialization”<< std::endl; }: w. \& ?, P5 f) k3 B; P
# g/ U0 ^- h/ V: }. E9 \8 z ~Object(void){std::cout << “Destroy”<< std::endl; }' l/ N3 P E# E: ~) t
* d0 ~& Q6 G4 p* [) M- g. a- J# g void Initialize(void){std:: cout << “Initialization”<< std::endl; }' _& o7 n, E0 ~' n
* C& E: t7 c" Y1 @
void Destroy(void){ std::cout << “Destroy”<< std::endl; }4 N0 U s) c# B6 P: [
2 t. i P1 ^/ Y$ h: {& n}+ D1 _0 o3 I# D) B- v5 D
; A8 ^, C* X: f% yvoid UseMallocFree(void)& a2 `' Z3 n: ?8 Y( G) _5 s/ L# y
# G7 Q+ h9 a) ?9 b, J! R
{ s; ^( t, W+ Q2 \/ t ; p7 r1 P& b$ M/ k, ]/ k Object *ip = (Object *)malloc(sizeof(Object)); // 申请动态内存 9 L# ]0 W1 r3 u6 `6 T6 w ; L2 h/ l/ y( B- C/ E' R% {/ e5 v, W ip->Initialize(); // 初始化1 _( H6 \/ G, x% ~1 z
1 ]8 ^. L3 y, J- K/ `/ l //… " o( B& ^0 j' N1 B* V9 e) I8 n8 p. b( N
ip->Destroy(); // 清除工作 % \2 u; b0 K/ o B* K8 A3 V+ ^! ]- V$ U ]' F. |7 Z
free(ip); // 释放内存* m1 V7 \ D6 M7 A3 W( ]8 ~# L
& J/ m d1 s# m' T} y8 P% G" v2 o9 p: _8 h0 T' J
5 [6 L7 R' k$ P6 S* V
void UseNewDelete(void)3 m2 z. r' G% X
, h- B# k0 M$ o
{4 |* Z4 \* a6 B! {$ v
; j% D$ o# b% `9 N" X5 I Object *ip = new Object; // 申请动态内存并且初始化+ W7 x# C, U& X& f' E
) O+ w# @: j3 j //…/ M9 m! `% w. v
8 b$ g- O' N4 F% T+ D+ R+ }8 J
Delete ip; // 清除并且释放内存1 W1 R+ s+ n& J. y6 T
7 F! b3 E0 P1 C; A
}; p) X& e0 J6 h, I& ]$ \# I
- j0 g% \( {$ Q4 m* k
0 s, S( @2 U$ Y. }7 r4 P0 [. R" K 用malloc/free和new/delete如何实现对象的动态内存管理 7 P/ k& o% R1 U1 S( V. o! [& ] j: J6 c/ h( p6 R
类Object的函数Initialize模拟了构造函数的功能,函数Destroy模拟了析构函数的功能。函数UseMallocFree中,由于malloc/free不能执行构造函数与析构函数,必须调用成员函数Initialize和Destroy来完成初始化与清除工作。函数UseNewDelete则简单得多。 ! H: p& Z$ |3 b" y, x0 j$ H + c6 a; B0 o3 _! W& F 所以我们不要企图用malloc/free来完成动态对象的内存管理,应该用new/delete.由于内部数据类型的“对象”没有构造与析构的过程,对它们而言malloc/free和new/delete是等价的。new内置了sizeof、类型转换和类型安全检查功能, ,对于非内部数据类型的对象而言,new在创建动态对象的同时完成了初始化工作。4 L1 A9 K" u, U) U$ L, d
% y" I! s% {6 n+ c+ W. p6 e (1)判断指针是否为NULL,如果是则马上用return语句终止本函数。例如:9 P, C- B, s2 { ?5 g
, f: F$ S4 Y, Z7 z! i& f( v void Func(void), |! Q0 F7 [# W. Z4 O
7 l, A; I( c5 a. J{% b, _ }/ N: V) I. K
# n. V) P; ]8 A0 F2 Y( U A *a = new A;3 V6 a. i+ l$ I! T# }
- Y( ]1 X5 q; E if(a == NULL)5 u6 \, {$ ~4 ~" D- ^. D
3 h1 O& @0 s. L
{5 J* i5 E( e K! Y \) w! l
% \9 g6 l" [" c5 c return;+ m. I+ p( @- O! Y% A3 j+ o7 j4 |
6 a# J9 M* a& P' A# W7 c2 G( z+ _; n7 C, C
} 2 r9 F# M! d9 N! R; ~7 a3 Z5 H! V/ M& \* A n" K2 O; |8 b: C
… / v9 A1 X0 Y b, `1 }4 q0 D. n! o) K! r% z$ n0 h) l$ |8 d. J! f' Y* `
}; R7 |. {1 e# E1 R2 c1 q# n
n' y& }# |' R0 r9 F- m( { + y4 R2 a& q' I. H6 ~ (2)判断指针是否为NULL,如果是则马上用exit(1)终止整个程序的运行。例如: 4 }; V, }4 R& R# b 2 e" r3 U. w8 i+ l void Func(void) n8 B: O" ^$ m! ]1 q% |, ]
- G' ~- z3 ~% M2 r8 D" A4 d
{8 v j6 ], J' D, C$ H
- L3 e* q4 \( B- {) {
A *a = new A;" M0 M: n# L5 H7 p9 p7 M
l/ j' S5 T& k# j
if(a == NULL) + B4 C4 ~2 Z: p8 p* u1 n/ g 1 ^ z( i& A7 L" H) h2 ] {+ l3 \' @2 a& S# Q) s2 K+ e
' i8 a$ ~5 @' G std::cout << “Memory Exhausted” << std::endl; 6 n- Z4 Z# z1 ?# \5 b+ [6 F% @; R. `4 k, h4 X& F
exit(1); ! }: q8 Z2 ^7 u4 w# q$ m9 j2 d8 y' h! W1 x+ O d/ h
}& d8 A e- B( c6 X8 z1 \, a: |
1 |$ K6 r/ D7 G5 L% v0 m …+ D: f- ~9 F4 }- Q" ?
& [3 o7 N6 H3 O}8 [% T) N5 |! f9 |7 u
2 M9 S f2 I' T, w+ E3 U5 q- M 8 {6 e s; }# `6 O+ k' ]
( o8 k6 |% L4 f
! p. P% G ]4 o (3)为new和malloc设置异常处理函数。例如Visual C++可以用_set_new_hander函数为new设置用户自己定义的异常处理函数,也可以让malloc享用与new相同的异常处理函数。详细内容请参考C++使用手册。 2 m! Q" X7 y4 m$ z& Z" s$ H! h V1 m6 E3 U. u$ e
有一个很重要的现象要告诉大家。对于32位以上的应用程序而言,无论怎样使用malloc与new,几乎不可能导致“内存耗尽”。因为32位操作系统支持“虚存”,内存用完了,自动用硬盘空间顶替。我不想误导读者,必须强调:不加错误处理将导致程序的质量很差,千万不可因小失大。- B6 l( L: K" Y
* d$ S+ d: n ~% P1 { 1.3. 5杜绝“野指针” 9 O x8 j' D6 p9 ?1 l0 A 5 N, |! \9 m* _% n “野指针”不是NULL指针,是指向“垃圾”内存的指针。人们一般不会错用NULL指针,因为用if语句很容易判断。但是“野指针”是很危险的,if语句对它不起作用。 “野指针”的原因主要有如下几种:8 W+ i4 [: D* B0 T; e6 l
1 a1 M. p5 g+ R. U
(1)指针变量没有被初始化。任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的,它会乱指一气。所以,指针变量在创建的同时应当被初始化,要么将指针设置为NULL,要么让它指向合法的内存。例如! i6 ?, E$ w0 p) i1 m6 L
7 n$ u( z9 H6 L& c char *ip = NULL; # U7 j i4 _& K( B+ s/ J5 }5 }# K
char *ip = new char;! t8 @* T5 k5 u9 z" q7 v
7 R, i: O. W) z. S- I. D3 p
(2)指针ip被free或者delete之后,没有置为NULL,让人误以为ip是个合法的指针。 6 d' s- D8 P9 e6 c* B5 f2 X% u2 N& b$ w7 g8 u; U, D
(3)指针操作超越了变量的作用范围。这种情况让人防不胜防,示例程序如下: 9 H* d- ]& E+ K7 e6 h7 x6 m* n% _* t9 V$ w7 @
class A( t" i6 O. z! Q$ N
7 D0 _& g, N: A: u: D/ b{ - _ O( t, T8 P. E- p. n+ j0 a, ]+ t$ U
public: 5 D. `# `7 m4 s 0 o4 Z3 K5 Y1 ?/ T void Func(void){ std::cout << “Func of class A” << std::endl; } 8 T+ E4 V \/ _' H1 `6 z; [. q: c( _4 W1 @
};% Z6 ?& r( ]- k. j& o- K* l/ h8 w
* w" u: e; \ ^% o' w
void Test(void)/ t: h- p- A0 y9 A
4 F8 h1 s1 L3 B8 X& ?2 \( O
{ % N1 `$ b) H8 f" B' \4 n # P; K* R; Y- c u$ B A *p; 6 o# ^# d" s/ g# s2 r2 Y, I# g' s" r
{: }0 k, p0 Y9 V" X
1 d9 A( `1 y: x8 @$ }5 Q
A a;0 A, n7 K8 t4 m8 F2 L# X0 a
8 P' R W% J% z" n. F* H3 M
p = &a; // 注意 a 的生命期$ i2 I* n- h0 r0 W0 ~6 \/ g
; y7 J. J& \/ w Y+ _& _+ i; i }9 z* H1 A h! e0 u
& C+ Z8 M# \+ z0 W
p->Func(); // p是“野指针” / f% m5 o3 W' ] 9 L) h) R4 j8 P' h: j$ w} $ [4 r0 d3 b3 f' M % d2 m& w2 v# w
4 I& u) W( |9 D$ t# @
函数Test在执行语句p->Func()时,对象a已经消失,而p是指向a的,所以p就成了“野指针”。但奇怪的是有些编译器运行这个程序时居然没有出错,这可能与编译器有关。 # W% T8 g& y- w , S& s6 Z( ~1 n1 |& x 1.3.6指针参数是如何传递内存的? s% b1 ]4 o! H
9 ?. Z+ n# \* O- @
如果函数的参数是一个指针,不要指望用该指针去申请动态内存。见如下例子: 7 R _0 e+ d9 H1 f0 ] t& L+ S& m6 t$ o% L/ x' K. W
void GetMemory(char *ip, int num) 2 ~ f3 y& I: ]5 y& L 2 K Q& |5 L8 e) k; u{. T6 Q8 d( b8 \, u J& B
, x( r# F! _% ~+ x
ip = (char *)malloc(sizeof(char) * num);4 }% ?+ s# O# c S+ q9 K