1216_MISRA_C规范学习笔记_控制流的规则要求

全部学习汇总： https://github.com/GreyZhang/misra_c_hacking

不能够有执行不到的代码，但是防御性代码除外。关于防御性代码是什么，在后面的规则中可以继续了解。对于我现在接触的各种项目来说，其实这部分冲突最大的点或许是在于标定选择使能的分支生效。这部分的确也是在编译阶段就能够侦测到的，但是在实际的应用中其实还是得保留的。

所有的非空表达式要么可以产生某种有效的效果，要么就是可以影响到程序流的选择或者改变。单纯的无效处理是不允许的。

空语句之后必须要有至少一个空格，之后才可以加注释。另外，不能够在注释之后使用空语句。

这几条要求直接没解释，因为足够直接。首先，不能够使用goto；其次，不能够使用continue；再者，每一个循环都只能够有最多一个break用于循环的结束。目前看来，我接触到的项目可能都没有完全处理掉这样的要求。有一些遗留代码中的协议栈似乎有goto，而我自己在设计软件的时候也用过continue。另外，似乎也见过多个break的情况。其实，如果遵守这几条要求也是有解决的路子的，加点状态量和条件分支就很容易可以解决。

一个函数只能够在函数的最后面有一个退出点。其实，之前看过的开源的1939协议似乎这方面做得挺不错。

各种循环以及条件结构，大括号尽量用基本上就没错了。

满足这条规则的最佳时间应该跟上面写的结合，尽量都用大括号来处理条件分支。另外，每一个if都应该以一个else结束。而这个else就是前面提到的防御式编程，如果真是执行不到，那么在这里写一条注释说明原因。这一条倒是在很多年之前的工作之中听别人提了一下就印在我自己的记忆中了，那时候我并没有写多少代码，但是时至今日这些要求都固化成了我自己的编码习惯。