TA的每日心情 慵懒 2016-4-21 12:07
签到天数: 3 天
连续签到: 1 天
[LV.2]偶尔看看I
累计签到:3 天 连续签到:1 天
马上加入,结交更多好友,共享更多资料,让你轻松玩转电力研学社区!
您需要 登录 才可以下载或查看,没有账号?立即加入
×
C/C++指针精髓(一)
: ]& \. ]3 E# h& F. Y4 A7 L$ \ [摘要]
% o0 A6 S0 c( S Q% F# u * p S' d9 O; L& ?: ~% X4 F
指针是C和C++语言编程中最重要的概念之一,也是最容易产生困惑并导致程序出错的问题之一。利用指针编程可以表示各种数据结构, 通过指针可使用主调函数和被调函数之间共享变量或数据结构,便于实现双向数据通讯;并能像汇编语言一样处理内存地址,从而编出精练而高效的程序。指针极大地丰富了C和C++语言的功能。7 u# \2 X0 V) ?9 V
. q/ ~ ?" s4 X5 f f
在本文中,主要分两部分对指针进行讨论。首先,基础篇讨论关于指针的内容和运算操作等,可以是读者对指针的知识有一定了解和认识;随后在使用篇中重点讨论指针的各种应用,揭破指针在日常编程中的精髓,从而使读者能够真正地了解、认识和使用指针。
' _ Z9 Y9 c7 I. M2 @. J3 p
" s; N4 v+ i& d, k; V+ ? 第一篇:基础篇
( w0 O8 u, ]/ R2 l # P$ j4 S0 U8 J% i. ?* ~
1.1指针的概念" e$ Q" k" q" j, x' y' L1 A% {
$ W( n# i8 p" o1 X+ I 谈到指针,它的灵活性和难控制性让许多程序员谈虎色变;但它的直接操作内存,在数据% K" q) S$ G+ n! i" \
; A3 L _3 B3 t' }
操作方面有着速度快,节约内存等优点,又使许多C++程序员的深爱不以。那么指针究竟是怎么样一个概念呢?
- b) F( ?5 W8 L A; x- J+ V3 o. G ( V+ S# K* ?3 O& Y: e! ] I0 G) P
其实, 指针就是一类变量,是一类包含了其他变量或函数的地址的变量。与其他变量所不同的是,一般的变量包含的是实际的真实的数据,而指针是一个指示器,它告诉程序在内存的哪块区域可以找到数据。
4 Q" Q s- N5 l& R1 O7 \$ ]
/ ^% o4 H! @. w. B: d0 o. n4 A 好了,在这里我们可以这样定义指针:指针是一类包含了其他变量或函数的地址的变量,它里面存储的数值被解释成为内存的地址。
% x2 z3 R$ K3 S7 K7 [ [4 Z" f
/ l G3 f7 x7 I4 t2 @" E9 f+ w* }/ } 1.2指针的内容
0 L' o- k/ ~: j7 U0 u- k \) ? 5 \3 a( F# o* N% V4 R5 t K/ Q
简单讲,指针有四个方面的内容:即指针的类型,指针所指向的类型,指针的值,指针本身所2 Z, ?$ }3 T2 D$ R/ w( V, G
' p9 A9 Z% R3 L 占有的内存区。下面我们将分别阐述这些内容。, ^( W- x8 _# Z& X0 }3 @3 R0 e
$ h' A( J2 `" r$ O& C' g
1.2.1指针的类型 I8 Z: S* O2 j
* \ @4 E1 V1 ?* ` 从语法的角度看,指针的类型是指把指针声明语句中的指针名字去掉所剩下的部分。这是指针本身所具有的类型。例如:" P, B0 a E' Z+ G) ?
$ Y7 a& A' E6 W
int*ip; //指针的类型是int*2 O' t; C# \& n8 \
9 h+ n8 L- F) \2 q, E1 P
char*ip; //指针的类型是char*
* C/ [7 r! t# L: x) ] ; F# P8 ~3 h) s* C4 ^
int**ip; //指针的类型是int**5 L& k. |7 S I; u. D5 g
3 h4 h5 O4 ?9 w& Z6 @ int(*ip)[5]; //指针的类型是int(*)[5]
3 Z0 p) p' Q+ e$ [' W* `1 D
! T: M1 w8 N/ ^( G, u7 ^ + K9 c. {5 l/ o2 N' i$ }9 w
1.2.2指针所指向的类型, n: M& m7 I7 H; U9 r. J: ^, r8 f
9 |- D" j4 d7 z/ U& E* J 当你通过指针来访问指针所指向的内存区时,指针所指向的类型决定了编译器将把那片内存区里的内容当做什么类型来看待。从语法的角度看,指针所指向的类型是指针声明语句中的指针名字和名字左边的指针声明符*去掉所剩下的部分。例如:
. b6 C- R# t$ y5 O+ U% u( r # O% X. |- J. b0 c* {* z
int*ip; //指针所指向的类型是int/ ?) V, Z1 E/ X5 K: Y( T& w( i
' ~( J9 F2 u0 A8 }1 y( \
char*ip; //指针所指向的类型是char
- W) l) f0 e) a# {! q8 W& v g
* m, k1 I5 N3 j4 g6 n6 e8 F int**ip; //指针所指向的类型是int*' n, m0 m2 x! g% s" S" C1 N
( @3 f1 h: [" k O+ }- P$ [
int(*ip)[5]; //指针所指向的类型是int()[5]
1 V( t! M2 M6 r+ U5 h9 R" ]& F
) E4 C/ H% n+ D- v
( T: g' _: ]) \ 1.2.3指针的值(或称指针所指向的内存区)% F( W* _5 r7 U k& Y# s7 V; n
8 A- y/ I, Y# j) o$ v- R# y! _( K9 R 指针的值或者叫指针所指向的内存区或地址,是指针本身存储的数值,这个值将被编译器当作一个地址,而不是一个一般的数值。在32位程序里,所有类型的指针的值都是一个32位整数,因为32位程序里内存地址全都是32位长。 指针所指向的内存区就是从指针的值所代表的那个内存地址开始,长度为sizeof(指针所指向的类型)的一片内存区。以后,我们说一个指针的值是XX,就相当于说该指针指向了以XX为首地址的一片内存区域;我们说一个指针指向了某块内存区域,就相当于说该指针的值是这块内存区域的首地址。
/ g& \8 g# Z+ Z- d
4 H, E# G& e% [. X# \& H4 ^ R8 B, P& d 指针所指向的内存区和指针所指向的类型是两个完全不同的概念。在上例中,指针所指向的类型已经有了,但由于指针还未初始化,所以它所指向的内存区是不存在的,或者说是无意义的。
/ l) e% l! `" `7 v4 I
: a0 m5 ?- [ j 以后,每遇到一个指针,都应该问问:这个指针的类型是什么?指针指的类型是什么?该指针指向了哪里?- E' E( M, b, c1 d1 [
6 r6 P4 ]. d% I+ j6 m9 k- _) o, _ 1.2.4指针本身所占有的内存区, Z5 A2 C8 A% t2 E/ v# X, K
$ M; i% @9 M5 |1 \ 指针本身所占有的内存区是指针本身占内存的大小,这个你只要用函数sizeof(指针的
4 n0 f! c2 d) _6 S. m* y
# c* {" D! `! j! w 类型)测一下就知道了。在32位平台里,指针本身占据了4个字节的长度。
& J) D& {' z+ E# ^. `" E0 p" G; l
/ [) U( ~5 T# o; F 指针本身占据的内存这个概念在判断一个指针表达式是否是左值时很有用。$ `) R" h, [, ] C5 r
3 I* k+ D" U" V: s C/C++指针精髓(二)+ ~6 V; b; O; [! U8 S8 Q
1.3指针与内存管理9 w8 f4 W. h& G9 M2 B
$ s' f. |+ U; {0 z; v0 i
利用指针你可以将数据写入内存中的任意位置,但是,一旦你的程序中有一个野指针("wild“pointer),即指向一个错误位置的指针,你的数据就危险了—存放在堆中的数据可能会被破坏,用来管理堆的数据结构也可能会被破坏,甚至操作系统的数据也可能会被修改,有时,上述三种破坏情况会同时发生。所以合理的正确的分配指针的地址是非常重要的。& P5 h! M! o( p6 v7 K- G
L, K. B3 E: \, S 1.3.1内存分配的方式
/ K) k, [8 P& m" c) ?/ v. @ $ E9 L! Y* Q& _
内存分配方式有三种:
2 s/ X5 j$ `$ k9 x; B ?; K: c9 i
; d; T2 Q5 x( V2 o: i& E; F3 X. J (1)从静态存储区域分配。内存在程序编译的时候就已经分配好,这块内存在程序的整个运行期间都存在。例如全局变量,static变量。6 A0 B, X+ k& a& p7 O& J
7 [3 c7 k6 a O3 F% i0 Y" m (2)在栈上创建。在执行函数时,函数内局部变量的存储单元都可以在栈上创建,函数执行结束时这些存储单元自动被释放。栈内存分配运算内置于处理器的指令集中,效率很高,但是分配的内存容量有限。3 y% z& n1 M. u# r( O E& A' Q
! _! Y' B3 q2 p$ Z, T& I7 Q1 @& N
(3) 从堆上分配,亦称动态内存分配。程序在运行的时候用malloc或new申请任意多少的内存,程序员自己负责在何时用free或delete释放内存。动态内存的生存期由我们决定,使用非常灵活,但问题也最多,以下我们重点讲解动态内存分配。$ G# M4 l2 l9 n/ K
1 N% Q+ e& \! E% j0 I( y 1.3.2 malloc/free 的使用要点
* D0 T& u, L$ f3 g5 c* y; S
! S7 A4 P2 G$ G' n/ N malloc与free是C/C++语言的标准库函数,它用于申请动态内存和释放内存。
, I: g; g5 K& P' ^( X* l ; D! t4 Z4 o4 C
函数malloc的原型如下:) S. @2 q; m. F) @( ^; @2 `" s3 \
! f- V1 u3 @% E& D! l7 o9 m; | void * malloc(size_t size);
; x+ P- f+ u. B5 e2 K. G1 l P1 {
7 T/ y7 E1 C% _2 ~ 用malloc申请一块长度为length的整数类型的内存,程序如下:
4 { a6 w% N& M0 v
4 E! |9 `, q) W4 z' H int *ip = (int *) malloc(sizeof(int) * length);
6 b1 u5 Y. P3 A# g 8 F! m2 l, j, L' w' c, n( E& S% n
我们应当把注意力集中在两个要素上:“类型转换”和“sizeof”。/ Z) p% ~: v4 N* d+ s3 V
+ V9 @ T4 d E1 V; g malloc函数返回值的类型是void *,所以在调用malloc时要显式地进行类型转换,将void * 转换成所需要的指针类型。
6 R/ a, g. K ^2 y
6 w& O M. e: O6 R malloc函数本身并不识别要申请的内存是什么类型,它只关心内存的总字节数。例如int变量在16位系统下是2个字节,在32位下是4个字节;而float变量在16位系统下是4个字节,在32位下也是4个字节。这个你可以用sizeof(类型)去测试。% Q6 b' T- z9 z2 o/ J
: {$ X$ v. s; v& {9 v
在malloc的“()”中使用sizeof运算符是良好的风格,但要当心有时我们会昏了头,写出 ip = malloc(sizeof(ip))这样的程序来。
* E5 ], W' m2 z3 T G, O% K
, r/ U8 B, ?, p! w; a9 G6 } 函数free的原型如下:. m) ]# S8 c& ~8 }1 t7 ^) T
* l4 o; p% _/ R8 Y G+ `( ]4 | void free( void * memblock );$ g! R7 n0 k0 M! z( S
" r! U& L% _' n2 A% p) P# O( p 为什么free函数不象malloc函数那样复杂呢?这是因为指针p的类型以及它所指的内存的容量事先都是知道的,语句free(p)能正确地释放内存。如果p是NULL指针,那么free对p无论操作多少次都不会出问题。如果p不是NULL指针,那么free对p连续操作两次就会导致程序运行错误。3 ^% J/ [4 Z$ H% K) z* u, [0 u
" n( R3 }7 Z% d5 U+ Q# e/ V
1.3.3 new/delete 的使用要点
0 @, }$ ?( c0 R; R# d# b
0 q/ y3 O" F& J4 T9 t+ J 对于非内部数据类型的对象而言,光用maloc/free无法满足动态对象的要求。对象在创建的同时要自动执行构造函数,对象在消亡之前要自动执行析构函数。由于malloc/free是库函数而不是运算符,不在编译器控制权限之内,不能够把执行构造函数和析构函数的任务强加于malloc/free.3 H4 L1 i2 W1 u! m" {; N3 j
) G" c% b1 M- R* O& L0 y
因此C++语言需要一个能完成动态内存分配和初始化工作的运算符new,以及一个能完成清理与释放内存工作的运算符delete.注意new/delete不是库函数,只是C++的运算符。我们来看如下例子就知道怎么回事了。
' b. L0 ~- E9 Z3 P + T/ y* h$ o2 H& N* ^% Q) N
class Object
# J: R" V" e, z! ~ x/ m9 f
2 t2 S, T3 z8 ~9 Z! `" u) j9 ^: [ {
( ^+ x" B/ y5 e& t) o' t) X
/ s% T C2 p: p9 f) g3 r public :
1 q; |' L3 @% W+ } " @/ E4 [$ h7 ^+ F% {
Object(void){std::cout << “Initialization”<< std::endl; }5 l* T& n5 h1 h6 [* |* L
" y7 U3 V. l3 u5 @2 H
~Object(void){std::cout << “Destroy”<< std::endl; }
& V% A8 p R% K+ w8 i1 {
! Y4 A* V$ G- Y void Initialize(void){std:: cout << “Initialization”<< std::endl; }) |9 [& g" ^1 O2 U, o0 E
( C3 q) t4 v8 |2 x void Destroy(void){ std::cout << “Destroy”<< std::endl; }
9 |7 O, g, c! s7 O
7 L: Y/ B. F1 W# Z! ~ }; U: ~: X* S6 X/ N* C
" P+ ~, j" G* j! \ void UseMallocFree(void)2 A' D+ q8 s v z5 e9 t
; J" a- G# D H1 E1 t) t: A
{0 f: E! i+ w: y4 \+ t7 G. q
5 a& X# n q( [/ L; ]- W0 t; L3 R Object *ip = (Object *)malloc(sizeof(Object)); // 申请动态内存/ i6 j* S N D0 ]9 Z9 Y
: Z7 T+ }. M1 d9 H4 p ip->Initialize(); // 初始化
, C6 n$ {! F9 L( z ]) { * i* Y$ J. c6 ]5 ?! a# d
//…# m, }: h1 v! ^$ U
/ Z& ?7 W1 t' j1 I1 d% t5 x# U- B
ip->Destroy(); // 清除工作
( e+ d; x' d5 a' Q R R1 m8 @
* j' O" c9 }. g5 O6 _1 t9 g( R free(ip); // 释放内存- t7 d& K# X- v/ b- A2 i
4 Z+ w+ K+ v$ u, ^/ `
}
. N/ F3 M1 K$ N. _$ _ 6 H6 U1 I* `) ?
void UseNewDelete(void)$ d( ~7 `2 \0 k# [! X
! x/ ?3 U1 U9 a* M
{
3 @" l* v% F; l5 Z
- h2 D% M7 P1 ]: j6 R; g6 Z* ? Object *ip = new Object; // 申请动态内存并且初始化
( W+ L9 t* E) Q* Y; Q' ]
6 y1 t2 r g& W //…
$ M/ T# q2 _# u1 s2 ~1 L7 o9 R 0 y0 P% h$ X; z6 R. h9 k' G
Delete ip; // 清除并且释放内存( H! Y6 s U9 D4 |2 {2 o9 v
) {6 Y; r; {' U
}4 C: L2 g# D+ H1 _
" [) H4 ?9 W+ d9 y2 v. n }
4 s* v% f! ^7 A+ M, ~
用malloc/free和new/delete如何实现对象的动态内存管理6 M8 s7 }5 Z+ m& r0 W8 d) s' }$ @
0 n h8 f( w2 h; S+ x @ 类Object的函数Initialize模拟了构造函数的功能,函数Destroy模拟了析构函数的功能。函数UseMallocFree中,由于malloc/free不能执行构造函数与析构函数,必须调用成员函数Initialize和Destroy来完成初始化与清除工作。函数UseNewDelete则简单得多。' V& B; ?- f8 C/ o% a6 f
: H4 \7 i2 t4 n5 H3 {2 H% h
所以我们不要企图用malloc/free来完成动态对象的内存管理,应该用new/delete.由于内部数据类型的“对象”没有构造与析构的过程,对它们而言malloc/free和new/delete是等价的。new内置了sizeof、类型转换和类型安全检查功能, ,对于非内部数据类型的对象而言,new在创建动态对象的同时完成了初始化工作。$ P( b3 o& G. H% p* _
K ?/ e5 N; ?; r5 ]& U3 S new/delete 常使用的方法如下:+ `" A p! l4 ]
, w7 o( {2 k/ |) Z3 x W/ T* I typeof *ip = new typeof[length];
3 D! b8 ]4 |8 K- b3 j- h. M8 I' q- f 8 u1 O/ x# a8 {9 X2 f
类/结构 *ip = new 类结构;; k* X# Z$ r0 ?# ~7 Z5 s; p+ O
+ {7 t4 ~/ }: e9 d4 n4 }8 ` 一般释放如下:delete ip;$ N3 S/ I1 Y/ c
( F _% E! I1 M2 G8 V ]; T& n) ]$ T) }
数组的释放如下:delete [] ip;
+ Q) R$ s0 I" D+ w * V) n u( D( p) e
1.3.4内存耗尽怎么办?
2 n& j" c6 I! A3 T3 a: J0 u* m4 v
. N; j4 @4 E& A+ i m7 a* _" [ 如果在申请动态内存时找不到足够大的内存块,malloc和new将返回NULL指针,宣告内存申请失败。通常有三种方式处理“内存耗尽”问题。
5 |! y$ \3 E; N( _% v( ]* g
+ |, }% K. l$ _2 _, O3 P1 a/ y (1)判断指针是否为NULL,如果是则马上用return语句终止本函数。例如:
( v0 Y; X+ B. u2 E 3 s4 n5 m3 N: i2 \$ J! A2 _- s" g3 @
void Func(void). Q6 S' T% \) a8 K' t: ]
9 E9 K- H# \8 Y; h
{$ x* ?4 S' R1 l5 s8 w
4 C/ l5 Z$ K9 O0 W0 j% H% T/ b A *a = new A;6 ?% @! O* D/ U" Q
2 |2 U8 `: W! h8 g# L if(a == NULL)1 @" l2 _, L0 K$ h' m) E
% G7 [) E. G) ], p- T ]6 t; {: J
{
9 X; C3 v$ N( |( D ! Q& `& ]0 `% u7 }( O8 Q9 P. z( h
return;
( A9 V$ s3 {6 V2 E+ b
* D8 R! [! b: D O }- E! W( l/ q! E3 d
- B* Y- `9 H" p# d/ o U
…
, o/ w* }% C1 j1 h: `, S 8 p8 r0 [; L8 V) a
}
4 ?( Y2 ^+ ]: _
1 z) x% U+ v2 e6 T- H6 |& m ; d& z% r8 v! U, \
(2)判断指针是否为NULL,如果是则马上用exit(1)终止整个程序的运行。例如:
' ?& S D8 H' f6 w8 m/ ^ * y R6 K0 I. l o' u5 F
void Func(void)
5 o+ _0 _) K$ _- a! k
5 ~7 U; C% N. J+ W# N' _8 {. G {1 M+ g, |1 e8 P8 V
; V& b! k" w9 J$ m' ^7 P A *a = new A;
. D- a' X o# o3 k* p3 N% O1 x
# q1 L @. ^; Y5 V; M1 ] if(a == NULL)) b2 C- h" \* a$ Y7 Y, `. ~1 F( ^
, u! c. P m* B
{8 T% c; q& Q4 C$ o& m+ E, j2 L, G
; {, U& Y7 h1 ~. p4 U1 L* Q& ~
std::cout << “Memory Exhausted” << std::endl;
* ]( ` m) _) w$ F# {% J/ O
4 I2 K7 {3 |5 T( W9 Y3 k T exit(1);; s |& G: U0 {8 L) V1 G4 U
/ b/ n0 s) ]5 R }
5 \% L7 G( J9 \7 r " b$ ]: N. y* l. {
…
8 E8 I2 o% `7 l* H ' Y& S" j& ^5 r
}5 m N! W S% L5 K. G* |7 G
a& h) k1 F {* j# f0 A 4 b: b$ G7 a/ Y& z5 @6 g+ o
2 y* }# e8 S% k+ ~* k! [
( K* z# U, L' j (3)为new和malloc设置异常处理函数。例如Visual C++可以用_set_new_hander函数为new设置用户自己定义的异常处理函数,也可以让malloc享用与new相同的异常处理函数。详细内容请参考C++使用手册。
6 |0 L% Y- q' v! Q( ? 2 L% {' a, q, S6 p0 @0 T
有一个很重要的现象要告诉大家。对于32位以上的应用程序而言,无论怎样使用malloc与new,几乎不可能导致“内存耗尽”。因为32位操作系统支持“虚存”,内存用完了,自动用硬盘空间顶替。我不想误导读者,必须强调:不加错误处理将导致程序的质量很差,千万不可因小失大。
1 ^; [! D$ B. F# Y2 ^ 3 G7 {9 Y$ k( b, D
1.3. 5杜绝“野指针”9 ^! o7 p4 l/ N: G) Z& T7 N4 j/ P
! q/ f" {% V& g* @ “野指针”不是NULL指针,是指向“垃圾”内存的指针。人们一般不会错用NULL指针,因为用if语句很容易判断。但是“野指针”是很危险的,if语句对它不起作用。 “野指针”的原因主要有如下几种:
5 Y/ _9 R6 w( i z" _1 P
. p; h! ?" K |5 S p; n) A0 K (1)指针变量没有被初始化。任何指针变量刚被创建时不会自动成为NULL指针,它的缺省值是随机的,它会乱指一气。所以,指针变量在创建的同时应当被初始化,要么将指针设置为NULL,要么让它指向合法的内存。例如
! y& V8 J2 W# K - E+ N$ L# T; f8 I5 [- k" z
char *ip = NULL;; q- @0 W( j2 a
3 b0 j/ f2 }3 ` char *ip = new char;
' G& p# A" p( h+ a# I - \; i5 Z: n: _% b3 g
(2)指针ip被free或者delete之后,没有置为NULL,让人误以为ip是个合法的指针。" }5 O8 s, l9 i) z, Q; F* ~" {% v
- n% |4 X% `" ] (3)指针操作超越了变量的作用范围。这种情况让人防不胜防,示例程序如下:5 x( V8 i8 K: L
6 ?+ n, a/ [2 ~3 O, D; P( C: ?
class A: {* Y+ Y, _7 g( w0 ?% D
- U4 A6 t9 }# \5 T2 \6 r) g5 ^ {
r) A) X/ G; T $ ?) l" C! z& H# b: u& L
public:
; V5 c) L# a$ h2 P" s3 N
$ X2 j( I% N! J$ c6 P/ P/ U3 J void Func(void){ std::cout << “Func of class A” << std::endl; }
$ u' m5 t/ O: N$ t0 G , T, h. j: x* b. b! C
};# K$ G: q0 n$ ]/ L8 H" J2 c6 H
* f+ S5 z. t' c0 ^: y/ Q$ s g void Test(void)
" K7 O0 ^+ P. q9 Z2 ]8 f
* o* k4 q3 S: x. x( R- R {3 a7 p) N9 D; `- l4 a5 _$ }' \
6 L" L9 l: j' i2 a+ v3 K/ b A *p;) Y1 M( [. S. u9 Q0 b$ q
) Y/ s% e6 U+ _4 t# g
{
1 w8 E' ^- ~4 U, {3 ~. a- l# H3 O! c
. v; C+ @. r% `, o* _& F A a;& Q2 K g( x8 P# n8 P. U
- r. c) M, C1 a6 s
p = &a; // 注意 a 的生命期! y' F9 D8 Z- _+ f) t
0 m* J+ R: a) t# @2 u7 A }0 I" \- X& L/ h) b, S. o7 l v
8 m. E' D7 v% \9 g p->Func(); // p是“野指针”
! _7 q/ q4 i4 t* Q1 w, T $ U( |- T+ `! t0 u+ Z$ z
}5 i H: _5 C7 j2 y" H% h( k5 f# |
; _( q$ V% ~7 N8 h9 H : b4 B; U0 i: @- m$ n p
函数Test在执行语句p->Func()时,对象a已经消失,而p是指向a的,所以p就成了“野指针”。但奇怪的是有些编译器运行这个程序时居然没有出错,这可能与编译器有关。 p; _7 f" q. a* F4 [# [
% m F( D" W* N 1.3.6指针参数是如何传递内存的?
" Y* R6 W: A8 X' b7 n
) Y+ \, e$ I& l: c 如果函数的参数是一个指针,不要指望用该指针去申请动态内存。见如下例子:0 [- d2 R+ u; K! V9 {/ H
, {% K5 ?+ u, P/ ^* p# A) c6 g void GetMemory(char *ip, int num)3 s4 T7 w3 w. x& [4 k
$ Z4 ^+ `; w2 u* q3 Z {
; M8 f+ Y9 Q( T8 W8 l" @% u
( Y6 J5 L1 J W" d% X, ?$ Q ip = (char *)malloc(sizeof(char) * num);+ l( j$ w1 f( [0 A0 U# X) ?: P4 b
* F1 r+ `3 Y' G8 S) N+ \: t
}
: ^4 X( I, D* u) k$ R% u
+ W0 V/ w0 V5 K$ y9 E void Test(void)% l9 [/ E* F) @3 P& k- N
& ]$ b. D( x) X2 P {
1 k: G8 [9 w H$ _' j# O
9 s! N7 C+ J$ e) j) X) b1 b char *str = NULL;
4 F" i' Y- G0 M8 k3 }
9 W7 @+ c6 O$ y& e/ E- M GetMemory(str, 100); // str 仍然为 NULL
) N# t2 f; p' o4 k, K0 d) L# ?+ T" j
$ e' r: J' Z, _ strcpy(str, "hello"); // 运行错误
- X7 u2 Y0 N4 s% D) L0 z, n . t4 ?+ i$ v9 X2 s& O$ r' P0 k
}
' a5 k# p3 r/ `
% g5 S# W+ _6 d( ^# X* P
# M3 h+ V' o$ `/ S: l9 r 试图用指针参数申请动态内存
$ i: L0 A0 p& ^3 \) Q% `4 n; I
3 j' B1 ^7 u& M. r) } 毛病出在函数GetMemory中。编译器总是要为函数的每个参数制作临时副本,指针参数ip的副本是 _ip,编译器使 _ip = ip.如果函数体内的程序修改了_ip的内容,就导致参数ip的内容作相应的修改。这就是指针可以用作输出参数的原因。在本例中,_ip申请了新的内存,只是把_ip所指的内存地址改变了,但是ip丝毫未变。所以函数GetMemory并不能输出任何东西。事实上,每执行一次GetMemory就会泄露一块内存,因为没有用free释放内存。
; J: U3 Y. J% Y
, _/ \& l. x3 |6 d 如果非得要用指针参数去申请内存,那么应该改用“指向指针的指针(二级指针)”,见如下示例:
9 P: \ ?( b7 b8 {$ I; s! ` # u3 G+ {" _4 H# Y) b! q
void GetMemory(char **p, int num)
# j- x @9 H* F8 q5 `
( A/ |: v% C% P. w/ T3 S {) n# G5 V$ U& s+ W; E
3 h0 i6 j! c+ Z3 @+ K! I *ip = (char *)malloc(sizeof(char) * num);0 |- y7 ]: @ h) K3 ]3 I
- Q: H( U. B9 Q1 d* H: E }
* d0 v+ s2 Q3 J6 r 4 ] _- [# @ a5 Z3 H" k
void Test(void)
/ J+ @2 }% y9 f3 h" {. C
: C: w Q9 @; s8 U+ b {- C7 [$ ?. B4 ]+ r1 C7 j# h* [
% B* @: Y" I7 f. ` char *str = NULL;5 l# q8 ^+ }) Y& B! B' j/ A
1 S) Y/ c0 R4 x$ m$ [* d GetMemory(&str, 100); // 注意参数是 &str,而不是str
- Q, b8 @* Q: W/ Z 0 A2 n, L8 g: Z, C* l2 D
strcpy(str, "hello");# k! c' [' `9 B7 |- f J
" ?# c' d# w+ e: k- [
std::cout<< str << std::endl;
! u% [% l9 V a. i8 M$ o$ f ! u# E% G- n0 b
free(str);! e7 b7 T, ~; I2 e5 X
6 t: m! i0 U1 l# C% c" q# X }7 M& P# U, T$ ]- Y# @. h
4 a& g/ ^1 b+ ]- U7 X1 `5 E3 G
2 v2 Y- G3 L- n. q& |
用指向指针的指针申请动态内存# [. j/ @3 o" c3 q( [0 Y
6 {1 e" Z, s4 r! [# \1 s9 K8 g$ v
当然,我们也可以用函数返回值来传递动态内存。这种方法更加简单,见如下示例:
, R' d' q0 M8 z/ o; `% t
! I% |( l7 s4 ~5 U; E4 J# L char *GetMemory(int num)
7 @2 T( P- K7 h$ c2 O1 t" E
/ w t# P- |8 W* p( |! e' p- k5 y" b {+ i& M- x7 J1 ]- [6 `
* s8 k. {/ I) i char *ip = (char *)malloc(sizeof(char) * num);
( R* ~9 j' b. q R+ H F5 t $ ~! |! F$ l- Q1 ]6 N, w1 Q! p1 J
return ip;
2 f# z j: e8 Y
$ f" R5 k. j& B5 f0 k9 d }
+ ~7 ]: L# R$ H: q9 r6 X 9 \' g2 N+ R! J ]
void Test(void): L4 ^/ q- i+ g
" f5 ^7 b2 x: b6 T5 G
{. R/ u R' `+ v% p1 h
* L/ j/ b. N& j/ \) G: [ char *str = NULL;: _. ]* Q- k0 w. A, }1 @5 @
. V6 A- ]7 D. T4 e+ x. B str = GetMemory(100);! Y4 i; D' [" G. G2 G# L j+ T8 v
: @+ ?1 G1 d2 t8 a$ Q, ~. s; I8 }
strcpy(str, "hello");4 I3 S& C2 t/ b+ D* Y. i
' R- l) m; \9 z/ A1 ?5 ~, j std::cout<< str << std::endl;5 c/ J. n& [2 w6 d9 v1 w( K4 f
' K. v! D0 s) I; Y% k4 S free(str);
+ Z! h+ j& u& c. k
; t; [7 r$ ^8 x5 u5 ^4 h( W( z }) O2 ~2 t% X4 Q9 c7 x
3 u4 M6 C; |+ S3 T" e1 G7 b
8 @) c s- o% I8 S+ ^5 e
. w4 Z4 J4 O9 l N 用函数返回值来传递动态内存
! s9 y% w& r/ ?; ?' E4 j: ]6 ]# V
& n# F3 a: e9 |! D' t5 l4 T c9 x 用函数返回值来传递动态内存这种方法虽然好用,但是常常有人把return语句用错了。这里强调不要用return语句返回指向“栈内存”的指针,因为该内存在函数结束时自动消亡,见如下示例:
X* \# X( M- @! s, a6 Z ( `; b- q1 D, ~* s* Y
char *GetString(void)
6 v* p3 m" _$ u4 @ N% ~" Y % X9 o% F7 ?! T2 j( i9 N( n
{
2 L# A2 Z( L. W7 e, Q) [" D1 \
" D( L! B- X3 S# \/ {1 _$ L char p[] = "hello world";
; t& {) H' C6 ]0 b 0 r r7 L9 b. k
return p; // 编译器将提出警告
1 r6 T& h. q+ D# j- [. W$ @ 9 W: K @. L8 b& G
}& @+ b5 {! a1 ~- T" i: h* Z
7 f8 F L$ q3 |2 s; I/ } void Test(void)
. c6 [8 s$ J, e0 f6 k# f % T) ^ W q2 b4 Q e
{3 R0 F9 l; d5 Q# R0 ]8 t
4 Q2 F6 r W' b x! b" Q char *str = NULL;
; z+ c W2 s. m; [
& G c! D! k" Q8 y str = GetString(); // str 的内容是垃圾" D1 T/ E8 `; n0 O- b7 H( F
2 V" \: w4 V$ f( H, t5 ^ std::cout<< str << std::endl;. j+ N3 D0 \) M
- i$ i- n( Z! o, F% R' j1 C }
) y8 v3 a) z8 a" Y, `- A
- b9 R+ _8 z# x/ F& ~
' u- m2 V4 }, Z8 e3 k. K4 Z* ?4 c return语句返回指向“栈内存”的指针
+ L/ T% K9 A( y7 l7 Y
' P! C3 y5 W( }3 a8 g 最后,根据以上阐述,我们总结如下使用规则供大家参考:3 J) I$ R- B+ L! q. d/ A
9 I( H& f# q5 F+ D- @ 【规则1】用malloc或new申请内存之后,应该立即检查指针值是否为NULL.防止使用指针值为NULL的内存。+ m: H% ?3 l( X8 l/ e8 }
" }2 o7 i8 W- B5 ^+ P" `
【规则2】不要忘记为数组和动态内存赋初值。防止将未被初始化的内存作为右值使用。; u4 H) ~- w: l$ B) t
$ \; F8 c6 B, R# X 【规则3】避免数组或指针的下标越界,特别要当心发生“多1”或者“少1”操作。
0 p- b$ V$ C6 O8 W& g ; l4 `! N( W% a3 E1 f; R- c) u
【规则4】动态内存的申请与释放必须配对,防止内存泄漏。. ?' R8 r! R5 m/ P/ ~& `+ @
. u) U, q' Q, f 【规则5】用free或delete释放了内存之后,立即将指针设置为NULL,防止产生“野指针”。" j& C* b6 h/ |* e, ~5 a$ A0 F! G+ N5 v
, u. q! Z5 r4 r- x# Y6 b- ~
2 C5 ?0 C% l: L9 v. J# I2 @
0 B- d: m1 ]" t2 l# Q1 l& e C/C++指针精髓(三)
$ h* g0 R m7 n7 K" v 1.4指针的运算5 f& _- ?! w$ g) z% N
- w2 Q" n% \3 n ~, T) @$ C( G 1.4.1赋值运算
3 p! d6 a" I0 T. s$ F
4 u/ J' e0 t5 k5 i* X) W& Y2 H 指针变量的赋值运算有以下几种形式:
v& b- n6 }3 @
) u2 c* ~! b4 }" {8 F 1.4.1.1指针变量初始化赋值如下:# c# h; I3 E6 O. f% i3 N S
+ ^* B7 [6 [$ Z$ w int a;5 {2 q" r1 \. j7 O, F- Q0 V
; d; Z0 B% z- U1 _1 o
int *ip=&a;" g% \, [# W, L- Z" e
) @. N; \1 i& c% P* N
1.4.1.2 把一个变量的地址赋予指向相同数据类型的指针变量。例如:
8 z2 m; I1 Y# ^5 _
3 u9 B3 s: o* H% S6 [9 I4 ] int a;; s, p |2 x1 @$ Z4 |8 X
/ t; @ Q- \. W" V: G
int *ip;# }* [6 `1 u+ g4 M( i
4 s7 x7 t4 i0 R# w9 H# w ip=&a; //把整型变量a的地址赋予整型指针变量ip
0 a4 L( F2 F% a0 p
9 P. g( x2 Z: @! s8 J 1.4.1.3把一个指针变量的值赋予指向相同类型变量的另一个指针变量。例如:
- p' Q' z) X$ v1 E
! c. W7 W, r) H- Q# E int a;3 Y, C4 ^: O' q' T8 K7 u
8 q% M# o1 [/ ]+ f8 ~; r4 \
int *pa=&a;
) W7 x, ?1 s' [9 t: p
4 e) d- t) W' ^. n8 q$ R+ a E' k1 B& e int *PB;
/ U6 y4 U' e& ^ , F& p0 o$ r' s* ^% L% ^' F
pb=pa; //把a的地址赋予指针变量pb
% [1 q" {9 q) z( x; G8 f. q/ S
^" m- K. i* z0 D7 i* w ]8 { 由于pa,pb均为指向整型变量的指针变量,因此可以相互赋值。
' B+ e% E ^- T- R
% g. L+ @1 L5 ~, M 1.4.1.4把数组的首地址赋予指向数组的指针变量。例如:
8 q% s, i" S9 Y
: o f9 q! x' O: W9 i int a[5],*pa;% ?0 K6 X% J1 d+ w, v4 H
* E0 Y% |8 X. g# I9 y: v$ } pa=a; //数组名表示数组的首地址,故可赋予指向数组的指针变量pa. J+ m( I7 K& F- r, m# A" x2 a
) U0 Z! Z- E* Q4 l( V
也可写为:
# L- q9 X: m) k / n% ^5 A: o3 j- L
pa=&a[0]; //数组第一个元素的地址也是整个数组的首地址也可赋予pa( x7 |% ^* T& N
% l& P4 }# ^& u 当然也可采取初始化赋值的方法:5 \ ^$ o! e( `, z4 d" Q6 z
$ O, w$ K. @* G; D0 T int a[5],*pa=a;2 e8 l* ^- G/ E3 ~
5 Z. t# e3 {/ J7 T 以上是一些基本的数组赋值方法,后面我们会详细讨论指针在数组中的使用。
1 Q9 T$ J- C, `5 ]- K
% K+ r% B9 u; _; N5 ] 1.4.1.5把字符串的首地址赋予指向字符类型的指针变量。例如:
6 T" u" X0 y6 M ; l- Z" L n1 D$ k2 @& i
char *pc;
. ?% N8 e& G( o# ]
* B( @( m+ P y5 x pc="c language";
7 q) Z+ r7 [/ O* Z" c/ L- C $ w3 D2 l$ T- b
或用初始化赋值的方法写为:! a/ @$ b1 `( N/ z
' D. R* s( ?; G7 m/ S% q char *pc=" c language ";' \% x T) T- q M
; z' n& D7 C% ^7 f4 J- o
这里应说明的是并不是把整个字符串装入指针变量, 而是把存放该字符串的字符数组的首地址装入指针变量。
+ J6 k. a- H; h: J& N% C 0 U6 Q; X( ^; [% M6 s
1.4.1.6把函数的入口地址赋予指向函数的指针变量。例如:
- j7 E/ @6 R/ O2 _& t) _( f 3 K) l6 `6 w2 Z2 b7 e. \
int (*pf)();
5 E# q6 l" W6 @+ M1 z% b& ]# R 5 {" s2 @# ^: H8 B9 k
pf=f; //f为函数名
/ }: a0 g5 j' f5 U ; l7 a& Y# n, `* {: J
1.4.2加减运算
h/ y' I2 S1 f" k2 x ) l- i, k+ [' _( X& X" t+ z, @
对于指向数组的指针变量,可以加上或减去一个整数n.设ip是指向数组a的指针变量,则ip+n,ip-n,ip++,++ip,ip——,——ip 运算都是合法的。指针变量加或减一个整数n的意义是把指针指向的当前位置(指向某数组元素)向前或向后移动n个位置。应该注意,数组指针变量向前或向后移动一个位置和地址加1或减1 在概念上是不同的。因为数组可以有不同的类型, 各种类型的数组元素所占的字节长度是不同的。如指针变量加1,即向后移动1 个位置表示指针变量指向下一个数据元素的首地址。而不是在原地址基础上加1.看如下例子:6 q' e/ n3 l7 \+ a) f8 I
- y% w8 h. Y" H- t2 h9 j$ j _ 8 O) ~- B4 l2 p" N
char a[20]; 4 t7 T* x4 X! k4 b( U" t
int*ip=a; , {! n0 g& E! z+ C' j) \) g4 W
... % K9 B* n* ^: _) n6 c' q1 D) f4 K
ip++;5 `( g+ [3 @( j* h" m
# y& h0 _$ ~; F+ s, k! } R
; [% h& ?3 j/ i3 g4 c) W9 S8 N: b 在上例中,指针ip的类型是int*,它指向的类型是int,它被初始化为指向整形变量a.接下来的第3句中,指针ip被加了1,编译器是这样处理的:它把指针ip的值加上了sizeof(int),在32位程序中,是被加上了4.由于地址是用字节做单位的,故ip所指向的地址由原来的变量a的地址向高地址方向增加了4个字节。
9 L8 l+ k1 T0 i' A# d/ I, u ; E( p+ B+ P' m' y1 v& y. y3 W
由于char类型的长度是一个字节,所以,原来ptr是指向数组a的第0号单元开始的四个字节,此时指向了数组a中从第4号单元开始的四个字节。再看如下例子:! R$ O8 s/ x2 a4 L- H l. J
q8 C$ @) i/ M$ ^. X; a1 _
- }- Z- u+ C; N3 |8 }% B
char a[20]; . J4 y* J/ ]! X1 }) w/ z7 n
int*ip=a;
' M# b8 N- i0 E3 Z) d ...
. x5 {8 J4 D6 q# u- \; k# c ip+=5;' I$ Z6 T* j2 E' q% ^- Q O
6 x1 m3 t6 b; X6 ? O
4 B' {- l4 Z+ F1 ~3 p! y) L 在这个例子中,ip被加上了5,编译器是这样处理的:将指针ip的值加上5乘sizeof(int),在32位程序中就是加上了5乘4=20.由于地址的单位是字节,故现在的ip所指向的地址比起加5后的ip所指向的地址来说,向高地址方向移动了20个字节。在这个例子中,没加5前的ip指向数组a的第0号单元开始的四个字节,加5后,ptr已经指向了数组a的合法范围之外了。虽然这种情况在应用上会出问题,但在语法上却是可以的。这也体现出了指针的灵活性。
) e: }6 s& M- E, a- Q2 D 5 }9 @5 D" j4 r
如果上例中,ip是被减去5,那么处理过程大同小异,只不过ip的值是被减去5乘sizeof(int),新的ip指向的地址将比原来的ip所指向的地址向低地址方向移动了20个字节。
# S3 s4 S! N8 E0 A' p ( Z* A" `5 e& a [
总结一下,一个指针ipold加上一个整数n后,结果是一个新的指针ipnew,ipnew的类型和ipold的类型相同,ipnew所指向的类型和ipold所指向的类型也相同。ipnew的值将比ipold的值增加了n乘sizeof(ipold所指向的类型)个字节。就是说,ipnew所指向的内存区将比ipold所指向的内存区向高地址方向移动了n乘sizeof(ipold所指向的类型)个字节。- Q" b8 |! R" `5 o1 g$ f2 Y
0 I( R; B; I/ a 一个指针ipold减去一个整数n后,结果是一个新的指针ipnew,ipnew的类型和ipold的类型相同,ipnew所指向的类型和ipold所指向的类型也相同。ipnew的值将比ipold的值减少了n乘sizeof(ipold所指向的类型)个字节,就是说,ipnew所指向的内存区将比ipold所指向的内存区向低地址方向移动了n乘sizeof(ipold所指向的类型)个字节。
- b1 w/ h+ L8 s4 @$ Z
: M; X* @( W7 W* H, x" f4 L7 `, v* j 1.4.3关系运算
/ j1 h& K5 n" J+ l
; x0 b; g2 o V2 M 指向同一个数组中的不同元素的两个指针可以进行各种关系运算。例如:
. O. A7 P. E6 R; W S9 D 2 R6 X- v: L! F* }# Q
ip1==ip2表示ip1和ip2指向同一数组元素
1 f7 d& ]: n- q 3 T4 q, q+ U& [5 R S: O+ q
ip1>ip2表示ip1处于高地址位置
: P" `+ P2 Z, M: S , N2 z, x6 f1 f9 X5 e& w
ip1<IP2表示IP2处于低地址位置< p>
) Z' A9 M4 ~/ S) u
7 e6 c7 K# m+ g7 x+ X 指针变量还可以与0比较。设ip为指针变量,则ip==0表明ip是空指针,它不指向任何变量;ip!=0表示ip不是空指针。空指针是由对指针变量赋予0值而得到的。例如:" u+ \1 w+ S; n9 f( O4 `
. K( I) Q( c/ g' ]& b) Q3 K9 i #define NULL 0- x* ]$ Q$ K3 }; j! X
( N3 Z) L) c. Z" Q* [/ `5 T int *ip=NULL;
+ a: F6 ` O% ~* B 2 W2 J$ {, ?. q2 B1 s7 i' Z
对指针变量赋0值和不赋值是不同的。指针变量未赋值时,可以是任意值,是不能使用的。否则将造成意外错误。而指针变量赋0值后,则可以使用,只是它不指向具体的变量而已。
- @5 d* J l6 b$ q: h: c g- S& B" {& F' D7 n
1.4.4取地址运算符‘&’和取内容运算符‘*’5 S* X1 a6 j& U N6 ]& T& o
" Q5 s0 F4 N3 i4 Y2 {' F
取地址运算符&是单目运算符,其结合性为自右至左,其功能是取变量的地址。
( q. f" |/ O! Q$ l$ y3 i . G5 |# O6 \. D X% K' L2 ]# \( T& f) b
取内容运算符*是单目运算符,其结合性为自右至左,用来表示指针变量所指的变量。在*运算符之后跟的变量必须是指针变量。需要注意的是指针运算符*和指针变量说明中的指针说明符* 不是一回事。在指针变量说明中,‘*’是类型说明符,表示其后的变量是指针类型。而表达式中出现的‘*’则是一个运算符用以表示指针变量所指的变量。如下例子:5 Z8 t; u H% } C3 v* e e! @" ~
j5 [4 S9 F4 R' ^$ M . Z0 d1 h+ L% F5 f) M
int a=12;
5 S3 A4 w3 S: n2 W' @7 v( N int b; : n3 {# C- ]- C3 ?
int *p;
1 J; }( e' x9 v( V int **ptr;
5 J( d. a; g) d, u p=&a; //&a的结果是一个指针,类型是int*,指向的类型是int,指向的地址是a的 4 W2 x l4 c; H% d" O6 t4 u
//地址。
( l. `% e0 [& z7 w' d *p=24; //*p的结果,在这里它的类型是int,它所占用的地址是p所指向的地址。 X+ G7 ]% \7 h1 t3 C! G: ]( W
ptr=&p; //&p的结果是个指针,该指针的类型是p的类型加个*,在这里是int **。该 ; r! g( O4 m8 a+ ^( P
//指针所指向的类型是p的类型,这里是int*。该指针所指向的地址就是指针
* Y& B7 Q b6 R1 s. b, e- v8 f) E //p自己的地址。 4 V6 ?) {& ^+ B+ D3 a
*ptr=&b;//*ptr是个指针,&b的结果也是个指针,且这两个指针的类型和所指向的类型//是一样的,所以用&b来给*ptr赋值就是毫无问题的了。 \! l+ x3 E6 X! u5 _( H6 N! `# z
**ptr=34;//*ptr的结果是ptr所指向的东西,在这里是一个指针,对这个指针再做一次*
. }" P; V9 M$ q. t8 E( o9 O0 ^ //运算,结果就是一个int类型的变量。( d" ?" t- q( e* T4 O: Z; f
9 L3 T! [" ~) F: j) J
- q K3 y# Z% l# m
1.4.5关于括号组合 H+ y2 g# U! u% C
/ N% G `* W$ ]1 n8 X
在解释组合说明符时, 标识符右边的方括号和圆括号优先于标识符左边的“*”号,而方括号和圆括号以相同的优先级从左到右结合。但可以用圆括号改变约定的结合顺序。0 E- I. c3 d! F1 ^2 \+ r
# a% q. ^" R( N( ?6 X5 i6 Z' |
阅读组合说明符的规则是“从里向外”。从标识符开始,先看它右边有无方括号或园括号,如有则先作出解释,再看左边有无*号。如果在任何时候遇到了闭括号,则在继续之前必须用相同的规则处理括号内的内容。. ?" g1 p! M8 y* N" E
- F- U+ [1 A( P: L; N( F% H- w 1.5指针表达式
% ~) I& U) U/ n
" w% c+ N5 o( L' L" X 一个表达式的最后结果如果是一个指针,那么这个表达式就叫指针表式。所以指针表达式也具有指针所具有的四个要素:指针的类型,指针所指向的类型,指针指向的内存区,指针自身占据的内存。
& `, u. z$ H* Y& m1 ^* Q
3 `5 r; J9 E4 h9 t- X$ f3 u, c3 t. e( S# L
# H. `: l1 P5 S! I7 a
$ f' R& F) d- L3 f8 e' ]5 F4 ~" w
2 y4 K5 w1 M: Z+ z/ V0 R& N
0 ^* n+ ?1 {/ H C/C++指针精髓(四)
K* X4 h5 s2 b1 u$ D 需要首先明确的是C语言中的指针是一种数据类型,单从这点上来看,指针和int,float什么的没什么大区别,但是指针这种数据类型所存储的东西可就大有讲究了。. E6 e; e1 w4 ?% \$ i
6 x3 A) ] C* A
我们都清楚,程序是要在内存中执行的,在内存中执行的话就必须得有个确认位置的方法,这个方法就是内存的地址。也就是说,一个运行中的程序中的所有的“部件”(指令,数据什么的),都在内存中放着呢,也就是他们都有地址。那么指针呢,就是专门用来存放这些内存地址的一种变量。因为它存放的值是地址,这就导致了指针变量和其他类型变量有很大的不同。3 _4 J `8 n* k2 f, Z' z, ?! o6 g+ G
4 @ T# d0 F, j; D
指针具有两大特点,一是指针变量本身的值。这个值刚才说了,就是别的数据的地址(变量)或者指令的地址(函数),这个地址可以理解为一种间接访问他人的“线索”,也就是说,通过指针变量中存放的地址,可以访问某些数据或者实现指令的跳转。既然是变量,那肯定有自己存储空间的大小了。那么指针变量的大小是多少呢?这个非常简单:指针是用来存放地址的,那么指针变量的长度当然就是其所在机器地址总线的长度了!比如在32位的x86上,指针一般来说就是32位的,也就是4个字节大小。二就是指针变量的类型。我们都知道再声明指针变量的时候都得指名类型,比如char */int *等,那么这里的char/int之类的又有什么含义呢?我认为可以把这些类型理解成一种“尺度”,或者说是一种“权限”。如刚才所说,指针的值指明了可以访问的位置,那么指针的类型则限制了指针从该位置所能访问的长度。比如,
! E- B/ K* Q) s$ N' j( {5 y+ j. C int *p 说明了p这个指针变量在使用诸如*p等方式访问p中存放的地址中的数据的时候,系统会提取sizeof(int)长度的数据出来,这个数据当然就是一个int型的值了,或者在进行诸如p++这样的操作时,系统会加上sizeof(int)的长度。总而言之,指针其实就是一个地址加一个长度,地址限定了指针起始的位置,而长度则规定了系统按什么方式来解析内存的数据。5 |" Y' [2 |$ _% j2 Y
5 j$ {4 ]! u$ g* {# d9 B% y
有了以上的说明,下面将要唠叨的有关于指针强制类型转换的概念就很好理解了% U( D- M# e$ J& L8 O* o0 M0 U0 T7 i
* K- u! G3 x1 W8 W4 X. I' f- ^; Q 指针的强制类型转换很好理解,转换的就是指针的类型,也就是系统使用指针的方式。比如从int*转换到char*,那么指针中的地址并没有变化,只是类型变了,比如在执行p++的时候,原来是增加4个字节(32位int),而转换之后便成了增加1个字节(char的长度)。再复杂一点,常规类型向结构体的强制类型转换也是这样的道理。在Linux的网络编程中常常用到将某种指针强制转换成某种协议包头的struct,然后提取该包头的数据(由于最近小研究了一下pcap,对这个比较熟悉^_^)或者各种结构体的指针之间进行类型转换。这些转换其实都是在改变系统对从某一地址开始的一堆数据的不同的解释方法。比如在pcap中,抓取的以太网数据包(当然在内存中存在)的地址被存放到了一个u_char类型的指针中,这个指针其实就是一个存有整个数据包所有信息的一块内存空间的开始地址!但是如果使用char类型的指针来一个字节一个字节的访问该内存段当然无法取得正确的数据,所以要把u_char转换成相应的网络协议的struct,然后按顺序访问,具体就不赘述了。类似的例子还有很多,但我认为如果仔细研究一下pcap库提取数据的方式,会对指针强制类型转换的理解有很大的帮助。. a0 N2 y# |- P2 T$ b% @* a
* T% a$ \" b' G
总之呢,指针也并非什么神秘之物,也没有人们说的那么难懂,关键就是一个地址的问题。我倒是认为C语言最闪光,最强大,最灵活的特性就是指针了。指针,C之魂也~!
楼主热帖