MisraC—编著更安全、更清晰的C代码

个人电脑开发计划人员经常抱怨不能一种编程母语简便他们的特殊供给。在并不一定上，这种情况并不令人惊讶，因为尽管许多开发计划人员都在开发计划个人电脑不宜用流程，但他们仍然只是世上编程社区的一小部分。尽管如此，有些母语的开发计划还是受制于了个人电脑。值得注意的例子是PL/M、Forth和Ada，它们都被最常可用，但不曾被普遍存在给与。其他母语，如Rust，正在获得赞成，但尚无成为当今。依然被普遍存在换用的在此之后是C，如何使在此之后最有效地与此相反？

C母语结构紧凑，传达能力强于，GUI。它为流程员给予了撰写高效、区分开和可维护预定义的分析方法。所有这些连续性都是它颇受欢迎的原因。不幸的是，这种母语还使粗心大意的开发计划人员撰写危险的、不必需的预定义，这些预定义在开发计划工程建设的所有阶段和布防中的都或许避免更为严重的问题。对于耐用性和/或耐用性是主要优先事宜的不宜用流程，母语的这些缺陷是一个主要问题。

正是在这种背景下，在20世纪90八十年代六十年代，车也制造业软件可靠性该协可能会（MISRA）推出了一套关于在两车控制系统中的可用C的简要，被称作MISRA C。自那时以来，该简要一直在迅速完善，并不时发布更新。还建立了值得注意的可用C++的分析方法。虽然该简要最初是针对车也用软件的个人电脑开发计划人员，但很快就意识到，它们同样适运用于耐用性至关重要的许多其他不宜用领域，并且该常规现在已在许多行业中的最常换用。

尽管MISRA C不是一个款式简要——事实上，许多用户不宜用了款式简要和常规——但许多准则也促进了清晰易读的可维护预定义的撰写。这是极为有益的，因为并能理解的预定义不太或许隐秘或多或少的错误或默认的行为。

我将在这里最简单参考一下简要。MisraC正在迅速地进行审核，迅速地重写简要的清晰性和可靠性，并赞成更新版本的C母语常规。尽管细节发生了波动，但总体初衷和分析方法不能波动。

准则13.2–在所有强制的评估以此类推下，赋值的值及其开放性药物不宜相同

C母语常规在赋值的多线程以此类推各个方面为C#给予了极为最常的自由度。因此，在个人电脑开发计划中的，任何对多线程以此类推寻常的预定义都依赖于C#，并且依赖于C#的预定义不宜始终被认作不必需的。

准则17.2——职能部门不得直接或或多或少子程序自己

有时，传达正则表达式的一种高雅方式是可用运算符。但是，除非运算符受到极为完全符合的控制，否则存在堆栈溢出的危险，这反过来可能会避免很难找到bug。在必需关键预定义中的，不宜避免运算符。

准则19.2–不不宜可用union关键字

尽管C是一种类型化母语，但类型化并不是很完全符合，开发计划人员或许可能会试图覆盖类型化来“简化”预定义。恪守数据类型的规范对于创建必需预定义至关重要，因为任何绕过数据类型的尝试都或许产生默认的结果。union关键字可以运用于多种目的，通常可能会避免预定义不清晰，但也可以作为避免键入的一种策略。

有人或许可能会谈论说，这些准则（以及MisraC的以外，如果不是全部的话）只是常识，任何优秀的个人电脑开发计划人员都可能会换用这种分析方法。这或许是真的，但一套明确的教育系统让机可能会更少了。