3. 规则分类与解读：MISRA-C规则的三大分类

MISRA-C 的规则体系，说白了就是一套「交通法规」。你开车上路，有的规则是必须遵守的（比如红灯停），有的是强烈建议的（比如系安全带），还有的是提醒你注意的（比如雨天慢行）。

我个人习惯把规则分类看作「安全等级」的划分。搞懂这个，你才能知道哪些红线绝对不能碰，哪些可以灵活处理。

3.1 三大分类：强制、必要、建议

MISRA-C 2012 把规则分成三类。我直接给你一张表，一目了然：

分类	英文标识	含义	违反后果
强制	Required	必须遵守，没有例外	代码审查直接不通过
必要	Mandatory	必须遵守，但可申请偏差	需书面说明理由
建议	Advisory	强烈建议遵守	不强制，但最好照做

我在项目中遇到过好几次这样的情况：团队里有人觉得「建议」规则无所谓，结果代码跑在极端环境下就出问题。嗯，这里要注意——建议规则往往是血的教训总结出来的。

3.2 规则编号体系解读

MISRA-C 的规则编号看起来像密码，其实有规律可循。比如 Dir 4.1 和 Rule 10.1，拆开来看就懂了。

3.2.1 前缀的含义

• Dir：指导性规则（Directive）。这类规则比较宏观，通常涉及开发流程、文档、工具链等。比如 Dir 4.1 要求「运行时错误要能被检测到」。
• Rule：具体规则（Rule）。这类规则直接对应代码怎么写，比如 Rule 10.1 关于操作数类型的规则。

你想想看，Dir 和 Rule 的区别就像「公司制度」和「操作手册」。Dir 告诉你「要保证安全」，Rule 告诉你「安全带怎么系」。

3.2.2 编号的层级

编号的数字部分也有讲究：

• 个位数：大分类。比如 Rule 1.x 是环境相关，Rule 10.x 是表达式相关。
• 小数点后：具体规则序号。比如 Rule 10.1、Rule 10.2 都是表达式类型相关的规则。

举个例子：

Dir 4.1 → 指导性规则，第4大类，第1条
Rule 10.1 → 具体规则，第10大类（表达式），第1条
Rule 21.1 → 具体规则，第21大类（标准库），第1条

3.3 如何快速查阅规则文档

MISRA-C 的官方文档有几百页，硬啃肯定不行。我教你三个方法，都是实战中总结出来的。

3.3.1 按分类索引

官方文档自带分类索引，按主题分组：

大类编号	主题	典型规则
1-3	环境与语言基础	Rule 1.1, Rule 2.1
4-9	声明与类型	Rule 8.1, Rule 9.1
10-13	表达式与副作用	Rule 10.1, Rule 13.1
14-16	控制流	Rule 14.1, Rule 15.1
17-20	函数与指针	Rule 17.1, Rule 18.1
21-22	标准库与资源	Rule 21.1, Rule 22.1

3.3.2 用工具辅助搜索

我曾经花了一整天手工翻文档找一条规则，后来发现工具能省 90% 的时间：

• PC-Lint / QAC：这些静态分析工具会直接告诉你违反的是哪条规则，编号都给你标好了。
• PDF 搜索：官方 PDF 文档支持全文搜索，直接搜 Rule 10.1 就能定位。
• 在线索引表：MISRA 官网有 Excel 格式的规则清单，可以按分类、关键词筛选。

3.3.3 理解规则背后的逻辑

光查规则还不够，你得理解它为什么这么规定。比如 Rule 10.1 要求操作数类型必须匹配，背后的逻辑是防止隐式类型转换导致精度丢失或溢出。

我建议你每查一条规则，都问自己三个问题：

1. 这条规则防止什么错误？
2. 如果不遵守，代码在什么场景下会出问题？
3. 有没有合法的例外情况？

你想想看，理解了「为什么」，你才能在实际开发中灵活运用，而不是死记硬背。

3.4 规则分类与编号体系总览

下面这张图帮你把整个规则体系串起来：

这张图把规则体系拆成了三层：分类、前缀、编号。你从上往下看，就能快速定位一条规则属于哪个层级。