1.概念解析

1.1、存储类

（1）存储类就是存储类型，也就是描述C语言变量在何种地方存储。
（2）内存有多种管理方法：栈、堆、数据段、bss段、text段等，一个变量的存储类型属性就是描述这个变量存储在何种内存段中的。
（3）比如：局部变量分配在栈上，所以它的存储类就是栈；显式初始化为非零的全局变量分配在数据段，显式初始化为0和没有显式初始化（默认为0）的全局变量分配在bss段，也就是存储在哪，存储类就是哪。

1.2、作用域

（1）作用域是描述这个变量起作用的代码范围。
（2）基本来说，C语言变量的作用域规则是代码块作用域。意思就是这个变量起作用的范围是当前的代码块。代码块就是一对大括号{}括起来的范围，所以一个变量的作用域是：这个变量定义所在的{}范围内从这个变量定义开始往后的部分。

1.3、生命周期

（1）生命周期是描述这个变量什么时候诞生（运行时分配内存空间给这个变量）及什么时候消亡，（运行时收回这个内存变量，此后再不能访问这个内存地址，或者访问这个内存地址已经和这个变量无关了）。
（2）变量和内存的关系，就和人（变量）去图书馆借书（内存）一样。变量的生命周期就好像是我人借书的这段周期一样。
（3）研究变量的生命周期可以帮助我们理解程序的一些现象、理解C语言的一些规则。

1.4、链接属性

（1）大家知道程序从源代码到最终可执行程序，经历的过程：编译、链接。
（2）编译阶段就是把源代码转换成.o目标文件，目标文件里面有很多符号和代码段、数据段、bss段等分段。符号就是编程中的变量名、函数名等。运行时变量名、函数名能够和相应的内存对应起来，靠符号来做链接的。
（3）.o的目标文件链接生成最终可行性程序的时候，其实就是把符号和相对应的段给链接起来。C语言中的符号有三种链接属性：外链接属性、内链接属性、无链接属性。

2.Linux下C程序的内存映像

2.1、代码段、只读数据段

（1）对应着程序中的代码（函数），代码段在Linux中又叫文本段（.text）。
（2）只读数据段就是在程序运行期间只能读不能写的数据段，const修饰的常量有可能存在只读数据段的（但是不一定，const常量的实现方法在不同平台是不一样的）。

2.2、数据段、bss段

（1）数据段存：①显式初始化为非0的全局变量；②显式初始化为非0的static的局部变量。
（2）bss段存：①显式初始化为0或者未显式初始化的全局变量；②显式初始化为0或者未显式初始化的static局部变量。

2.3、堆

C语言中什么样的变量存在堆内存中？
C语言不会自动向堆中存放东西，堆的操作是程序员自己手工操作的。程序员根据需求自己判断要不要使用堆内存，用的时候自己申请，自己使用完了，自己释放。

2.4、文件映射区

文件映射区就是进程打开了文件后，将这个文件的内容从硬盘读到进程的文件映射区，以后就直接在内存中操作这个文件，读写完了后再保存时再将内存中的文件写到硬盘中去。

2.5、栈

栈内存区，局部变量分配在栈上；函数调用传参过程也会用到栈。

2.6、内核映射区

（1）内核映射区就是将操作系统内核程序映射到这个区域里。
（2）对于Linux中的每一个进程来说，它都以为整个系统中只有它自己和内核而已。它认为内存地址0xc0000000以下的都是自己的活动空间，0xc0000000以上的是OS内核活动空间。
（3）每一个进程都活在自己独立的进程空间中，0-3G的空间每一个进程是不同的（因为用了虚拟地址技术），但是内核是唯一的。

2.7、OS下和裸机下C程序加载执行的差异

（1）C语言运行时环境有一定的要求，意思就是单独个人写的C语言程序没法直接在内存中运行，需要外部一定的协助，这段协助代码叫加载运行代码（或者叫构建C运行时环境的代码，这一段代码在操作系统下是别人写好的，会自动添加到我们写的程序上，这段代码的作用主要是：给全局变量赋值、清bss段）。
（2）在ARM裸机上写shell时定义了一个全局变量初始化为0但是实际不为0，后来在裸机的start.c中加了清bss段代码后就为0了。这就说明在裸机程序中没人帮我们来做这一段加载运行时代码，要程序与自己做（start.c中的重定位和清bss段就是在做这个事）；在操作系统中运行程序时程序员自己不用操心，会自动完成重定位和清bss，所以我们看到的现象：C语言中未初始化的全局变量默认为0.
（3）数据段的全局变量或静态局部变量都是有非0的初值的，这些初值在main函数运行之前就已经被初始化了，是重定位期间完成的初始化。

