学习笔记:理解和遵守1218_MISRA_C规范中关于switch表达式的要求
全部学习汇总: https://github.com/GreyZhang/misra_c_hacking
switch语句如果不加限制的话会引入很多复杂的表达以及bug,因此在使用的时候应该通过风格或者规则来加以限制。对我来说,比较好的一点是在编码的初期就被这些条款卡住了以至于后来看到有些代码的写法让我觉得开启了新的世界一般。随心所欲而不逾矩,规则规范的存在还是好的,至少是可以让自己期待的一切都是可控的。
看上去,实现这一条规则的方式也很简单。只要是有执行内容的case最后加上一个break即可。看到这里,我倒是想到了《 C专家编程》上的一个描述:一般来说,使用switch的时候不写break的时候通常都是bug。这里提到的则是非空的条件需要用break来结束,应该是考虑了有多条件的跳转分支实现。
最后的一个表达式应该是default,自然,default也应该加上break。这里,又让我想到了之前看书时候看到的一个内容。其实,这个default也没有一个严格的要求或者手段,这个lable即使是拼写错误也依然会编译通过。如果真是出现了子母l写成了数字1之类的错误,在这里还是很致命的。不过,类似的问题使用静态检查的工具应该是很容易检查出来的。
15.4,switch的条件表达式不能够是布尔量。
15.5,这个例子很有参考价值,几个注意点:1,switch中不要进行变量的定义声明,相应的处理我个人在处理的时候都是在函数的最开始位置; 2,case不能够出现嵌套;3,有处理操作的case中一定要有break;4,default的使用需要规范。
这一部分就是MISRA C 2004中对于switch表达式的要求,如果是新手,其实这方面或许还是有一些栽跟头的可能性的。前期,有一个静态分析工具作为基础过关的把控者还是很有必要的。