MISRA C指导指南解读系列3（MISRA C规则11-19）

 

2.1.            标识符

11．标识符不能依赖于多于31个字符的意义。编译器和链接器应该可以支持31个字符的外部标识符(R)

12．不同域名空间的标识符的名称应该具有不同的拼写，结构体成员除外(A)

2.2.            类型

13．基本的类型，char，int，short，long，double，和float不应该被使用。应该使用编译器通过typedef定义的等价规定长度类型的名称（A）

14．char类型应该声明成unsigned char 或者是signed char（R）

       char类型会根据不同的编译器被默认为unsigned char 或 signed char

15．浮点类型的使用应该遵循明确的浮点标准(A)

16．程序员不能使用任何潜在的位表示的浮点数(R)

例如在IEEE754中：

typedef struct {

unsigned int mantissa1;

unsigned int mantissa0:31;

unsigned int one:1;

unsigned int exponent:15;

unsigned int negative:1;

unsigned int empty:16;

} _longDouble; // 80 bits intel long double

typedef struct {

unsigned int mantissa1;

unsigned int mantissa0:20;

unsigned int exponent:11;

unsigned int sign:1;

} _Double; // 64 bit double

 

typedef struct {

unsigned int mantissa:23;

unsigned int exponent:8;

unsigned int sign:1;

} _Float; // 32 bit float

              以及浮点向整型数的类型转换。

 

17．采用typedef的名字不能被其它标识符使用(R)

例如：

       typedef char mychar;

       void mycall() {

              char mychar; /* 与规则17发生冲突*/

 

}

2.3.            常数

18．数值常数应该添加后缀以表明类型(A)

void mycall()

 {

     unsigned long a = 65537; /* 与规则18冲突 */

     unsigned long b = 65537UL; /*  可以 */

     return;

 }

19．八进制常数不运行使用，零是可以的(R)

void myCall() {

     int code1= 07; /*与规则19冲突*/

     int code2= 7;  /*可以*/

     int code3 = 00; /*可以*/

 }