MISRA C++ 2008 标准解析
MISRA C++ 2008是《汽车专用软件的C++语言编程指南》，是针对C++语言的安全编码标准，适用C++ 03标准，是汽车行业公认的C++语言编码规范，目的是在研发生命周期早期发现软件中的缺陷，预防成本投入会大幅度降低投产后的售后维护成本。
MISRA C++ 2008主要是功能安全，共有规则228条。划分一级分类和二级分类，按照是否强制执行分为三个类别：文档、必要和建议。文档相当于MISRA C 2008中的指令类别，大多是一些编程要求，比较难于通过SAST技术实现。
| 分类 | 子类 | 编号 | 类别 | 规则项 | 支持 | 启用 |
| 语言独立性问题 | 不必要的结构 | M0-1-1 | 必要 | 项目不应包含无法到达的代码 | 是 | 是 |
| M0-1-2 | 必要 | 项目不应包含不可达的路径 | 是 | 是 | ||
| M0-1-3 | 必要 | 项目不应包含未使用的变量 | 是 | 是 | ||
| M0-1-4 | 必要 | 项目不应包含只使用一次的非”volatile POD“变量 | 是 | 是 | ||
| M0-1-5 | 必要 | 项目不应包含未使用的类型声明 | 是 | 是 | ||
| M0-1-6 | 必要 | 项目不应包含被赋予之后绝不会使用的值的非volatile变量的实例 | 是 | 是 | ||
| M0-1-7 | 必要 | 应始终使用不是重载运算符的返回类型为非void的函数返回值 | 是 | 是 | ||
| M0-1-8 | 必要 | 返回void类型的所有函数都有外部其他作用 | 是 | 是 | ||
| M0-1-9 | 必要 | 不应存在无用代码 | 是 | 是 | ||
| M0-1-10 | 必要 | 定义的函数至少应调用一次 | 是 | 是 | ||
| M0-1-11 | 必要 | 非虚函数中不应存在未使用的参数（已命名或未命名） | 是 | 是 | ||
| M0-1-12 | 必要 | 用于virtual函数以及覆盖该虚函数的所有函数的参数集中不应存在未使用的参数（已命名或未命名） | 是 | 是 | ||
| 存储 | M0-2-1 | 必要 | 不应将对象分配给重叠的对象 | 是 | 是 | |
| 运行时错误 | M0-3-1 | 文档 | 应至少使用以下方法之一来最大程度地减少运行时故障：(a)静态分析工具/方法；(b)动态分析工具/方法；(c)显式编码检查以处理运行时错误 | 否 | 是 | |
| M0-3-2 | 必要 | 如果函数返回了错误信息，则应该测试该错误信息 | 是 | 是 | ||
| 算法 | M0-4-1 | 文档 | 应该记录使用缩放整数或定点算法的情况 | 否 | 是 | |
| M0-4-2 | 文档 | 应该记录使用浮点算法的情况 | 否 | 是 | ||
| M0-4-3 | 文档 | 浮点实现应遵守定义的浮点标准 | 否 | 是 | ||
| 通常 | 语言 | M1-0-1 | 必要 | 所有代码都应符合ISO/IEC14882:2003“C++标准体现技术勘误1”(The C++ Standard Incorporating Technical Corrigendum 1) | 否 | 是 |
| M1-0-2 | 文档 | 只有当编译器具有共同定义的接口时才能使用多个编译器 | 否 | 是 | ||
| M1-0-3 | 文档 | 应该确定和记录选定编译器中整数除法的执行 | 否 | 是 | ||
| 固定词语 | 字符集 | M2-2-1 | 文档 | 应该记录字符集和相应的编码 | 否 | 是 |
| 三字符序列 | M2-3-1 | 必要 | 不应使用三字符组 | 是 | 是 | |
| 有向图 | M2-5-1 | 建议 | 不应使用图表 | 是 | 是 | |
| 注释 | M2-7-1 | 必要 | 不应在C 风格注释中使用字符序列/* | 是 | 是 | |
| M2-7-2 | 必要 | 不应使用C 风格注释将代码段“注释掉” | 是 | 是 | ||
| M2-7-3 | 建议 | 不应使用C++ 注释将代码段“注释掉” | 是 | 是 | ||
| 标识符 | M2-10-1 | 必要 | 不同的标识符在排字上应该清楚明确 | 是 | 是 | |
| M2-10-2 | 必要 | 在内部范围中声明的标识符不应隐藏在外部范围中声明的标识符 | 是 | 是 | ||
| M2-10-3 | 必要 | typedef名称（包括属性，如果有）应是唯一的标识符 | 是 | 是 | ||
| M2-10-4 | 必要 | 类、联合或enum名称（包括属性，如果有）必须是唯一的标识符 | 是 | 是 | ||
| M2-10-5 | 建议 | 具有静态存储期的非成员对象或函数的标识符名称不应再次使用 | 是 | 是 | ||
| 进制 | M2-10-6 | 必要 | 如果标识符是指类型，则它不应该在同一个范围内也指对象或函数 | 是 | 是 | |
| M2-13-1 | 必要 | 只应使用在ISO/IEC 14882:2003中定义的那些转义序列 | 是 | 是 | ||
| M2-13-2 | 必要 | 不应使用八进制常量（零除外）和八进制转义序列（“ | 是 | 是 | ||
| M2-13-3 | 必要 | 应对所有unsigned类型的八进制或十六进制整数常量应用“U”后缀 | 是 | 是 | ||
| M2-13-4 | 必要 | 常数值后缀应该采用大写 | 是 | 是 | ||
| M2-13-5 | 必要 | 不应将窄字符串和宽字符串常数值连接在一起 | 是 | 是 | ||
| 基本概念 | 声明和定义 | M3-1-1 | 必要 | 在不违反“一个定义规则”(One Rule)情况下可以在多个编译单元中包括任何头文件 | 是 | 是 |
| M3-1-2 | 必要 | 函数不应在块范围内声明 | 是 | 是 | ||
| M3-1-3 | 必要 | 当声明数组时，应显式指明其大小或在初始化中隐式定义其大小 | 是 | 是 | ||
| 一个定义规则 | M3-2-1 | 必要 | 对象或函数的所有声明都应具有兼容类型 | 是 | 是 | |
| M3-2-2 | 必要 | 不应违反“一个定义规则”(One Definition Rule) | 是 | 是 | ||
| M3-2-3 | 必要 | 在多个编译单元中使用的类型、对象或函数应在一个且仅在一个文件中声明 | 是 | 是 | ||
| M3-2-4 | 必要 | 包含外部链接的标识符应只具有一个外部定义 | 是 | 是 | ||
| 陈述区域和范围 | M3-3-1 | 必要 | 不应在头文件中声明具有外部链接的对象或函数 | 是 | 是 | |
| M3-3-2 | 必要 | 如果函数包含内部链接，则所有重新声明应包括static存储class说明符 | 是 | 是 | ||
| 名字查询 | M3-4-1 | 必要 | 声明为对象或类型的标识符应在最小化其可见性的块中定义 | 是 | 是 | |
| 类型 | M3-9-1 | 必要 | 用于对象、函数返回类型或函数参数的类型在所有声明和重新声明中均应为标识符相同 | 是 | 是 | |
| M3-9-2 | 建议 | 应该使用指示大小和符号的typedef 代替基本数值类型 | 是 | 是 | ||
| M3-9-3 | 必要 | 不应使用浮点值的基础位表示法 | 是 | 是 | ||
| 标准原型 | 完整提升 | M4-5-1 | 必要 | 不应将具有bool 类型的表达式用作内置运算符的操作数，以下运算符除外：赋值运算符=、逻辑运算符&&、||、!、等号运算符==和!=、一元&运算符以及条件运算符 | 是 | 是 |
| M4-5-2 | 必要 | 不应将枚举类型的表达式用作内置运算符的操作数，以下运算符除外：下标运算符 [ ]，赋值运算符 =，等号运算符 == 和 !=，一元 & 运算符以及关系运算符 <、<=、> 和 >=。 | 是 | 是 | ||
| M4-5-3 | 必要 | 不应将具有（普通）char 和 wchar_t 类型的表达式用作内置运算符的操作数，以下运算符除外：赋值运算符 =、等号运算符 == 和 != 以及一元 & 运算符。 | 是 | 是 | ||
| 指针原型 | M4-10-1 | 必要 | 不应将 NULL 用作整数值。 | 是 | 是 | |
| M4-10-2 | 必要 | 不应将常数值零 (0) 用作非指针常量。 | 是 | 是 | ||
| 表达式 | 通用 | M5-0-1 | 必要 | 在标准允许的任何求值顺序下，表达式的值都应相同 | 是 | 是 |
| M5-0-2 | 建议 | 在表达式中，应有限地依赖 C++ 运算符优先规则。 | 是 | 是 | ||
| M5-0-3 | 必要 | 不应将 cvalue 表达式隐式转换为其他基础类型 | 是 | 是 | ||
| M5-0-4 | 必要 | 隐式整数转换不应改变基础类型的符号 | 是 | 是 | ||
| M5-0-5 | 必要 | 不应存在隐式浮点-整数转换 | 是 | 是 | ||
| M5-0-6 | 必要 | 隐式整数或浮点转换不应减小基础类型的长度大小 | 是 | 是 | ||
| M5-0-7 | 必要 | cvalue 表达式不应存在显式浮点-整数转换。 | 是 | 是 | ||
| M5-0-8 | 必要 | 显式整数或浮点转换不应增加 cvalue 表达式基础类型的长度大小。 | 是 | 是 | ||
| M5-0-9 | 必要 | 显式整数转换不应改变 cvalue 表达式基础类型的符号。 | 是 | 是 | ||
| M5-0-10 | 必要 | 如果对基础类型为无符号 char 或无符号 short 的操作数应用了位运算符 ~ 和 <<，结果应立即转换为操作数的基础类型。 | 是 | 是 | ||
| M5-0-11 | 必要 | 普通 char 类型只应该用于存储，并使用字符值。 | 是 | 是 | ||
| M5-0-12 | 必要 | 带符号的和无符号的 char 类型只应该用于存储，并使用数字值。 | 是 | 是 | ||
| M5-0-13 | 必要 | if 语句的条件和迭代语句的条件都应具有 bool 类型。 | 是 | 是 | ||
| M5-0-14 | 必要 | 条件运算符的第一个操作数应具有 bool 类型。 | 是 | 是 | ||
| M5-0-15 | 必要 | 数组索引应该是指针算术运算唯一的形式 | 是 | 是 | ||
| M5-0-16 | 必要 | 指针操作数以及通过针对该操作数的指针算术运算获得的指针应访问相同数组的元素 | 是 | 是 | ||
| M5-0-17 | 必要 | 指针之间的减法运算只应该应用到访问同一数组的元素的指针 | 是 | 是 | ||
| M5-0-18 | 必要 | 不应对类型为指针的对象应用关系运算符 >、>=、< 和 <=，除非它们指向同一数组。 | 是 | 是 | ||
| M5-0-19 | 必要 | 对象的声明不应包含超过两级的指针间接 | 是 | 是 | ||
| M5-0-20 | 必要 | 二进制位运算符的非常量操作数应具有相同的基础类型 | 是 | 是 | ||
| M5-0-21 | 必要 | 位运算符只应该应用于unsigned基础类型的操作数 | 是 | 是 | ||
| 后置表达式 | M5-2-1 | 必要 | 逻辑 && 或 || 的每个操作数都应该是后缀表达式。 | 是 | 是 | |
| M5-2-2 | 必要 | 只应通过 dynamic_cast 将虚基类的指针转换为继承类的指针。 | 是 | 是 | ||
| M5-2-3 | 建议 | 不应对多态类型执行基class到继承class的转换 | 是 | 是 | ||
| M5-2-4 | 必要 | 不应使用 C 风格转换（void 转换除外）和函数注解转换（显式构造函数调用除外）。 | 是 | 是 | ||
| M5-2-5 | 必要 | 指针或引用类型的转换将不应移除任何常量或易失性属性 | 是 | 是 | ||
| M5-2-6 | 必要 | 转换不应将函数指针转换为任何其他指针类型，包括函数类型指针 | 是 | 是 | ||
| M5-2-7 | 必要 | 不应直接或间接将具有指针类型的对象转换为不相关的指针类型 | 是 | 是 | ||
| M5-2-8 | 必要 | 不应将具有整数类型或 void 类型指针的对象转换为具有指针类型的对象. | 是 | 是 | ||
| M5-2-9 | 建议 | 转换不应将指针类型转换为整数类型 | 是 | 是 | ||
| M5-2-10 | 建议 | 在表达式中，递增 (++) 和递减 (--) 运算符不应与其他运算符混合使用。 | 是 | 是 | ||
| M5-2-11 | 必要 | 逗号运算符、&& 运算符和 || 运算符不应重载。 | 是 | 是 | ||
| M5-2-12 | 必要 | 作为函数参数传递的类型为数组的标识符不应退化为指针 | 是 | 是 | ||
| 一元表达式 | M5-3-13 | 必要 | ! 运算符、逻辑运算符 && 或 || 的每个操作数的类型都应为 bool。 | 是 | 是 | |
| M5-3-2 | 必要 | 不应对基础类型为unsigned类型的表达式应用一元减运算符。 | 是 | 是 | ||
| M5-3-3 | 必要 | 一元 & 运算符不应重载。 | 是 | 是 | ||
| M5-3-4 | 必要 | sizeof 运算符的操作数的评估不应包含其他作用。 | 是 | 是 | ||
| 左移表达式 | M5-8-1 | 必要 | 移位运算符的右操作数应介于 0 和左操作数基础类型的位宽度之间。 | 是 | 是 | |
| 逻辑与操作符 | M5-14-1 | 必要 | 逻辑运算符 && 或 || 的右操作数不应包含其他作用。 | 是 | 是 | |
| 指定操作符 | M5-17-1 | 必要 | 应该保留二进制运算符及其赋值运算符形式之间的语义等价 | 否 | 是 | |
| 逗号操作符 | M5-18-1 | 必要 | 不应使用逗号运算符 | 是 | 是 | |
| 常量操作符 | M5-19-1 | 建议 | unsigned的整数常量表达式的求值不应导致溢出 | 是 | 是 | |
| 语句 | 表达式语句 | M6-2-1 | 必要 | 不应在子表达式中使用赋值运算符 | 是 | 是 |
| M6-2-2 | 必要 | 不应直接或间接对浮点表达式执行相等或不等测试 | 是 | 是 | ||
| M6-2-3 | 必要 | 在预处理之前，null 语句只能单独一行出现；该 null 语句可后接注释，前提是该语句后接的第一个字符是空格。 | 是 | 是 | ||
| 复合表达式 | M6-3-1 | 必要 | 形成 switch 主体的语句同时执行...。while 或 for 语句应是复合语句。 | 是 | 是 | |
| M6-4-1 | 必要 | if（条件）结构应该后接复合语句。else 关键字应该后接复合语句或另一个 if 语句。 | 是 | 是 | ||
| 选择表达式 | M6-4-2 | 必要 | 所有 if ...。else if 结构应以 else 语句结束。 | 是 | 是 | |
| M6-4-3 | 必要 | switch 语句应是符合语法的 switch 语句。 | 是 | 是 | ||
| M6-4-4 | 必要 | switch 标签只应在最里层的复合语句是 switch 语句的主体时使用。 | 是 | 是 | ||
| M6-4-5 | 必要 | 无条件的 throw 或 break 语句应该终止每一个非空 switch 子句。 | 是 | 是 | ||
| M6-4-6 | 必要 | switch 语句的最终子句应该是 default 子句。 | 是 | 是 | ||
| M6-4-7 | 必要 | switch 语句的条件不应包含 bool 类型。 | 是 | 是 | ||
| M6-4-8 | 必要 | 每个 switch 语句都应该至少具有一个 case 子句。 | 是 | 是 | ||
| 迭代表达式 | M6-5-1 | 必要 | for 循环应包含一个不应具有浮点类型的循环计数器。 | 是 | 是 | |
| M6-5-2 | 必要 | 如果循环计数器未通过 -- 或 ++ 修改，则在条件中，只应将循环计数器用作 <=、<、> 或 >= 的操作数。 | 是 | 是 | ||
| M6-5-3 | 必要 | 不应在条件或语句中修改循环计数器 | 是 | 是 | ||
| M6-5-4 | 必要 | 循环计数器应通过以下其中一项修改：--、++、-=n 和 +=n；其中 n 在循环持续时间内保持为常量。 | 是 | 是 | ||
| M6-5-5 | 必要 | 除循环计数器以外的循环控制变量不应在条件或表达式内进行修改 | 是 | 是 | ||
| M6-5-6 | 必要 | 在语句中修改的除循环计数器之外的循环控制变量应具有类型bool | 是 | 是 | ||
| 跳转表达式 | M6-6-1 | 必要 | goto 语句引用的任何标签都应在同一代码块或包括该 goto 语句的代码块中声明。 | 是 | 是 | |
| M6-6-2 | 必要 | goto 语句应跳转到在同一函数后半部分中声明的标签。 | 是 | 是 | ||
| M6-6-3 | 必要 | 不应在循环语法中使用 continue 语句。 | 是 | 是 | ||
| M6-6-4 | 必要 | 对于任何迭代语句，用于循环终止的 break 或 goto 语句不应超过一个。 | 是 | 是 | ||
| M6-6-5 | 必要 | 函数在函数结束处应该只有唯一的退出点 | 是 | 是 | ||
| 声明 | 说明符 | M7-1-1 | 必要 | 不能修改的变量应该使用 | 是 | 是 |
| M7-1-2 | 必要 | 如果函数参数是不能修改的对象，应该在函数中将相对应的参数的指针或引用声明为 const 指针或 const 引用。 | 是 | 是 | ||
| 枚举声明 | M7-2-1 | 必要 | 具有 enum 基础类型的表达式只应具有与枚举的枚举器对应的值。 | 是 | 是 | |
| 命名空间 | M7-3-1 | 必要 | 全全局命名空间只应包含 main、命名空间声明和 extern 声明。 | 是 | 是 | |
| M7-3-2 | 必要 | 标识符 main 不应用于除全局函数 main 之外的函数。 | 是 | 是 | ||
| M7-3-3 | 必要 | 头文件中不应存在未命名的命名空间 | 是 | 是 | ||
| M7-3-4 | 必要 | 不应使用 using 指令。 | 是 | 是 | ||
| M7-3-5 | 必要 | 同一namespace中的标识符的多个声明不应跨越该标识符的使用声明 | 是 | 是 | ||
| M7-3-6 | 必要 | 不应在头文件中使用 | 是 | 是 | ||
| asm声明 | M7-4-1 | 文档 | 应该记录所有使用汇编程序的情况 | 否 | 是 | |
| M7-4-2 | 必要 | 汇编程序说明只应使用 asm 声明引入。 | 是 | 是 | ||
| M7-4-3 | 必要 | 应该独立封装汇编语言 | 是 | 是 | ||
| 链接规范 | M7-5-1 | 必要 | 函数不应返回在函数内定义的自动变量（包括参数）的引用或指针 | 是 | 是 | |
| M7-5-2 | 必要 | 在第一个对象消失后不应将自动存储对象的地址赋值给另一个可能仍然存在的对象 | 是 | 是 | ||
| M7-5-3 | 必要 | 函数不应返回通过引用或const引用传递的参数的引用或指针 | 是 | 是 | ||
| M7-5-4 | 建议 | 函数不应直接或间接调用自身 | 是 | 是 | ||
| 声明 | 通用 | M8-0-1 | 必要 | init-declarator-list 或 member-declarator-list 应该分别包括一个init-declarator 或 member-declarator。 | 是 | 是 |
| 声明含义 | M8-3-1 | 必要 | 覆盖virtual函数中的参数应使用与其覆盖的函数相同的默认参数，否则不应指定任何默认参数 | 是 | 是 | |
| 功能定义 | M8-4-1 | 必要 | 不应使用 ellipsis 注解定义函数。 | 是 | 是 | |
| M8-4-2 | 必要 | 用于函数的重新声明中的参数的标识符应与声明中的标识符相同 | 是 | 是 | ||
| M8-4-3 | 必要 | 返回非 void 类型的函数的所有退出路径都应具有包含表达式的显式返回语句。 | 是 | 是 | ||
| M8-4-4 | 必要 | 函数标识符应该只用于函数调用，或者在其前使用 & 前缀。 | 是 | 是 | ||
| 初始化 | M8-5-1 | 必要 | 所有变量在使用之前都应先定义一个值 | 是 | 是 | |
| M8-5-2 | 必要 | 在数组和结构的非零初始化中，应使用大括号指示和匹配结构 | 是 | 是 | ||
| M8-5-3 | 必要 | 在枚举器列表中，不应将 = 构造用于显式初始化非首位成员之外的成员，除非所有项目都已经被显式初始化。 | 是 | 是 | ||
| 类 | 成员方法 | M9-3-1 | 必要 | const成员函数不应返回类数据的非常量指针或引用 | 是 | 是 |
| M9-3-2 | 必要 | 成员函数不应返回类数据的非常量句柄 | 是 | 是 | ||
| M9-3-3 | 必要 | 如果成员函数可以是static，则它应该是static，另外如果它可以是 const，则它应该是 const。 | 是 | 是 | ||
| 联合体 | M9-5-1 | 必要 | 不应使用联合 | 是 | 是 | |
| 位域 | M9-6-1 | 文档 | 在需要位的绝对定位表示位域时，应该记录位域的行为和包装 | 否 | 是 | |
| M9-6-2 | 必要 | 位域应该是bool类型或显式unsigned或signed的整数类型 | 是 | 是 | ||
| M9-6-3 | 必要 | 位域不应具有enum类型 | 是 | 是 | ||
| M9-6-4 | 必要 | 已命名signed整数类型的位域的长度应超过一位 | 是 | 是 | ||
| 子类 | 多个基类 | M10-1-1 | 建议 | 不应该通过virtual基类来继承类 | 是 | 是 |
| M10-1-2 | 必要 | 如果将基类用于菱形层次架构中，则只应将其声明为虚基类 | 是 | 是 | ||
| M10-1-3 | 必要 | 可访问基class在同一层次架构中不能同时为virtual基类和非虚基类 | 是 | 是 | ||
| 成员方法查找 | M10-2-1 | 建议 | 多继承层次架构中的所有可访问实体名称都应该唯一 | 是 | 是 | |
| 虚方法 | M10-3-1 | 必要 | 在整个继承层次架构中，每个virtual函数在每个路径中的定义不应超过一个 | 是 | 是 | |
| M10-3-2 | 必要 | 每个覆盖虚函数都应使用virtual关键字声明 | 是 | 是 | ||
| M10-3-3 | 必要 | 如果virtual函数被声明为纯虚函数，则该virtual函数只应被纯virtual函数覆盖 | 是 | 是 | ||
| 成员存取控制 | 通用 | M11-0-1 | 必要 | 非POD类类型中的成员数据应该是私有的 | 是 | 是 |
| 特殊成员方法 | 构造器 | M12-1-1 | 必要 | 对象的动态类型不应在其构造函数或析构函数的主体中使用 | 是 | 是 |
| M12-1-2 | 建议 | class的所有构造函数都应显式调用其所有直接基类和所有virtual基类的构造函数 | 是 | 是 | ||
| M12-1-3 | 必要 | 所有可通过单个基本类型的参数调用的构造函数都应explicit声明 | 是 | 是 | ||
| 拷贝类对象 | M12-8-1 | 必要 | 复制构造函数只应初始化其基类以及本类的非静态成员 | 是 | 是 | |
| M12-8-2 | 必要 | 复制赋值运算符在抽象class中应被声明为protected或private | 是 | 是 | ||
| 模板 | 模板声明 | M14-5-1 | 必要 | 非成员类属函数只应在不关联的namespace中声明 | 是 | 是 |
| M14-5-2 | 必要 | 当存在具有一个类属参数的模板构造函数时，应声明复制构造函数 | 是 | 是 | ||
| M14-5-3 | 必要 | 当存在具有类属参数的模板赋值运算符时，应声明复制赋值运算符 | 是 | 是 | ||
| 名字解析 | M14-6-1 | 必要 | 在具有从属基类的类模板中，在该从属基类中可能找到的任何名称应使用qualified-id或this->引用 | 是 | 是 | |
| M14-6-2 | 必要 | 由重载解析选择的函数应解析为在以前在编译单元中声明的函数 | 是 | 是 | ||
| 模板实例化和说明 | M14-7-1 | 必要 | 所有class模板、函数模板、class模板成员函数和class模板static成员都应至少实例化一次 | 是 | 是 | |
| M14-7-2 | 必要 | 对于任何指定的模板具体化，在具体化中使用模板参数的情况下，模板的显式实例化不应呈现给（传递给）不规范的程序 | 是 | 是 | ||
| M14-7-3 | 必要 | 模板的所有部分和显式具体化应在与主模板的声明相同的文件中声明 | 是 | 是 | ||
| 功能模板说明 | M14-8-1 | 必要 | 不应显式具体化重载函数模板 | 是 | 是 | |
| M14-8-2 | 建议 | 为函数调用设置的可行函数应该不包含函数具体化，或只包含函数具体化 | 是 | 是 | ||
| 异常处理 | 通用 | M15-0-1 | 文档 | 异常只应用于错误处理 | 否 | 是 |
| M15-0-2 | 建议 | 异常对象不应具有指针类型 | 是 | 是 | ||
| M15-0-3 | 必要 | 不应使用goto或switch语句将控制转化为try或catch块 | 是 | 是 | ||
| 抛出异常 | M15-1-1 | 必要 | throw语句的赋值表达式本身不应导致抛出异常 | 是 | 是 | |
| M15-1-2 | 必要 | 不应显式抛出NULL | 是 | 是 | ||
| M15-1-3 | 必要 | 空throw(throw;)只应用于catch处理程序的复合语句 | 是 | 是 | ||
| 处理异常 | M15-3-1 | 必要 | 只应在程序启动之后并且在终止之前报告异常 | 是 | 是 | |
| M15-3-2 | 建议 | 至少应有一个异常处理程序用于捕获所有未处理的异常 | 是 | 是 | ||
| M15-3-3 | 必要 | 类构造函数或析构函数的function-try-block实现的处理程序不应引用此类或其基类的非静态成员 | 是 | 是 | ||
| M15-3-4 | 必要 | 代码中显式抛出的每个异常在所有可能导致该异常的调用路径中都应具有兼容类型的处理程序 | 是 | 是 | ||
| M15-3-5 | 必要 | class类型异常应始终通过引用捕获 | 是 | 是 | ||
| M15-3-6 | 必要 | 当在针对继承类及其部分或全部基类的单个try-catch语句或function-try-block中提供多个处理程序时，应按从最上层继承类到基类的顺序排列这些处理程序 | 是 | 是 | ||
| M15-3-7 | 必要 | 当在单个try-catch语句或function-try-block中提供多个处理程序时，所有ellipsis(catch-all)处理程序都应最后发生 | 是 | 是 | ||
| 例外说明 | M15-4-1 | 必要 | 如果函数使用异常规范声明，则同一函数（在其他编译单元中）的所有声明都应使用同一组类型ID来声明 | 是 | 是 | |
| 特定功能 | M15-5-1 | 必要 | class析构函数不应存在异常 | 是 | 是 | |
| M15-5-2 | 必要 | 当函数的声明包括异常规范时，该函数只能抛出指定类型的异常 | 是 | 是 | ||
| M15-5-3 | 必要 | 不应隐式调用terminate()函数 | 是 | 是 | ||
| 预处理指令 | 通用 | M16-0-1 | 必要 | 文件中的#include指令之前只能包含其他预处理器指令或注释 | 是 | 是 |
| M16-0-2 | 必要 | 在全局namespace中，只应使用#defined #undefd定义或取消定义宏 | 是 | 是 | ||
| M16-0-3 | 必要 | 不应使用#undef | 是 | 是 | ||
| M16-0-4 | 必要 | 不应定义类似于函数的宏 | 是 | 是 | ||
| M16-0-5 | 必要 | 类似于函数的宏的参数不应包含看起来像是预处理指令的标识符 | 是 | 是 | ||
| M16-0-6 | 必要 | 在类似于函数的宏的定义中，参数的每个实例都应使用圆括号括起，除非它被用作 # 或 ## 的操作数。 | 是 | 是 | ||
| M16-0-7 | 必要 | 不应将未定义的宏标识符用于#if或#elif预处理器指令，除非作为定义的运算符的操作数 | 是 | 是 | ||
| M16-0-8 | 必要 | 如果#标识符在行中显示为第一个标识符，则其后应紧接预处理标识符 | 是 | 是 | ||
| 条件包含 | M16-1-1 | 必要 | 定义的预处理器运算符只能采用两种标准形式中的一种 | 是 | 是 | |
| M16-1-2 | 必要 | 所有 #else、#elif 和 #endif 预处理器指令都应和相关的 #if 或 #ifdef 指令处在同一文件中。 | 是 | 是 | ||
| 源文件包含 | M16-2-1 | 必要 | 只应将预处理器用于文件包含和包含保护 | 是 | 是 | |
| M16-2-2 | 必要 | C++宏只应用于包含保护、类型限定符或存储class说明符 | 是 | 是 | ||
| M16-2-3 | 必要 | 应提供包含保护 | 是 | 是 | ||
| M16-2-4 | 必要 | '、"、/*或//字符不应出现在头文件名称中 | 是 | 是 | ||
| M16-2-5 | 建议 | \字符不应出现在头文件名称中 | 是 | 是 | ||
| M16-2-6 | 必要 | #include 指令应后接 <filename> 或“filename”序列。 | 是 | 是 | ||
| 宏取代 | M16-3-1 | 必要 | 在单个宏定义中，#或##运算符最多只应出现一次 | 是 | 是 | |
| M16-3-2 | 建议 | 不应使用#和##运算符 | 是 | 是 | ||
| Pragma指令 | M16-6-1 | 文档 | 应该记录对#pragma指令的所有使用情况 | 否 | 是 | |
| 库介绍 | 通用 | M17-0-1 | 必要 | 不应定义、重新定义或取消定义标准库中的保留标识符、宏和函数 | 是 | 是 |
| M17-0-2 | 必要 | 标准库宏和对象的名称不应再次使用 | 是 | 是 | ||
| M17-0-3 | 必要 | 不应覆盖标准库函数的名称 | 是 | 是 | ||
| M17-0-4 | 文档 | All-library-code-shall-conform-to-MISRA-C++ | 否 | 是 | ||
| M17-0-5 | 必要 | 不应使用setjmp宏和longjmp函数 | 是 | 是 | ||
| 语言支持库 | 通用 | M18-0-1 | 必要 | 具有相应 C 兼容库的 C++ 库必须使用 C++ 版本。 | 是 | 是 |
| M18-0-2 | 必要 | 不应使用来自库<cstdlib>中的库函数atof、atoi和atol | 是 | 是 | ||
| M18-0-3 | 必要 | 不应使用来自库<cstdlib>中的库函数abort、exit、getenv和system | 是 | 是 | ||
| M18-0-4 | 必要 | 不应使用库<ctime>的时间处理函数 | 是 | 是 | ||
| M18-0-5 | 必要 | 不应使用库<cstring>的无边界函数 | 是 | 是 | ||
| 实现属性 | M18-2-1 | 必要 | 不应使用宏offsetof | 是 | 是 | |
| 动态内存管理 | M18-4-1 | 必要 | 不应使用动态堆内存分配 | 是 | 是 | |
| 其它允许时支持 | M18-7-1 | 必要 | 不应使用 <csignal> 的信号处理设施。 | 是 | 是 | |
| 诊断库 | 错误数 | M19-3-1 | 必要 | 不应使用错误指示器errno | 是 | 是 |
| 输入/输出库 | 通用 | M27-0-1 | 必要 | 不应使用数据流输入/输出库<cstdio> | 是 | 是 |
（结束）
相关文章：
MISRA C++ 2008 标准解析
MISRA C 2008是《汽车专用软件的C语言编程指南》，是针对C语言的安全编码标准，适用C 03标准，是汽车行业公认的C语言编码规范，目的是在研发生命周期早期发现软件中的缺陷，预防成本投入会大幅度降低投产后的售后维护成本。…...
Linux16 ftp文件服务区、vsftpd文件系统服务安装、lftp客户端安装、NFS远程共享存储
目录 一、FTP基础ftp主动模式ftp被动模式 二、vsftpd配置共享目录编辑配置文件使用windows 访问 三、客户端安装 （lftp）匿名用户的一些操作（lftp {ip}）ftp配置本地用户登录配置本地用户ftp配置文件 lftp操作 NFS远程共享存储安装n…...
[排序篇] 冒泡排序
目录 一、概念 二、冒泡排序 2.1 冒泡降序(从大到小排序) 2.2 冒泡升序(从小到大排序) 三、冒泡排序应用 总结 一、概念 冒泡排序核心思想：每次比较两个相邻的元素，如果它们不符合排序规则（升序或降序）则把它们交换过来。…...
CGAL的四面体网格重构
1、多材料各向同性四面体网格重构 此软件包实现了等人提出的四边形网格质量重分算法。这种实用的迭代重分网格算法旨在通过迭代执行一系列基本操作来重分多材料四边形网格，这些操作包括边缘分裂、边缘折叠、边缘翻转和顶点重定位，这些操作是在拉普拉斯平…...
排序-选择排序与堆排序
文章目录 一、选择排序二、堆排序三、时间复杂度四、稳定性 一、选择排序 思想： 将数组第一个元素作为min，然后进行遍历与其他元素对比，找到比min小的数就进行交换，直到最后一个元素就停止，然后再将第二个元素min&…...
d2l绘图不显示的问题
之前试了各种方法都不行 在pycharm中还是不行，但是在anaconda中的命令行是可以的 anaconda prompt conda activaye py39 #进入f盘 F: #运行文件 python F:\python_code\softmax.py...
智能优化算法应用：基于人工蜂群算法3D无线传感器网络(WSN)覆盖优化 - 附代码
智能优化算法应用：基于人工蜂群算法3D无线传感器网络(WSN)覆盖优化 - 附代码 文章目录 智能优化算法应用：基于人工蜂群算法3D无线传感器网络(WSN)覆盖优化 - 附代码1.无线传感网络节点模型2.覆盖数学模型及分析3.人工蜂群算法4.实验参数设定5.算法结果6.…...
云原生的 CI/CD 框架tekton - Trigger（二）
上一篇为大家详细介绍了tekton - pipeline，由于里面涉及到的概念比较多，因此需要好好消化下。同样，今天在特别为大家分享下tekton - Trigger以及案例演示，希望可以给大家提供一种思路哈。 文章目录 1. Tekton Trigger2. 工作流程3…...
maven环境搭建
maven历史版本下载：https://archive.apache.org/dist/maven/ 新建系统变量编辑Path，添加bin目录mvn -v测试查看版本号conf目录下新建repository文件夹，作为本地仓库 settings.xml <?xml version"1.0" encoding"UTF-8&…...
利用Rclone将阿里云对象存储迁移至雨云对象存储的教程，对象存储数据迁移教程
使用Rclone将阿里云对象存储(OSS)的文件全部迁移至雨云对象存储(ROS)的教程，其他的对象存储也可以参照本教程。 Rclone简介 Rclone 是一个用于和同步云平台同步文件和目录命令行工具。采用 Go 语言开发。 它允许在文件系统和云存储服务之间或在多个云存储服务之间…...
二叉树的前序遍历
问题描述： 给你二叉树的根节点root，返回节点值的前序遍历。 示例 1： 输入：root [1,null,2,3] 输出：[1,2,3]示例 2： 输入：root [] 输出：[]示例 3： 输入：ro…...
final的安全发布
final的安全发布 两个关键字“发布”“安全” 所谓发布通俗一点的理解就是创建一个对象，使这个对象能被当前范围之外的代码所使用 比如Object o new Object(); 然后接下来使用对象o 但是对于普通变量的创建，之前分析过，大致分为三个步骤&am…...
3易懂AI深度学习算法:长短期记忆网络（Long Short-Term Memory, LSTM）生成对抗网络 优化算法进化算法
继续写：https://blog.csdn.net/chenhao0568/article/details/134920391?spm1001.2014.3001.5502 1.https://blog.csdn.net/chenhao0568/article/details/134931993?spm1001.2014.3001.5502 2.https://blog.csdn.net/chenhao0568/article/details/134932800?spm10…...
云计算 云原生
一、引言 云计算需要终端把信息上传到服务器，服务器处理后再返回给终端。在之前人手一台手机的情况下，云计算还是能handle得过来的。但是随着物联网的发展，什么东西都要联网，那数据可就多了去了，服务器处理不过来&…...
深拷贝、浅拷贝 react的“不可变值”
知识获取源–晨哥（现实中的人 嘿嘿） react中如果你想让一个值始终不变 或者说其他操作不影响该值 它只是作用初始化的时候 使用了浅拷贝–改变了初始值 会改变初始值(selectList1) 都指向同一个地址 const selectList1 { title: 大大, value: 1 };con…...
赛宁网安多领域亮相第三届网络空间内生安全发展大会
2023年12月8日，第三届网络空间内生安全发展大会在宁开幕。两院院士、杰出专家学者和知名企业家相聚南京，围绕数字经济新生态、网络安全新范式进行广泛研讨，为筑牢数字安全底座贡献智慧和力量。 大会围绕“一会、一赛、一展”举办了丰富多彩的…...
LintCode 123 · Word Search (DFS字符处理经典题！)
123 Word Search Algorithms Medium Description Given a 2D board and a string word, find if the string word exists in the grid. The string word can be constructed from letters of sequentially adjacent cell, where “adjacent” cells are those horizontally o…...
SpringCloud面试题——Sentinel
一：什么是Sentinel？ Sentinel是一个面向分布式架构的轻量级服务保护框架，实现服务降级、服务熔断、服务限流等功能 二：什么是服务降级？ 比如当某个服务繁忙,不能让客户端的请求一直等待,应该立刻返回给客户端一个备…...
【精选】 VulnHub (超详细解题过程)
🍬 博主介绍👨🎓 博主介绍：大家好，我是 hacker-routing ，很高兴认识大家~ ✨主攻领域：【渗透领域】【应急响应】 【python】 【VulnHub靶场复现】【面试分析】 🎉点赞➕评论➕收藏…...
数据结构与算法-Rust 版读书笔记-2线性数据结构-队列
数据结构与算法-Rust 版读书笔记-2线性数据结构-队列 1、队列：先进先出 队列是项的有序集合，其中，添加新项的一端称为队尾，移除项的另一端称为队首。一个元素在从队尾进入队列后，就会一直向队首移动，直到…...
Android Kotlin Viewbinding封装
目录 Viewbinding配置 Activity封装 Activity使用 Fragment封装 Fragment使用 Dialog封装 Dialog使用 Viewbinding配置 android { viewBinding { enabled true } } Activity封装 import android.os.Bundle import android.view.LayoutInflater import androidx.ap…...
Flutter：web项目跨域问题解决
前后端解决系列 文章目录 一、Flutter web客户端解决本地环境调试跨域问题二、Flutter web客户端解决线上环境跨域问题 一、Flutter web客户端解决本地环境调试跨域问题 就一句命令【--web-browser-flag "--disable-web-security"】，用来屏蔽浏览器域名请…...
汽车标定技术(十二)--A2L文件生成的方法
目录 1.工具生成 1.1 CANape/ASAP2 Studio 1.2 ASAP2ToolKit 1.3 Matlab/Simulink 2.手写A2L要点 3.小结 A2L文件的制作一直以来是一个很少有人关注的方向，不管是标定工程师还是Slave协议栈的开...
《PySpark大数据分析实战》-03.了解Hive
📋 博主简介 💖 作者简介：大家好，我是wux_labs。😜 热衷于各种主流技术，热爱数据科学、机器学习、云计算、人工智能。 通过了TiDB数据库专员（PCTA）、TiDB数据库专家（PCTP…...
经验分享｜MySQL分区实战（RANGE）
概述 分区概述 在 MySQL 中， InnoDB存储引擎长期以来一直支持表空间的概念。在 MySQL 8.0 中，同一个分区表的所有分区必须使用相同的存储引擎。但是，也可以为同一 MySQL 服务器甚至同一数据库中的不同分区表使用不同的存储引擎。 通俗地讲…...
Arrays.asList() 和 Collections.singletonList()
Arrays.asList() 和 Collections.singletonList() 概述 List 是我们使用Java时常用的集合类型。众所周知，我们可以轻松地在一行中初始化列表。例如，当我们想要初始化一个只有一个元素的List时，我们可以使用Arrays.asList（&#…...
Firmware Analysis Plus (Fap)固件模拟安装教程(最新)
最近在搞IoT的研究，但是难在设备比较难弄，只有固件，而没有设备，买吧，又太费钱，不划算。好在有很多项目可以在模拟环境中运行固件。但是几乎没有一个平台能够模拟所有硬件设备。IoT产品的架构也不尽相同。 …...
使用包、Crate 和模块管理项目（上）
目录 1、包和Crate 2、定义模块来控制作用域与私有性 2.1 在模块中对相关代码进行分组 3、引用模块项目的路径 3.1 使用 pub 关键字暴露路径 二进制和库 crate 包的最佳实践 3.2 super 开始的相对路径 3.3 创建公有的结构体和枚举 Rust 有许多功能可以让你管理代码的组…...
【Kotlin】
Lambda 就是一小段可以作为参数传递的代码。 因为正常情况下，我们向某个函数传参时只能传入变量，而借助Lambda 却允许传入一小段代码。 Lambda 表达式的语法结构： {参数名1: 参数类型, 参数名2: 参数类型 -> 函数体}首先，最外…...
JavaDay17
创建不可变集合 import java.util.Iterator; import java.util.List;public class Test {public static void main(String[] args) {/*创建不可变的List集合* "张三" "李四" "王五" "赵六*///一旦创建之后 是无法进行修改的 在下面的代码…...