编译器的一些小知识

位    ：一位是1个二进制的0或1（bit）

字节：一个字节是8个位（Byte）

字   ：一个字就是16个位。16位

双字：一个双字是两个字。即32位

1. 默认情况下，char类型的数据项是无符号的，所以它的取值范围是0～255；

2. 在所有的内部和外部标识符中，大写和小写字符不同；

3. 通常局部变量保存在寄存器中，但当局部变量太多放到栈里的时候，它们总是字对齐的。

4. 压缩类型的自然对齐方式为1。使用关键字__packed来压缩特定结构，将所有有效类型的对齐边界设置为1；

5. 整数以二进制补码形式表示；浮点量按IEEE格式存储；

6. 整数除法的余数的符号于被除数相同，由ISO C90标准得出；

7. 如果整型值被截断为短的有符号整型，则通过放弃适当数目的最高有效位来得到结果。如果原始数是太大的正或负数，对于新的类型，无法保证结果的符号将于原始数相同。

8. 整型数超界不引发异常；像unsigned char test; test=1000;这类是不会报错的；

9. 在严格C中，枚举值必须被表示为整型。例如，必须在‑2147483648 到+2147483647的范围内。但MDK自动使用对象包含enum范围的最小整型来实现（比如char类型），除非使用编译器命令‑‑enum_is_int 来强制将enum的基础类型设为至少和整型一样宽。超出范围的枚举值默认仅产生警告：#66:enumeration value is out of "int" range；

10. 对于结构体填充，根据定义结构的方式，keil MDK编译器用以下方式的一种来填充结构：

I> 定义为static或者extern的结构用零填充；

II> 栈或堆上的结构，例如，用malloc()或者auto定义的结构，使用先前存储在那些存储器位置的任何内容进行填充。不能使用memcmp()来比较以这种方式定义的填充结构！

1. 编译器不对声明为volatile类型的数据进行优化；

2. __nop()：延时一个指令周期，编译器绝不会优化它。如果硬件支持NOP指令，则该句被替换为NOP指令，如果硬件不支持NOP指令，编译器将它替换为一个等效于NOP的指令，具体指令由编译器自己决定；

3. __align(n)：指示编译器在n 字节边界上对齐变量。对于局部变量，n的值为1、2、4、8；

4. attribute((at(address)))：可以使用此变量属性指定变量的绝对地址；

5. __inline：提示编译器在合理的情况下内联编译C或C++ 函数

   3.4.2初始化的全局变量和静态变量的初始值被放到了哪里？

   我们程序中的一些全局变量和静态变量在定义时进行了初始化，经过编译器编译后，这些初始值被存放在了代码的哪里？我们举个例子说明：

   1. unsigned int g_unRunFlag=0xA5；
   2. static unsigned int s_unCountFlag=0x5A；
   

   我曾做过一个项目，项目中的一个设备需要在线编程，也就是通过协议，将上位机发给设备的数据通过在应用编程（IAP）技术写入到设备的内部Flash中。我将内部Flash做了划分，一小部分运行程序，大部分用来存储上位机发来的数据。随着程序量的增加，在一次更新程序后发现，在线编程之后，设备运行正常，但是重启设备后，运行出现了故障！经过一系列排查，发现故障的原因是一个全局变量的初值被改变了。这是件很不可思议的事情，你在定义这个变量的时候指定了初始值，当你在第一次使用这个变量时却发现这个初值已经被改掉了！这中间没有对这个变量做任何赋值操作，其它变量也没有任何溢出，并且多次在线调试表明，进入main函数的时候，该变量的初值已经被改为一个恒定值。

   要想知道为什么全局变量的初值被改变，就要了解这些初值编译后被放到了二进制文件的哪里。在此之前，需要先了解一点链接原理。

   ARM映象文件各组成部分在存储系统中的地址有两种：一种是映象文件位于存储器时（通俗的说就是存储在Flash中的二进制代码）的地址，称为加载地址；一种是映象文件运行时（通俗的说就是给板子上电，开始运行Flash中的程序了）的地址，称为运行时地址。赋初值的全局变量和静态变量在程序还没运行的时候，初值是被放在Flash中的，这个时候他们的地址称为加载地址，当程序运行后，这些初值会从Flash中拷贝到RAM中，这时候就是运行时地址了。

   原来，对于在程序中赋初值的全局变量和静态变量，程序编译后，MDK将这些初值放到Flash中，位于紧靠在可执行代码的后面。在程序进入main函数前，会运行一段库代码，将这部分数据拷贝至相应RAM位置。由于我的设备程序量不断增加，超过了为设备程序预留的Flash空间，在线编程时，将一部分存储全局变量和静态变量初值的Flash给重新编程了。在重启设备前，初值已经被拷贝到RAM中，所以这个时候程序运行是正常的，但重新上电后，这部分初值实际上是在线编程的数据，自然与初值不同了。