3.存储类相关的关键字1

3.1、auto

（1）auto关键字在C语言中只有一个作用，那就是修饰局部变量。
（2）auto修饰局部变量，表示这个局部变量是自动局部变量，自动局部变量分配在栈上（既然在栈上，说明如果它不初始化那么值是随机的）。
（3）平时定义局部变量时就是定义auto，只是省略了auto关键字而已。课件，auto的局部变量其实就是默认定义的普通局部变量。

3.2、static

（1）static关键字在C语言中有两种用法，而且这两种用法彼此没有任何关联，完全是独立的。
（2）第一种：用来修饰局部变量，形成静态局部变量。要搞清楚静态局部变量和非静态局部变量的区别。本质区别是存储类不同（存储类不同就衍生出很多不同）；非静态局部变量分配在栈上，而静态局部变量分配在数据段/bss段上。
（3）第二种：用来修饰全局变量，形成静态全局变量。要搞清楚静态全局变量和非静态全局变量的区别，区别是在链接属性上不同，后面详细讲。
（4）分析：
①静态局部变量在存储类方面和全局变量一样。
②静态局部变量和全局变量的区别是：作用域、链接属性。静态局部变量作用域是代码块作用域（和普通局部变量是一样的）、链接属性是无链接；全局变量作用域是文件作用域（和函数一样）、链接属性是外链接。

3.3、register

（1）register关键字不常用，也只有一个作用，那就是：register修饰的变量（一般是全局变量）编译器会尽量将它分配在寄存器中。（平时分配的一般的变量都是在内存中的）。分配在寄存器中一样的用，但是读写效率会高很多。所以register修饰的变量用在那种变量被反复高频率的使用，通过改善这个变量的访问效率可以极大的提升程序运行效率时。所以register是一种极致提升程序运行效率的手段。
（2）uboot中用到了一个register类型的变量，gd这个变量是用来存uboot的全局变量（gd就是global data）。因为这个全局变量在整个uboot中到处都被访问，所以定义成register的。
（3）平时写代码要定义成register这种情况很少，一般慎用。
（4）register编译器只能承诺尽量将register修饰的变量放在寄存器中，但是不保证一定放在寄存器中。主要原因是因为寄存器数量有限，不一定有空用。

4.存储类相关的关键字2

4.1、extern

（1）extern主要用来声明全局变量，声明的目的主要是在a.c中定义全局变量（extern int a;）而在b.c中使用该变量。
（2）C语言中程序的编译时以单个.c源文件为单位的，因此编译a.c时只考虑a.c中的内容（不会考虑 b.c的内容），这就导致a.c中使用了b.c中定义的变量时在编译时报错。解决方案是声明。
（3）应该在a.c中使用g_b之前先声明g_b，并且它的原型和声明的一样，将来在链接的时候链接器会在.o文件中找到这个同名变量。声明一个全局变量就要用到extern关键字。

4.2、volatile

（1）volatile的字面意思：可变的、易变的。C语言中volatile用来修饰一个变量，表示这个变量可以被编译器之外的东西改变。编译器之内的意思是变量的值的改变是代码的作用，编译器之外的变就是这个改变不是代码造成的，或者不是当前代码造成的，编译器在编译当前代码时无法预知。比如在中断处理程序isr中更改了这个变量的值（一般这个变量是一个寄存器的值）。
（2）以上说的三种情况（中断isr中引用的变量，多线程中共用的变量，硬件会更改的变量）都是编译器在编译时无法预知的更改，此时应该使用volatile告诉编译器这个变量属于这种（可变的、易变的）情况。编译器在遇到volatile修饰的变量时就不会对该变量的的访问进行优化，就不会出现错误。

int a, b, c;
a = 3;
b = a;
c = b;

无优化情况下：内存要读取3次，写3次
编译器优化后：内存只要读1次，写3次
（3）编译器的优化在一般情况下非常好，可以帮助提升程序效率。但是在特殊情况（volatile）下，变量会被编译器想象之外的力量所改变，此时如果编译器没有意识到而去优化则会造成优化错误，优化错误就会带来执行时错误。而且这种错误很难被发现。

volatile int a, b, c;
a = 3;
/* 假设在这里插入一个中断程序，把a改为13，如果a定义时未加volatile，则a还会被当成3，a=b=c=3；
如果加了volatile，则a =13, b=c=13，也就是加了volatile就是说这个变量易变，值变了后不用管它，不要去优化它。
*/
b = a;
c = b;

4.3、restrict

