|
|
EDA365欢迎您登录!
您需要 登录 才可以下载或查看,没有帐号?注册
x
1.static关键字8 k! \4 C* |- s" N
这个关键字前面也有提到,它的作用是强大的。: y) F% |' ?* {6 E% r2 m
要对static关键字深入了解,首先需要掌握标准C程序的组成。
, m. G, `- s/ N2 `/ g, I- b标准C程序一直由下列部分组成:
6 j5 R# J. _8 s7 Y) b 1)正文段——CPU执行的机器指令部分,也就是你的程序。一个程序只有一个副本;只读,这是为了防止程序由于意外事故而修改自身指令;
' u1 m: `0 {5 s# c+ B; v 2)初始化数据段(数据段)——在程序中所有赋了初值的全局变量,存放在这里。
?1 Q0 n# @/ L" u: a! K 3)非初始化数据段(bss段)——在程序中没有初始化的全局变量;内核将此段初始化为0。3 G& Z+ o( e! a+ w! q4 L
注意:只有全局变量被分配到数据段中。7 w$ g: @) X7 Y T( z, x" ~
4)栈——增长方向:自顶向下增长;自动变量以及每次函数调用时所需要保存的信息(返回地址;环境信息)。这句很关键,常常有笔试题会问到什么东西放到栈里面就足以说明。- Q" ]1 ~% J0 B+ }
5)堆——动态存储分配。* ~$ S O" C3 F2 w
" S# v6 o1 ~/ T/ F8 X在嵌入式C语言当中,它有三个作用:1 n$ Q. P2 c- L; I7 y
作用一:在函数体,一个被声明为静态的变量在这一函数被调用过程中维持其值不变。
- D) A( T2 t* e, _这样定义的变量称为局部静态变量:在局部变量之前加上关键字static,局部变量就被定义成为一个局部静态变量。也就是上面的作用一中提到的在函数体内定义的变量。除了类型符外,若不加其它关键字修饰,默认都是局部变量。比如以下代码:1 `8 E/ H u* x3 _+ p& ?6 z
void test1(void)* ~; t' C7 B9 s$ }
{
, ?+ m1 [9 Y" V# Z5 \ unsigned char a;# D3 I' `7 i/ g. P F
static unsigned char b;* ~* Q7 Y2 B( P; S
…
! {! ]- |% i, Q a++;
# Z5 x/ A- V9 T# l! L2 G) o b++;; N/ Z: T" ?" G1 k7 m, d k! c
}2 @4 ]. D+ D! r% F
在这个例子中,变量a是局部变量,变量b为局部静态变量。作用一说明了局部静态变量b的特性:在函数体,一个被声明为静态的变量(也就是局部静态变量)在这一函数被调用过程中维持其值不变。这句话什么意思呢?若是连续两次调用上面的函数test1:
+ |) a% L0 }8 U$ w. T) [* P/ g void main(void)) A6 f( T$ b( N" H
{% Z& u5 s' ~+ O5 x
…! |' x9 |! O2 m( H# H
test1();; W; u: n+ t% z9 M- n5 C% `
test1();) V* X+ _* m' M6 [: C. W
…7 x6 o0 _$ r/ d
}
j; a4 c5 I& @ a然后使程序暂停下来,读取a和b的值,你会发现,a=1,b=2。怎么回事呢,每次调用test1函数,局部变量a都会重新初始化为0x00;然后执行a++;而局部静态变量在调用过程中却能维持其值不变。5 s4 `1 @; i) L! @. W, @- J* Y
通常利用这个特性可以统计一个函数被调用的次数。
: C3 p1 l' B8 o V. O声明函数的一个局部变量,并设为static类型,作为一个计数器,这样函数每次被调用的时候就可以进行计数。这是统计函数被调用次数的最好的办法,因为这个变量是和函数息息相关的,而函数可能在多个不同的地方被调用,所以从调用者的角度来统计比较困难。代码如下:9 H, g4 G5 [/ c2 r) ^8 k
* B" B/ C8 s* `8 G& b" `) E( c; T2 C
" W& [2 I. v* d) x- Yvoid count();* W8 o- p, d0 S- {7 ?1 ^
int main()
5 T) D) \% E. s M/ t* U5 C{: q2 g3 ?7 N$ |$ s; {
int i;. d3 b9 ]! I6 M' X
for (i = 1; i <= 3; i++)
1 v: k- F) }: ?; } {
$ P' W6 C+ s4 s/ W; ~* o- q count();2 y3 S5 [/ b6 W1 T9 @; ?8 O
{3 }! I2 P9 }: z3 T
return 0;) v/ S z. @: ?' I
}
' x- \1 |$ B! Q# v# t, ivoid count()
9 G* X- s5 h9 `$ I! D( R{
. L% P) x$ g" C/ y static num = 0;
# q+ Q2 e, Y& p$ K5 g& | num++;
& B& L& ~* n0 r1 P) k% d printf(" I have been called %d",num,"times/n");+ X/ ~0 ~& K- c# X
}
( {' H, [3 d9 p N4 S; a输出结果为:
: D0 B" t* e* P! q/ dI have been called 1 times.
! e; L' w8 s$ g# V' R' N; ^% d; v+ HI have been called 2 times., K4 P- E( l% e/ A# O
I have been called 3 times.
7 T+ Y' B7 {, J. ^9 q + ] z6 j8 n$ C% d0 f
看一下局部静态变量的详细特性,注意它的作用域。
5 \8 Q7 I C, r, Y/ _/ n 1)内存中的位置:静态存储区. R. Z7 A, |5 p2 S5 Y [! `5 O. [
2)初始化:未经初始化的全局静态变量会被程序自动初始化为0(自动对象的值是任意的,除非他被显示初始化)
. L8 [: R4 ]5 O3 q' F% Y9 b 3)作用域:作用域仍为局部作用域,当定义它的函数或者语句块结束的时候,作用域随之结束。% {3 a5 x3 Y+ R9 H% ?2 F$ V" D3 k) {
注:当static用来修饰局部变量的时候,它就改变了局部变量的存储位置,从原来的栈中存放改为静态存储区。但是局部静态变量在离开作用域之后,并没有被销毁,而是仍然驻留在内存当中,直到程序结束,只不过我们不能再对他进行访问。
% u6 m Q$ {7 Z" R4 @ ( k& w5 x% u$ K' u
作用二:在模块内(但在函数体外),一个被声明为静态的变量可以被模块内所用函数访问,但不能被模块外其它函数访问。它是一个本地的全局变量。
* N: i4 R# Q7 s+ K5 n, o这样定义的变量也称为全局静态变量:在全局变量之前加上关键字static,全局变量就被定义成为一个全局静态变量。也就是上述作用二中提到的在模块内(但在函数体外)声明的静态变量。
- |& n5 `( y+ |0 i! _2 {; J定义全局静态变量的好处:- H( l$ V& g4 K/ B
<1>不会被其他文件所访问,修改,是一个本地的局部变量。; v9 @5 `- ?: e2 s/ k
<2>其他文件中可以使用相同名字的变量,不会发生冲突。
* ^; h! V+ C2 J( P全局变量的详细特性,注意作用域,可以和局部静态变量相比较:
4 q3 k3 m: y5 Z. X5 V& B$ v1)内存中的位置:静态存储区(静态存储区在整个程序运行期间都存在)
; _ Q0 S \9 Q; j) ]3 ] 2)初始化:未经初始化的全局静态变量会被程序自动初始化为0(自动对象的值是任意的,除非他被显示初始化), Q$ [8 f: a7 O
3)作用域:全局静态变量在声明他的文件之外是不可见的。准确地讲从定义之处开始到文件结尾。
/ ^$ f* u$ F* s- a当static用来修饰全局变量的时候,它就改变了全局变量的作用域(在声明他的文件之外是不可见的),但是没有改变它的存放位置,还是在静态存储区中。0 }$ B9 w: w9 \
) @2 q. X8 @3 |8 G* {& h1 |& x, ^
作用三:在模块内,一个被声明为静态的函数只可被这一模块内的其它函数调用。那就是,这个函数被限制在声明它的模块的本地范围内使用。% y h. p( @ w5 _5 h" y2 |- S
1 T, ?& v2 f- f2 ?; ?+ Z: s) M
这样定义的函数也成为静态函数:在函数的返回类型前加上关键字static,函数就被定义成为静态函数。函数的定义和声明默认情况下是extern的,但静态函数只是在声明他的文件当中可见,不能被其他文件所用。6 d0 v* S- B: H9 P
定义静态函数的好处:
6 y. M* q- L" p Y, _<1> 其他文件中可以定义相同名字的函数,不会发生冲突; r! C5 V8 n: a
<2> 静态函数不能被其他文件所用。它定义一个本地的函数。
" ^$ n4 z0 U \* R9 j/ I* S这里我一直强调数据和函数的本地化,这对于程序的结构甚至优化都有巨大的好处,更大的作用是,本地化的数据和函数能给人传递很多有用的信息,能约束数据和函数的作用范围。在C++的对象和类中非常注重的私有和公共数据/函数其实就是本地和全局数据/函数的扩展,这也从侧面反应了本地化数据/函数的优势。6 E2 w( h4 o2 N; e ~5 z( k- S1 E
5 D+ F6 z) f ?; C, ] V. l最后说一下存储说明符,在标准C语言中,存储说明符有以下几类:4 e" C1 s1 F, K
auto、register、extern和static6 X4 y, S& h* ~; a' i
对应两种存储期:自动存储期和静态存储期。
* I7 ~$ [! X) ]& |" F# Z, ~auto和register对应自动存储期。具有自动存储期的变量在进入声明该变量的程序块时被建立,它在该程序块活动时存在,退出该程序块时撤销。
; J( o4 b: l6 _' M关键字extern和static用来说明具有静态存储期的变量和函数。用static声明的局部变量具有静态存储持续期(static storage duration),或静态范围(static extent)。虽然他的值在函数调用之间保持有效,但是其名字的可视性仍限制在其局部域内。静态局部对象在程序执行到该对象的声明处时被首次初始化。& Z/ X# J, R6 s& u& L
2. const 关键字3 k8 ?. i) M A0 |6 b
const关键字也是一个优秀程序中经常用到的关键字。关键字const 的作用是为给读你代码的人传达非常有用的信息,实际上,声明一个参数为常量是为了告诉了用户这个参数的应用目的。通过给优化器一些附加的信息,使用关键字const也许能产生更紧凑的代码。合理地使用关键字const 可以使编译器很自然地保护那些不希望被改变的参数,防止其被无意的代码修改。简而言之,这样可以减少bug的出现。7 j$ l% S1 [* O; E) M
深入理解const关键字,你必须知道:
! {2 I |' \: r: da. const关键字修饰的变量可以认为有只读属性,但它绝不与常量划等号。如下代码:$ j9 k$ O8 ~+ B( t7 k8 H
const int i=5;, q# F! O" h- i7 h
int j=0;
* b9 O, R; C1 \ ...
. o% C/ }9 W! p2 p t+ Q' e+ |- ~ i=j; //非法,导致编译错误,因为只能被读
1 A- D# x* m0 b5 `% T5 G+ ^6 D j=i; //合法' b# k$ m2 s9 _. ?
b. const关键字修饰的变量在声明时必须进行初始化。如下代码:( j K" S5 C3 ~2 i4 Q
const int i=5; //合法5 w2 K0 |8 V! q1 T
const int j; //非法,导致编译错误
' A* j9 k6 x7 V5 Y9 M; _c. 用const声明的变量虽然增加了分配空间,但是可以保证类型安全。const最初是从C++变化得来的,它可以替代define来定义常量。在旧版本(标准前)的c中,如果想建立一个常量,必须使用预处理器:- Z8 h3 a$ M; @, X# k/ d
#define PI 3.14159
u7 ~: @. _# q5 b此后无论在何处使用PI,都会被预处理器以3.14159替代。编译器不对PI进行类型检查,也就是说可以不受限制的建立宏并用它来替代值,如果使用不慎,很可能由预处理引入错误,这些错误往往很难发现。而且,我们也不能得到PI的地址(即不能向PI传递指针和引用)。const的出现,比较好的解决了上述问题。& C: X0 r0 f- b8 H7 P/ J `
d. C标准中,const定义的常量是全局的。
7 n" _$ p" u Ve. 必须明白下面语句的含义,我自己是反复记忆了许久才记住,方法是:若是想定义一个只读属性的指针,那么关键字const要放到‘* ’后面。8 [+ c' M; t7 }2 q6 F
char *const cp; //指针不可改变,但指向的内容可以改变% W! I, a, z7 a% N
char const *pc1; //指针可以改变,但指向的内容不能改变
# [8 j% s, n: S1 n) l5 S5 B/ rconst char *pc2; //同上(后两个声明是等同的)
( x3 Z* {9 \ G( h f. 将函数传入参数声明为const,以指明使用这种参数仅仅是为了效率的原因,而不是想让调用函数能够修改对象的值。
- o5 y& m+ X1 e5 K. ^2 N 参数const通常用于参数为指针或引用的情况,且只能修饰输入参数;若输入参数采用“值传递”方式,由于函数将自动产生临时变量用于复制该参数,该参数本就不需要保护,所以不用const修饰。例子:6 n- _, R7 W; g! i, J+ w6 {
void fun0(const int * a );
- a+ a0 l- K( ^2 ] _void fun1(const int & a);8 K; Z7 |' P/ b( c4 Q0 d
调用函数的时候,用相应的变量初始化const常量,则在函数体中,按照const所修饰的部分进行常量化,如形参为const int * a,则不能对传递进来的指针所指向的内容进行改变,保护了原指针所指向的内容;如形参为const int & a,则不能对传递进来的引用对象进行改变,保护了原对象的属性。' m) P8 T% w) \+ X2 L3 V' O5 Q5 G( Z
g. 修饰函数返回值,可以阻止用户修改返回值。(在嵌入式C中一般不用,主要用于C++)
1 q$ i& ]" r1 l* v* M7 D6 z0 b h. const消除了预处理器的值替代的不良影响,并且提供了良好的类型检查形式和安全性,在可能的地方尽可能的使用const对我们的编程有很大的帮助,前提是:你对const有了足够的理解。
8 t8 f$ c d6 W 最后,举两个常用的标准C库函数声明,它们都是使用const的典范。2 L8 o. Z# S+ e W* E
1.字符串拷贝函数:char *strcpy(char *strDest,const char *strSrc);
8 m, G( S2 H1 [, v 2.返回字符串长度函数:int strlen(const char *str);% v' V$ s* b) ]
! X/ s' Q# [/ W% h
3. volatile关键字% ^7 A! ~# B$ b v" t" [$ ^
一个定义为volatile 的变量是说这变量可能会被意想不到地改变,这样,编译器就不会去假设这个变量的值了。精确地说就是,优化器在用到这个变量时必须每次都小心地重新读取这个变量的值,而不是使用保存在寄存器里的备份。, G' Y& b* s# F2 j9 l& |: A8 j
由于访问寄存器的速度要快过RAM,所以编译器一般都会作减少存取外部RAM的优化。比如:
: u7 m. E1 s1 V) U+ n3 ostatic int i=0;
; D& H y6 J3 ?# p: s7 G0 s% @
4 ^) |0 T/ [) C
' [3 u+ c+ ]$ ^* }' O1 m0 Tint main(void)
& a/ R' N/ M% [{
) q4 v1 k! D9 u* j3 P' d+ q ... 8 L% y. D2 _& q, Q }- D% ^
while (1) + p+ J) [: y, ?4 n2 ?% k
{
3 E$ {1 {* L9 b if (i) $ Y9 F7 q9 d+ X6 P# l M
dosomething(); * L0 K; [5 u& G7 s; b
} . b4 [" X# m, B) a5 H! ]( Q
}
, w. B- A; \' E( S3 m" }( Y$ [
" t1 Z5 M3 E$ O" S
6 A3 P- S2 Z, r! f2 B% [8 ?/* Interrupt service routine. */ , ~5 d5 E( q2 m' ]
void ISR_2(void)
3 l$ _2 u# ?9 h Q{ / V- W7 j) A/ P
i=1; + U5 c/ j1 q5 s( s, l( s
}
( J) Y2 s/ }7 j$ p! E
+ A9 \, D- T3 c) e
2 z0 w0 `' S/ C) d 程序的本意是希望ISR_2中断产生时,在main当中调用dosomething函数,但是,由于编译器判断在main函数里面没有修改过i,因此可能只执行一次对从i到某寄存器的读操作,然后每次if判断都只使用这个寄存器里面的“i副本”,导致dosomething永远也不会被调用。
$ V, S2 [' U5 U) A
2 A1 N- W$ y; b" R$ h7 v: d
3 S0 P/ A/ h7 f; |如果将将变量加上volatile修饰,则编译器保证对此变量的读写操作都不会被优化(肯定执行)。此例中i也应该如此说明。 9 f$ }0 ~" Z( B+ {$ E
1 m. d5 w+ b( s1 `) }
7 R: e5 p# d2 L一般说来,volatile用在如下的几个地方:
8 @/ [# r* k- t$ V$ z4 x9 v& J: U J+ j
$ C) |: O0 e( G. @, w" F4 L
1、中断服务程序中修改的供其它程序检测的变量需要加volatile; / T7 F0 r& ~4 ~# ~ A" K
' k9 \0 {: z$ u0 S
9 d+ V- u; X9 u( i2、多任务环境下各任务间共享的标志应该加volatile; 5 m g$ _. j6 L; Y% {
4 C5 x% P4 M3 H v6 V$ a u$ Y" U6 A g& k$ s, F- a
3、存储器映射的硬件寄存器通常也要加volatile说明,因为每次对它的读写都可能有不同意义;
A/ R5 H! @( k& P) n不懂得volatile 的内容将会带来灾难,这也是区分C语言和嵌入式C语言程序员的一个关键因素。为强调volatile的重要性,再次举例分析:8 }/ \- v' W. h( P+ D
代码一:
. M0 r: ~+ A8 ^ o9 X9 q0 p: Gint a,b,c;
) n4 z; W7 j$ A2 v5 T5 U) s% C& e//读取I/O空间0x100端口的内容 3 Y! w A3 v8 I: z) f( _; c& }# |
a= inword(0x100); 1 F5 Y0 g9 F! _2 ~
b=a;
8 y4 T8 {# O8 @7 B* Y" Pa=inword(0x100) ) O# d3 B$ [: `) h1 B
c=a;
# b9 [$ ^6 S& R, l; [; c7 C% P. y代码二:
5 O% O/ N" S, ]$ U volatile int a;
* H7 t z! l% x: G3 r) E int a,b,c;
3 M& f# ]6 r" \$ {% f//读取I/O空间0x100端口的内容
, L0 u. R/ A! W) K# Sa= inword(0x100); + ?6 ~/ t0 i- ^, J- h+ s
b=a;
6 D2 Z# A$ r7 Z- ~3 R- Qa=inword(0x100) & @% v3 u0 | }
c=a; - m$ g- a' G. t6 n
在上述例子中,代码一会被绝大多数编译器优化为如下代码:2 A$ U1 U1 T! @: T
a=inword(0x100)' N$ K) R% Y. X. a! M
b=a;
g0 f3 m8 z+ U3 B, ]" i& o c=a;
1 J" k# F) S; h6 a这显然与编写者的目的不相符,会出现I/O空间0x100端口漏读现象,若是增加volatile,像代码二所示的那样,优化器将不会优化掉任何代码.# X% l; h4 w$ A! o4 l
从上面来看,volatile关键字是会降低编译器优化力度的,但它保证了程序的正确性,所以在适合的地方使用关键字volatile是件考验编程功底的事情.
$ q; H" m& b" O5 `( m9 w
3 L$ p( \7 P R' D3 f/ Y4.struct与typedef关键字
4 A+ t$ ^% e* i. Z- Y3 u面对一个人的大型C/C++程序时,只看其对struct的使用情况我们就可以对其编写者的编程经验进行评估。因为一个大型的C/C++程序,势必要涉及一些(甚至大量)进行数据组合的结构体,这些结构体可以将原本意义属于一个整体的数据组合在一起。从某种程度上来说,会不会用struct,怎样用struct是区别一个开发人员是否具备丰富开发经历的标志。
& v- ^- Z1 M" J q2 |/ _0 e K 在网络协议、通信控制、嵌入式系统的C/C++编程中,我们经常要传送的不是简单的字节流(char型数组),而是多种数据组合起来的一个整体,其表现形式是一个结构体。
4 [. u/ r6 T; w8 Q- V3 m# [$ ]经验不足的开发人员往往将所有需要传送的内容依顺序保存在char型数组中,通过指针偏移的方法传送网络报文等信息。这样做编程复杂,易出错,而且一旦控制方式及通信协议有所变化,程序就要进行非常细致的修改。
; c% q& g1 a4 I8 w$ \( V$ a用法:( w* O7 V( o7 N1 J; ~
在C中定义一个结构体类型要用typedef:
9 B. A6 J4 q& ~7 K5 G! B" Mtypedef struct Student! K! x4 M8 W0 G6 M6 }; o2 _
{* a4 v1 B- L( j d' [' P9 G5 [4 T. Q# l
int a;
6 Z. Y6 B# p" Q+ N; L}Stu;
9 v% N8 ?% i+ A& m于是在声明变量的时候就可:Stu stu1;
2 G2 d( D' Y9 `如果没有typedef就必须用struct Student stu1;来声明
( m, T K9 M5 z这里的Stu实际上就是struct Student的别名。
) Z0 v2 @' x3 m6 d另外这里也可以不写Student(于是也不能struct Student stu1;了)# ~/ d0 \& b+ ?7 \ o9 q6 e' N% R1 Q
typedef struct3 ]( E. O4 K8 V$ C
{
$ s* F! y0 q {% I8 z int a;
* g2 _" l' u$ ^! T' x}Stu; S, N3 M! |$ |
struct关键字的一个总要作用是它可以实现对数据的封装,有一点点类似与C++的对象,可以将一些分散的特性对象化,这在编写某些复杂程序时提供很大的方便性., |9 x, y& W) m+ v9 E8 B& ?
比如编写一个菜单程序,你要知道本级菜单的菜单索引号、焦点在屏上是第几项、显示第一项对应的菜单条目索引、菜单文本内容、子菜单索引、当前菜单执行的功能操作。若是对上述条目单独操作,那么程序的复杂程度将会大到不可想象,若是菜单层数少些还容易实现,一旦菜单层数超出四层,呃~我就没法形容了。若是有编写过菜单程序的朋友或许理解很深。这时候结构体struct就开始显现它的威力了:
1 w# z( x1 n$ i7 a8 C4 D//结构体定义, K" L. Z! f8 q/ z- Y* p
typedef struct
! ]7 V# w) y- f2 T4 ?: w4 C{" r" x0 g( y- R( |* m( o- ?+ a9 f" O
unsigned char CurrentPanel;//本级菜单的菜单索引号1 r. P/ P; q7 I5 }* P' n! n+ m
unsigned char ItemStartDisplay; //显示第一项对应的菜单条目索引
, b! O2 [+ m+ ? y$ y2 Punsigned char FocusLine; //焦点在屏上是第几项
: s9 x% c1 w7 K, B" S+ B+ g+ h}Menu_Statestruct;
?4 ~. s* \6 V
3 T9 a8 b4 i0 h+ t) ktypedef struct
7 f. A$ a |# ]! q$ ?: \{
) u d: I% b( h6 Y% ~; Eunsigned char *MenuTxt; //菜单文本内容& M! J g8 H7 C. \
unsigned char MenuChildID;//子菜单索引1 T' C3 w9 i/ e' }4 i
void (*CurrentOperate)();//当前菜单执行的功能操作
% B' M0 {, L& D5 @4 U}MenuItemStruct;
0 V1 R9 u8 t9 ]# h7 \2 v- X
; t- s$ ^; T$ g6 K% ^6 ztypedef struct5 [4 Q8 J1 a' x$ C8 O: _+ L
{
2 l3 F9 ]# l6 R- d1 g/ G3 NMenuItemStruct *MenuPanelItem;. U- O% T' `# c
unsigned char MenuItEMCount;
9 o2 s5 |7 z% f}MenuPanelStruct;
6 R5 s3 q- g' u : W. }6 [ T6 r) ?# B9 c; q$ X
|
|