6. 3.4.3在C代码中使用的变量，编译器将他们分配到RAM的哪里？

   我们会在代码中使用各种变量，比如全局变量、静态变量、局部变量，并且这些变量时由编译器统一管理的，有时候我们需要知道变量用掉了多少RAM，以及这些变量在RAM中的具体位置。这是一个经常会遇到的事情，举一个例子，程序中的一个变量在运行时总是不正常的被改变，那么有理由怀疑它临近的变量或数组溢出了，溢出的数据更改了这个变量值。要排查掉这个可能性，就必须知道该变量被分配到RAM的哪里、这个位置附近是什么变量，以便针对性的做跟踪。

   其实MDK编译器的输出文件中有一个“工程名.map”文件，里面记录了代码、变量、堆栈的存储位置，通过这个文件，可以查看使用的变量被分配到RAM的哪个位置。要生成这个文件，需要在Options for Targer窗口，Listing标签栏下，勾选Linker Listing前的复选框，如图3-1所示。

   

   img

   图3-1 设置编译器生产MAP文件

   3.4.4默认情况下，栈被分配到RAM的哪个地方？

   MDK中，我们只需要在配置文件中定义堆栈大小，编译器会自动在RAM的空闲区域选择一块合适的地方来分配给我们定义的堆栈，这个地方位于RAM的那个地方呢？

   通过查看MAP文件，原来MDK将堆栈放到程序使用到的RAM空间的后面，比如你的RAM空间从0x4000 0000开始，你的程序用掉了0x200字节RAM，那么堆栈空间就从0x4000 0200处开始。

   使用了多少堆栈，是否溢出?

   2.4.5 有多少RAM会被初始化？

   在进入main()函数之前，MDK会把未初始化的RAM给清零的，我们的RAM可能很大，只使用了其中一小部分，MDK会不会把所有RAM都初始化呢？

   答案是否定的，MDK只是把你的程序用到的RAM以及堆栈RAM给初始化，其它RAM的内容是不管的。如果你要使用绝对地址访问MDK未初始化的RAM，那就要小心翼翼的了，因为这些RAM上电时的内容很可能是随机的，每次上电都不同。

   .4.5 有多少RAM会被初始化？

   在进入main()函数之前，MDK会把未初始化的RAM给清零的，我们的RAM可能很大，只使用了其中一小部分，MDK会不会把所有RAM都初始化呢？

   答案是否定的，MDK只是把你的程序用到的RAM以及堆栈RAM给初始化，其它RAM的内容是不管的。如果你要使用绝对地址访问MDK未初始化的RAM，那就要小心翼翼的了，因为这些RAM上电时的内容很可能是随机的，每次上电都不同。

   3.4.6 MDK编译器如何设置非零初始化变量？

   对于控制类产品，当系统复位后（非上电复位），可能要求保持住复位前RAM中的数据，用来快速恢复现场，或者不至于因瞬间复位而重启现场设备。而keil mdk在默认情况下，任何形式的复位都会将RAM区的非初始化变量数据清零。

   MDK编译程序生成的可执行文件中，每个输出段都最多有三个属性：RO属性、RW属性和ZI属性。对于一个全局变量或静态变量，用const修饰符修饰的变量最可能放在RO属性区，初始化的变量会放在RW属性区，那么剩下的变量就要放到ZI属性区了。默认情况下，ZI属性区的数据在每次复位后，程序执行main函数内的代码之前，由编译器“自作主张”的初始化为零。所以我们要在C代码中设置一些变量在复位后不被零初始化，那一定不能任由编译器“胡作非为”，我们要用一些规则，约束一下编译器。

   分散加载文件对于连接器来说至关重要，在分散加载文件中，使用UNINIT来修饰一个执行节，可以避免编译器对该区节的ZI数据进行零初始化。这是要解决非零初始化变量的关键。因此我们可以定义一个UNINIT修饰的数据节，然后将希望非零初始化的变量放入这个区域中。于是，就有了第一种方法：

