MISRA - C

1 必须用typedef显示标识出各数据。

2 如果位操作符和移位操作符联合作用于unsigned char或者unsigned short类型的操作数时，中间运算步骤的结果必须立刻显示强制转换为预期的短整型数据类型。

3 MISRA-C对表达式中存在的隐式数据类型转换作了严格的限制，要求程序员明确任意一个操作数的实际数据类型。

4. 指向不同数据类型的指针之间不能相互转换。（因为某些CPU对数据类型加强了对齐限制）

5. 指针转换过程中不允许丢失指针的const volatile属性

6. 只有指向数组的指针才允许进行算术运算（因为ISO C标准中，对指向数组成员的指针运算作了规范定义，初次以外的指针运算属于未定义范围，具体实现有赖于具体编译器器件）

7. 不允许使用联合体

8. 所有结构体和联合体的定义必须保证完整性

9. 表达式的值必须在任何求值顺序下保持一致（将一个复杂的表达式分解成若干个简单的表达式，保证求值的顺序）

10. 减少表达式对C语言运算符优先级的依赖性（用括号来保证运算顺序，而不依赖与C语言的运算符优先级）

11. 不允许将sizeof运算符作用于有副作用的表达式上。（副作用指表达式在执行后对程序运行环境可能会造成影响）

12. 逻辑运算符（&&和||）的右操作数不允许包含副作用。

13. 赋值表达式不能用在需要布尔值的地方

14. 判断一个值是否为0应该是显示的，除非该操作数是一个布尔值。

15. 所有非空的switch子句都应该以break语句结束。

16. 布尔表达式的值必须是可以改变的。

17. 不能存在无法执行到的代码

18. 非空语句必须产生副作用或者使程序流程改变

19. 一行中如果有空语句，那么改行只能有这条空语句，不能有别的语句，并且在这条空语句前不能有注释，注释必须在其后，用空格隔开。

20. switch, while, do...while和for语句的主体必须是复合语句（即用大括号包含），即使该主体只包含一条语句。

21. switch的最后一个子句必须是default子句，如果default中没有包含任何语句，那么应该有注释来说明为什么没有进行任何操作。

22. switch表达式不能是一个有效的布尔值。

23. 不允许使用goto和continue语句

24. 循环体中最多只能出现一个break语句用于结束循环。

25. 函数只能有一个出口，这个出口必须在函数末尾。

26. if ... else if结构必须由一个else子句结束。

27. for循环的控制表达式不应包含浮点数类型。

28. 头文件中不允许包含对象或函数的定义。

29. 函数必须声明原型，在函数定义和调用时原型必须可见。（要求原型声明函数，主要是希望可以利用编译器检查函数时数据类型的一致性）

30. 不允许定义参数数量不确定的函数。

31. 函数不得调用本身，无论是直接的调用，还是间接的调用

32. 函数式宏定义中，任何一个参数都应该加上小括号（为了防止宏展开后因缺少括号而存在的优先级错误问题）

33. 应优先考虑使用函数而非函数式宏定义。