MISAR C 2012

7.1 实施/实现(The implementation)

Dir 1.1 程序输出所依赖的任何定义的行为都应被记录和理解

C90 [Annex G.3], C99 [Annex J.3]

Category      必要

Applies to      C90, C99

展开(Amplifi cation)

本文档的附录G 列出了 C90 和 C99 需要被记录和理解的实现定义的行为：

• 可能导致意想不到的程序行为；
• 即使符合 MISRA-C 所有其他准则，也不一定能完全规避。

所有这些行为，必须：

• 被记录；
• 被开发人员所了解。

**小贴士：**每一个实现定义的行为的记录，应有统一的文档。如果缺少任何文档，应该咨询实现的开发人员。

原理(Rationale)

知道一段程序的输出是有意而非偶然，非常重要。

下面介绍了一些与安全性相关的嵌入式软件可能依赖的更常见的实现定义的行为。