Misra c（MISRA C: 2004）是由英国Motor Industry Software Reliability Association（MISRA）发布的软件控制条款。Misra C是一种用于编写嵌入式c编程的编码标准，Misra C标准的设计目标是增强嵌入式C程序的可靠性、可维护性和可移植性。
Misra c中有一条规定，禁止union类型的使用。这个规定主要是为了防止通过union和具有undefined行为的编程方式来访问内存和硬件操作。这条规定的出现是为了加强C语言的类型安全和代码可靠性。
在C语言中，结构体和联合体都是用来存储多个不同类型的数据。结构体的各个成员共享存储空间，而联合体的所有成员共用同一块空间。在联合体中，所有成员的偏移地址都是0，所以存储不同的数据时会产生相互覆盖的情况。
通俗的说，结构体是按照一定的空间格式分别存储不同类型的数据，而联合体是将这些数据存放在同一块内存空间中，可以根据需要来变化存储的类型。
Misra c规定禁止使用联合主要是因为联合会破坏变量的内存结构和类型检查。由于联合体中的不同成员都共用一块内存空间，当对某一成员进行操作时，如有意无意地操作其他成员，都会产生一些难以预测的问题，导致内存结构发生变化，可能会出现数据错乱或程序崩溃的问题。
此外，联合的使用容易导致类型检查失效。因为我们根据情况可以把同一个内存空间存储的数据当作不同的数据类型来处理，这样在程序运行时就缺少了对数据类型的强制检查。这也就是为什么Misra c规定禁止使用联合。Misra c标准认为类型安全是编写高质量代码的重要组成部分。
Misra c规定禁止使用联合，但并不意味着我们没有替代方案。如果我们需要多种类型的数据间共用内存空间，我们可以将其转化为结构体，并且要使用明确的成员类型，这样就遵循了严格的内存布局和类型检查。这种替代方案不会破坏变量的内存结构和类型检查，更有利于编写代码的可读性、可维护性和代码的可移植性。
另外，Misra标准还提供了许多规则，涉及函数、变量、指针、文件等方方面面的内容。使用这些规则可以使C程序更易于阅读、理解、修改和维护。
关注微信