9.1 初学者重要提示0 q2 z0 t) ]4 e
1、 如果对C语言不熟练的话,可以阅读C语言书:C Primer Plus(第五版)中文版.pdf
% W( z T+ O) |# l; G S% c2、 为了更好的学习本章知识点,可以看之前做的视频教程第10章
/ H. R( e7 F6 q* V$ r, Q: h7 Z2 R; }$ Q: J* Z/ z* ^1 q' y
9.2 数据类型
; l, {) l* W) j% _' q了解数据类型之前要对ANSI C和ISO C的发展史有个了解,特别是C89,C99和C11的由来。7 W* y# T0 N/ y% v6 Z2 O
6 p1 x6 V6 U* h* Z |4 s
9.2.1 ANSI C和ISO C历史2 g+ l r5 d3 D
1983年,美国国家标准协会(ANSI)组成了一个委员会来创立C语言的标准。因为这个标准是1989年发布的,所以一般简称C89标准。有些人也把C89标准叫做ANSI C。( b& Q3 ~4 P: V. ]
在1990年,ANSI C89标准被国际标准化组织(ISO)和国际电工委员会(IEC)采纳为国际标准,名叫ISO/IEC 9899:1990 - Programming languages C,有些人简称C90标准。因此,C89和C90通常指同一个标准,一般更常用C89这种说法。' A, s G3 i/ {0 k' N8 d3 d
在2000年3月,国际标准化组织(ISO)和国际电工委员会(IEC)采纳了第二个C语言标准,名叫ISO/IEC 9899:1999 - Programming languages -- C,简称C99标准。 b( Q9 g9 ?. [6 I% `: e
在2011年12月,国际标准化组织(ISO)和国际电工委员会(IEC)采纳了第三个C语言标准,名叫ISO/IEC 9899:2011 - Information technology -- Programming languages -- C,简称C11标准。它是C程序语言的最新标准。
" k, i8 L# @/ P; z& g) F; T# B对于我们常用的编译器MDK和IAR而已,C89,C99和C11均支持。- g' }: q+ ^$ T6 _* b2 J: \
$ m. l( ^1 H- D9 _7 q" x7 g( y9.2.2 ARM架构(含Cortex-M系列)数据类型 , B, s B5 i! \% S2 c
ARM架构(含Cortex-M系列)的数据类型定义如下:, ~( n9 L0 z; h+ s( v4 R& k7 V0 e
# _6 S) w+ E' [/ X' A" v$ p" ?- A% L |
; u1 s9 A% Z7 G% ^* U: Y4 G. Y# [9.2.3 头文件stdint.h对数据类型的定义
' S% D! n( o9 a7 l% `1 h. Wstdint.h是C99中引进的一个标准C库的头文件。目前大部分单片机C编译器均支持,IAR和MDK都支持。下面是部分内容(来自MDK)。7 Z# B) f0 k) _+ e7 f
4 q4 D! l9 x3 Z1 n/ n$ V$ r
- /* exact-width signed integer types */
$ j; G8 r- @, X- g8 i+ q3 d - typedef signed char int8_t;3 I1 X, j% j5 @: I
- typedef signed short int int16_t;& f) ]! u. m3 ]
- typedef signed int int32_t;
( u) |- D- X- h+ s- V; {% k" f - typedef signed __INT64 int64_t;3 ?! o! x' V) `4 n- O) K
* [" C& C( g q* @6 k- /* exact-width unsigned integer types */
4 d/ @/ a- _; s1 P V& k - typedef unsigned char uint8_t;
% U, E! R8 s. ~. n- ^ - typedef unsigned short int uint16_t;
* r' }5 q% H# D, h$ Q* p - typedef unsigned int uint32_t;
7 V( I" Y( s$ ?9 H9 t - typedef unsigned __INT64 uint64_t;) n9 I! N( J5 q B, t! E8 L
- * J- z: @2 C, r3 F+ T
- /* 7.18.1.2 */
; w, f! }- [5 c0 ?4 R - + x, i# V; {5 r/ R
- /* smallest type of at least n bits */
+ U: w' d, W! ]$ N - /* minimum-width signed integer types */
( ^. F* S5 g" x8 l - typedef signed char int_least8_t;
5 `* ]) L+ g1 Y# U - typedef signed short int int_least16_t;
. x: K/ \$ K6 \, O - typedef signed int int_least32_t;
" h: b8 `. x0 n( J: s. A - typedef signed __INT64 int_least64_t;
r3 c$ j4 U6 z8 l, d
" N1 M- ?0 o; B8 N6 e9 y* ?- /* minimum-width unsigned integer types */
2 {/ u) L) i9 ~$ z$ E - typedef unsigned char uint_least8_t;4 b' }2 t/ M0 p# u' q
- typedef unsigned short int uint_least16_t;/ V, E% {# X4 ], B/ E0 s: ~, D8 \
- typedef unsigned int uint_least32_t;
5 V) D: P, P- w - typedef unsigned __INT64 uint_least64_t;' k* \8 N* @0 y( C( b3 a
- 7 s! I+ J6 @' B6 K
- /* 7.18.1.3 */+ [- h) y% b3 ?* I
; w( u2 h$ E" t+ }- /* fastest minimum-width signed integer types */# h* \' T g/ e; R
- typedef signed int int_fast8_t;4 u6 u2 g( f/ ?; R: _
- typedef signed int int_fast16_t;4 S s3 |& }6 m2 n" z) x* n
- typedef signed int int_fast32_t;! I' r% t: p2 k
- typedef signed __INT64 int_fast64_t;
) @% z: _% R5 n2 |
' @; G3 x( A& x. k9 t* N1 J& e% m- /* fastest minimum-width unsigned integer types */4 C1 N" _: y3 @" n$ Y
- typedef unsigned int uint_fast8_t;9 D0 a K7 v# f) p" F) ]
- typedef unsigned int uint_fast16_t;5 k, d6 g6 Q3 X- S1 A
- typedef unsigned int uint_fast32_t;/ P9 P" y$ `5 r' s3 R) Q
- typedef unsigned __INT64 uint_fast64_t;
复制代码
3 R( [( c; Y0 m J8 _% h) p以MDK5.26为例,stdint.h位于如下路径:+ D: S- @: Q* n7 o, M+ \
@* h: a, C; J" n5 k" K
\Keil_v526\ARM\ARMCC\include+ Y3 N/ y# k1 V. R- Y( ^
; Q5 C- c4 s5 g+ `! }. ?% w# L以IAR8.X为,stdint.h位于如下路径:" a M+ E! X3 S. x- H+ c6 \* o
6 D; V9 d. q( \& u
\IAR Systems\Embedded Workbench 8.1\arm\inc\c- \2 J. _0 {+ {+ j$ M. _2 X
. K% s8 R# V' {) p/ ^/ u" w
9.2.4 程序中推荐的变量命名方式0 @$ a$ Y( n" S' r( l7 n Y2 O
看程序的时候,经常会看到各种各样的变量命名方式,例如声明一个8位无符号整数,常见的有如下几种写法:, i8 s$ w+ H( c4 _, i9 z: f8 x- |8 m# w
2 y* |" S& h6 z3 \% e4 Cu8 err;- X% M+ ~- x7 A
' F: J3 ?8 X& U% e: M2 r" ]
U8 err;
7 N3 G/ X, w1 {7 Q2 V: [7 M6 `( B. D0 ?) E
INT8U err;9 d3 N1 E3 v9 }. c7 y
4 N6 S9 U( n' z# _% X) R4 M
UINT8 err;
# y. q& A4 M$ Z H# z: d8 m
0 I$ u7 T. c& Euint8 err;
+ a, k, V: N( A6 ^6 p; I8 o. V2 M% B n4 T
uint8_t err;
4 M$ H2 f/ K5 y' |1 Z7 m1 s
3 _. B9 `0 H+ b! H' ]; j: X当大家阅读别人写的程序时,往往会看到风格各异的定义方式,移植部分程序时也不知道采用哪种方式更合适。" F+ `& ?6 x( c2 E: @; _
$ e3 T2 s9 V* j5 o# I* K我们推荐大家采用最后一种定义方式,这种方法符合C99规范,ST的固件库都是采用的这种类型定义方式。像我们开发板配套的STM32例程,从2009年最初的版本开始就一直沿用C99的标准写法来定义整数。- ^! U0 b# i: C$ q9 N/ E$ A) @
0 r7 L8 T) k7 n/ e7 H9.3 局部变量和全局变量
. |8 s' Q, t5 ?, z9.3.1 局部变量
3 T& g2 J, G+ \ U+ b7 v( L. G在一个函数内部定义的变量是内部变量,它只在本函数范围内有效,也就是说只有在本函数内才能使用它们,在此函数以外是不能使用这些变量的,这称为局部变量。
1 S$ L I4 |! d+ W6 n2 E
3 ?. Z: j5 s4 x- i7 J# \8 m使用局部变量注意以下问题:8 A0 x5 Z6 t9 l' p* ^2 T- a
5 I+ f1 V! b! u% s7 ]8 x
不同函数中可以使用相同名字的变量,它们代表不同的对象,互不干扰。
) F9 q$ T8 I! F$ W$ L n% _- S 形式参数也是局部变量。( {8 Q% e% j$ f! k# x( A
局部变量的作用域在函数内部。
4 O+ Y) E. p9 l ?# S9.3.2 全局变量
3 N5 t3 H* i; {% C 在函数内部定义的变量是局部变量,而在函数之外定义的变量称为外部变量,也就是全局变量。使用全局变量的注意事项:
+ b0 N' R5 T/ ?: L/ Q
% Q+ G4 D5 ^' \2 O& f/ }8 a 全局变量可以为本文件中其他函数所共用。它的有效范围为从定义变量的位置开始到本源文件结束。. C% W* a4 J) r9 B; W
设置全局变量的作用是增加了函数间数据联系的渠道。0 C7 h0 ` l3 T% q r: K" H
如果在同一个源文件中,外部变量和局部变量同名,则在局部变量的作用范围内,外部变量被“屏蔽”,即外部变量将不起作用。$ R$ q' W5 S! s3 ]
9.3.3 使用全局变量的缺点
1 p$ x, f, h' @1 f& w 程序设计中,建议不要创建太多的全局变量,主要是出于以下三点考虑:
8 x4 E0 [' y' x5 \# j- Z) O2 {
6 p/ _! B9 x, R 全局变量在程序的执行过程中都占用存储单元,而不是仅在需要时才占用存储单元。3 I4 N# z1 ~/ r, C
函数的通用性降低了,因为函数在执行时要依赖于其所在的外部变量。如果将一个函数移植到另一个文件中,还要将有关的外部变量及其值一起移植过去。9 S) e4 R, v6 ]/ q" v/ x( p7 l
使用全局变量过多,会降低程序的清晰性,特别是多个函数都调用此变量时。+ ?! f6 F# p4 i3 {# R9 @
9.3.4 变量的存储类别
' O8 t0 o% C! M5 f从变量的作用域来分,可以分为全局变量和局部变量,而从变量值存在的时间来看,可以分为静态存储方式和动态存储方式。
" {0 z8 @. |; l0 L" O# Z/ Y' {
$ D8 g% r2 F1 p0 i% W8 }0 ]$ u4 o 静态存储方式:指在程序运行期间由系统分配固定的存储空间方式。6 L" E ]8 F+ t: {9 P( F
动态存储方式:在程序运行期间根据需要进行动态的分配存储空间方式。
9 d2 O% w) y6 X" O# x6 v2 k全局变量存储在静态存储区中,动态存储区可以存放以下数据:6 l/ b3 Z, D" `3 w# J; V V2 h5 k
" ]6 C% I/ p5 W) _
函数形式参数,在调用函数时给形参分配存储空间。& k' J- l- W1 f# _2 L
局部变量(未加static声明的局部变量)。2 C% j: b& F8 F, U7 X0 c9 t" b& t! x
函数调用时的现场保护和返回地址等。% H. H {: G2 I: d9 G0 e. c
9.3.5 用static声明局部或者全局变量
1 R" P9 H/ p: }+ I) |有时候希望函数中的局部变量的值在函数调用结束后不消失而保留原值,即占用的存储单元不释放,在下一次该函数调用时,该变量已有值,就是上一次函数调用结束时的值。这时可以使用关键字static进行声明。
% R0 y, e9 L% {/ X- @$ s: j7 i3 j. M; U
用static声明一个变量的作用:
/ L. f2 K* q# D! u1 r' [/ C2 h+ k7 ^
对局部变量用static声明,则使用该变量在整个程序执行期间不释放,为其分配的的空间始终存在。
) Q6 C' n/ D3 M1 T! C4 c1 r/ @ 全局变量用static声明,则该变量的作用域只限于本文件模块(即被声明的文件中)。0 Y( l" h" @* T U1 w; h* m
9.4 堆栈
2 w- K* {8 W* r+ x! x: s) j9.4.1 堆栈作用% B5 X& V$ F1 S; }4 B6 p+ V' }
栈(stack)空间,用于局部变量,函数调时现场保护和返回地址,函数的形参等。
3 p; k) H4 h1 h* y2 ]堆(heap)空间,主要用于动态内存分配,也就是说用 malloc,calloc, realloc等函数分配的变量空间是在堆上。以STM32H7为例,堆栈是在startup_stm32h743xx.s文件里面设置:. f0 _# g v+ D. }* J, L% _0 ]
# e( F7 p# s- d) X
1 R. `, R1 @+ X* F6 R* I1 S2 `
& o1 X$ U* Q- a+ X
$ p' m8 }" h& K+ y7 @2 ^2 f9.4.2 寄存器组(堆栈指针寄存器)
8 a3 r# }8 ?) j9 lCortex – M7/M4/M3 处理器拥有R0-R15的通用寄存器组。其中R13作为堆栈指针SP。SP有两个,但在同一时刻只能有一个可以用。
( K7 z" n/ v/ p/ b" H1 t- \" w& j9 |6 B5 e* Y0 q8 d' P7 q
主堆栈指针(MSP):这是缺省的堆栈指针,它由OS内核、异常服务例程以及所有需要特权访问的应用程序代码来使用。
* k# h+ C) @6 i- Q4 o$ G& n 进程堆栈指针(PSP):用于常规的应用程序代码(不处于异常服务例程中时)。
) c; y4 t, ?+ n- Y, L8 `另外以下两点要注意:
$ F6 I' t* M7 p" v$ e+ m( l( a, t* {/ T5 U& I X1 Y
大多数情况下的应用,只需使用指针MSP,而PSP多用于 RTOS 中。
' w* U" j! g, N, k( p& R+ K R13 的最低两位被硬线连接到0,并且总是读出0,这意味着堆栈总是4字节对齐的。
9 ?4 v, }) p6 P$ X+ W3 k0 W$ A+ _9 ~/ V6 V1 S2 B
% Y3 n: s0 R" q3 A0 i
3 w3 n! n" ]8 c* C$ n9.4.3 Cortex-M7/M4/M3向下生长的满栈
: k* b3 k% j) A* a9 ~这个知识点在以后用H7移植RTOS时,非常有用。
5 f6 ?9 m1 G3 B6 @6 K+ s3 l0 i& ~. H4 [3 j! i% i- g
+ @$ m9 O c- R
+ O9 U+ m# c5 Y' A1 F/ m9.4.4 堆栈的基本操作
5 `& ^* \6 L1 b5 e- K这里对入栈和出栈做个简单的介绍。PUSH入栈操作:SP先自减 4,再存入新的数值:+ c' X' ], n. g, ]3 g9 q
' v$ O# }5 v) R: C# L( S
2 L+ y6 p; _7 @1 `- Y7 A L
3 B6 u. k6 ^( a$ i5 H4 YPOP出栈操作:先从SP指针处读出上一次被压入的值,再把SP指针自增 4:
- t- i7 }) |1 F
" G5 _5 I- E+ \% T6 e% z0 M8 q. D0 Y2 l" p3 h5 Z
' W$ ]9 s2 r" g! W; ~9.5 局部变量,全局变量和堆栈实例
1 J5 z8 k" O3 I, E' z通过下面的实例可以对局部变量,全局变量和堆栈有个感性的认识:; p- A) g8 {2 {- y3 Y, Z$ y
# L0 J2 C U! q( R, _
- uint32_t a = 0; //全局初始化区, 可以被其他c文件 extern 引用- w+ w9 A+ H& P: H
- static uint32_t ss = 0; //静态变量,只允许在本文件使用: b& p1 F# K7 e
- uint8_t *p1; //全局未初始化区. W3 U8 `( I9 `, f# f( w, C0 t' o, b
- int main(void)
. ~% u. t: l/ I; X( u3 G - {
. m% {! R) k! F5 p0 P& Q - uint32_t b; //栈
# I% O) x3 Q* } - uint8_t s[] = "abc"; //栈
- V) ]' R, [, z" i. r, `3 A7 ~ - uint8_t *p2; //栈4 Q7 ~9 H- S7 ?/ i: j' N
- uint8_t *p3 = "123456"; //123456\0在常量区,p3在栈上。$ a+ P4 l: z& q2 l4 ^8 B" I
- static uint32_t c =0; //全局(静态)初始化区
7 G/ Z; z8 @1 z/ K( M -
% m: z, u& F2 c( i, c0 ^% H - p1 = (uint8_t *)malloc(10); //在堆区申请了10个字节空间
/ w* k: Z; Z. ~; T0 T5 ~ D8 @. {9 c - p2 = (uint8_t *)malloc(20); //在堆区申请了20个字节空间% A' |+ Q8 l: B8 m/ x Q0 J/ V
- strcpy(p1, "123456"); /* 123456字符串(结束符号是0(\0),总长度7)放在常量区,: o# v o$ c% A8 ]
- 编译器可能会将它与p3所指向的"123456"优化成一个地方 */
/ N, L) r, \) A - }
复制代码 3 M3 A5 H+ F1 N2 Z6 H4 I/ _ G
通过查看MAP文件,可以看全局变量在RAM中的位置:0 n5 v; G0 U$ K1 a2 @- p8 d
2 a* D9 c: y9 h7 K# @- Symbol Name Value Ov Type Size Object(Section)4 z- o' O/ N2 T; g& m3 e
- a 0x20000000 Data 4 main.o(.data)9 `! e( e' v+ R1 b
- p1 0x2000000c Data 4 main.o(.data)
+ y% x/ k4 o! q/ w. r9 |3 m4 h, R - ss 0x20000004 Data 4 main.o(.data)
复制代码 ! D' ~3 }% n# Y4 V- j( }
而局部变量要调整状态进入main函数里面查看:) B0 x0 S7 I& K
3 {1 W- }% g# @1 O2 p5 t, S3 t: q. o6 ^$ N1 L3 q+ f
9 j7 w4 s; d9 U4 O0 ~; b- S
9.6 总结& k3 b' w1 U" X% o+ m
C语言的基础知识点要掌握牢靠,对于后面学习HAL库源码大有裨益。
6 B+ _; p; K/ `* L0 _' p4 B: g. j' X1 Z+ G
]( |& o/ ~. H7 e3 |' u* v8 Z
|