（1）C99才支持的，所以很多延续C89的编译器是不支持restrict关键字的，gcc支持的。
（2）restrict也是和编译器行为特征相关的。
（3）restrict只用来修饰指针，不能修饰普通变量。

4.4、typedef

typedef在C语言关键字归类上属于存储类关键字，但是实际上和存储类没有关系，因为它修饰的是类型，并不占用内存。

5.作用域详解

5.1、局部变量的代码块作用域

（1）代码块基本可以理解为一对大括号{}括起来的部分；
（2）代码块不等于函数，因为if、while、for都有{}，所以代码块<=函数。
（3）局部变量的作用域是代码块作用域，也就是说一个局部变量可以被访问和使用的范围仅限于定义这个局部变量的代码块中定义式之后的部分。

5.2、函数名和全局变量的文件作用域

（1）文件作用域的意思就是全局的访问权限，也就是说整个.c文件中都可以访问这些东西。这就是平时所说的局部和全局，全局就是文件作用域。
（2）详细准确的说：函数和全局变量的作用域是定义所在的整个.c文件之内定义式之后的部分。
（3）总结：
①不管是局部变量、全局变量、函数，都要先定义才能使用。
②严格来说我们上面的总结是错误的。准确的说：全局变量/函数作用域都是自己所在的文件，但是定义式之前的部分因为缺少声明所以没法使用。
解决方案是：1)把它定义到前面去；2）定义到后面但是在使用之前加声明；局部变量因为没法声明，所以只能定义在前面。
声明对全局变量很有用，因为一个.c源文件上千行代码，很容易出现函数先使用而未定义的情况。（extern int a;声明）
（4）在C89标准的编译器中（现在很多编译器还延续使用C89标准），所有的局部变量必须先定义在最前面，在变量定义之前不能有依据执行代码。在C99标准的编译器中（gcc兼容C99标准）可以允许在代码块任意地方定义变量，但是允许定义的变量还是只能使用在定义了之后，定义之前还是不能用的。

5.3、同名变量的掩蔽规则

（1）问题：编程时，不可避免会出现同名变量。变量同名后不一定会出错。
（2）首先，如果两个同名变量作用域不同且没有交叠，这种情况同名没有任何影响。
（3）其次，如果两个同名变量作用域有交叠，C语言规定在作用域交叠范围内，作用域小的一个变量会掩蔽掉作用域大的那个（县官不如现管）即局部变量比全局变量影响大。

6.变量的生命周期

6.1、研究变量生命周期的意义

研究变量生命周期，有助于理解变量的行为特征。

6.2、栈变量的生命周期

（1）局部变量（栈变量）存储在栈上，生命周期是临时的，临时的意思是说：代码指向过程中按照需要去创建、使用、消亡的。
（2）比如一个函数内定义的局部变量，在这个函数每一次被调用时都会创建一次，然后使用，最后在函数返回的时候消亡。
（3）思考：一个函数内的局部变量为什么在函数外不能使用？
（4）思考：局部变量为什么分配在栈上？或者说局部变量为什么是临时生命周期？

6.3、堆变量的生命周期

（1）首先要明白：堆内存空间是客观存在的，意思是由操作系统维护的。我们程序只是去申请然后使用最后释放。
（2）我们只关心我们程序使用堆内存的这一段时间，因此堆变量也有了自己的生命周期，就是从malloc申请时诞生，然后使用，知道free时消亡。
（3）所以堆内存在malloc之前和free之后不能再去访问，因此堆内存在实践编程时都是被反复使用的malloc和free的。

6.4、代码段、只读段的生命周期

（1）其实就是程序执行的代码，其实就是函数，它的生命周期是永久的。不过一般代码的生命周期我们并不关注。
（2）有时候放在代码段的不只是代码，还有const类型的常量，还有字符串常量。（const类型的常量、字符串常量有时候放在rodata段，有时候放在代码段，取决于平台）。

7.链接属性

7.1、C语言程序的组织架构：多个C文件+多个h文件

（1）庞大、完整的一个C语言程序（比如Linux内核、uboot）由多个C文件和多个h文件组成的。
（2）程序的生成过程就是：编译+链接。编译时为了将函数/变量等变成.o二进制的机器码格式，链接是为了将各个独立分开的二进制的函数链接形成一个整体的二进制可执行程序。

7.2、编译以文件为单位、链接以工程为单位

（1）编译器工作时是将所有源文件依次读进来，单个为单位进行编译的。
（2）链接的时候实际上是把第一步编译生成单个.o文件整体的输入，然后处理链接成一个可执行程序。

7.3、三种链接属性：外链接、内链接、无链接