7. 修改分散加载文件，增加一个名为MYRAM的执行节，该执行节起始地址为0x1000A000，长度为0x2000字节（8KB），由UNINIT修饰：

8. 1:   LR_IROM1 0x00000000 0x00080000  {    ; load region size_region
       2:   ER_IROM1 0x00000000 0x00080000  {  ; load address = execution address
       3:    *.o (RESET, +First)
       4:    *(InRoot$$Sections)
       5:    .ANY (+RO)
       6:   }
       7:   RW_IRAM1 0x10000000 0x0000A000  {  ; RW data
       8:    .ANY (+RW +ZI)
       9:   }
      10:   MYRAM 0x1000A000 UNINIT 0x00002000  {
      11:    .ANY (NO_INIT)
      12:   }
      13: }
   

   那么，如果在程序中有一个数组，你不想让它复位后零初始化，就可以这样来定义变量：

   1. unsigned char  plc_eu_backup[32] __attribute__((at(0x1000A000)));
   

   变量属性修饰符__attribute__((at(adde)))用来将变量强制定位到adde所在地址处。由于地址0x1000A000开始的8KB区域ZI变量不会被零初始化，所以位于这一区域的数组plc_eu_backup也就不会被零初始化了。

   这种方法的缺点是显而易见的：要程序员手动分配变量的地址。如果非零初始化数据比较多，这将是件难以想象的大工程（以后的维护、增加、修改代码等等）。所以要找到一种办法，让编译器去自动分配这一区域的变量。

9. 分散加载文件同方法1，如果还是定义一个数组，可以用下面方法：

10. unsigned char  plc_eu_backup[32] __attribute__((section("NO_INIT"),zero_init));
    

    变量属性修饰符__attribute__((section(“name”),zero_init))用于将变量强制定义到name属性数据节中，zero_init表示将未初始化的变量放到ZI数据节中。因为“NO_INIT”这显性命名的自定义节，具有UNINIT属性。

11. 将一个模块内的非初始化变量都非零初始化

12. 假如该模块名字为test.c，修改分散加载文件如下所示：

    1: LR_IROM1 0x00000000 0x00080000  {    ; load region size_region
        2:   ER_IROM1 0x00000000 0x00080000  {  ; load address = execution address
        3:    *.o (RESET, +First)
        4:    *(InRoot$$Sections)
        5:    .ANY (+RO)
        6:   }
        7:   RW_IRAM1 0x10000000 0x0000A000  {  ; RW data
        8:    .ANY (+RW +ZI)
        9:   }
       10:   RW_IRAM2 0x1000A000 UNINIT 0x00002000  {
       11:    test.o (+ZI)
       12:   }
       13: }
    

    在该模块定义时变量时使用如下方法：

    这里，变量属性修饰符__attribute__((zero_init))用于将未初始化的变量放到ZI数据节中变量，其实MDK默认情况下，未初始化的变量就是放在ZI数据区的。