（1）外部链接的意思就是外部链接属性，也就是说这个可以在整个程序范围内（言下之意就是可以跨文件）进行链接，比如普通的函数和全局变量属于外链接。
（2）内链接的意思是（C文件内部）内部链接属性，也就是说这个可以在当前C文件内部范围内进行链接（言下之意就是不能在当前C文件外面其他C文件中进行访问、链接）。static修饰的函数和全局变量属于内链接。
（3）无链接的意思就是这个符号本身不参与链接，它跟链接没关系。所有的局部变量（auto、static的）都是无链接的。
总结：外即文件外，内即文件内，链接可以理解成访问。

7.4、函数或全局变量的同名冲突

（1）因为函数和全局变量是外部链接属性，也就是说每一个函数和全局变量将来在曾哥程序中所有的C文件都能被访问，因此在一个程序中的所有C文件中不能出现同名的函数/同名的全局变量。
（2）最简单的解决方案就是起名字不重复，但是很难做到。主要原因是一个很大的工程中函数和全局变量名字太多了，而且一个大工程不是一个人完成的，是很多人协作完成的，所以很难保证不会重名。解决方案？
（3）现代高级语言中完美解决这个问题的方法就是命名空间namespace（其实就是给一个变量带上各个级别的前缀）。但是C语言不是这么解决的。
（4）C语言比较早碰到这个问题，当时还没发明namespace这个概念，当时C语言就发明了一张不是很完美但是凑合能用的解决方案，就是三种链接属性的方法。
（5）C语言的连接属性解决重名问题思路是这样的：我们将明显不会在其他C文件中引用（只在当前C文件中引用）的函数/全局变量，使用static修饰，使其成为内链接属性，这样在将来链接时即使2个C文件a中有重名的函数或全局变量，只要至少1个为内链接属性就没事。
（6）这种解决方案在一定程度上解决了问题。但是没有从根本上解决问题，留下了很多玛法。所以这个就是导致C语言写很大型的项目难度很大。

7.5、static的第二种用法：修饰全局变量和函数

（1）普通的（非静态）的函数/全局变量，默认的链接属性是外部的。
（2）static（静态）的函数/全局变量，链接属性属于内部链接。

7.6、一般用法总结：

思考：为什么static一个关键字可以有2中完全不同的意思？因为这两种用法是互斥的。

7.7、最后的总结：

（1）普通（自动）局部变量分配在栈上，作用域为代码块作用域，生命周期是临时的，链接属性为无链接。定义时如果未显式初始化则其值随机，变量地址由运行时在栈上分配得到，多次执行时地址不一定相同，函数不能把该类型变量的地址（指针）作为返回值。
（2）静态局部变量的分配在数据段/bss段（显式初始化为非0则在数据段，显式初始化为0或未显式初始化则在bss段），作用域为代码块作用域，生命周期为永久，链接属性为无链接。定义时如果未显式初始化则其其值为0，变量地址由运行时环境在变；静态全局变量其实就是作用域为代码块作用域（同时链接属性为无链接）的全局变量。静态局部变量可以改为用全局变量实现（程序中尽量避免用全局变量，因为会破坏结构性）。
（3）静态全局变量/静函数和普通全局变量/普通函数的唯一差别是：static使全局变量/函数的链接属性由外部链接（整个程序所有文件范围）转为内部链接（当前C文件内）。这是为了解决全局变量/函数的重命名的问题，因此在程序中文件变多之后全局变量/函数的重命名问题非常严重，将不必要被其他文件引用的全局变量/函数声明为static可以很大程度上改善重命名问题，但是仍然未彻底解决。
（4）写程序尽量避免使用全局变量，尤其是非static类型的全局变量。为保证不会被其他文件引用的全局变量一定要static修饰。
（5）注意区分全局变量的定义和声明。一般规律如下：①如果定义的而同时有初始化则一定会被认为是定义；②如果只是定义而没有被初始化则有可能被编译器认为是定义，也有可能被认为是声明，要具体分析；③如果使用extern则肯定会被认为是声明。
（6）全局变量应该定义在C文件中并且在头文件中声明，而不要定义在头文件中（因为如果定义在 头文件中，则该头文件被多个C文件包含时该全局变量会重复定义）。
（7）在b.c中引用a.c中定义的全局变量/函数有2种方法：①一是在a.h中声明该函数/全局变量，然后在b.c中#include <a.h>；②二是在b.c中使用extern显式声明要引用的函数/全局变量。其中第一种方法比较正式。
（8）存储类决定生命周期，作用域决定链接属性。
（9）宏和include函数的链接属性为无链接。