分配给更宽类型的复合表达式值

Question

以下是我无法理解的 MISRA C:2012 书中的摘录

复合表达式(+ ,- ,* ,/,&, |, ^, <<, >>, ?:) 的值不应赋值给更宽类型的对象。

例子:

u32a = u16a + u16b;     //non - compliant to MISRA C guidelines

其中 u16 是 uint16_t，u32 是 uint32_t。

这会在程序运行期间引起任何问题吗？我们可能需要使用 u32a，因为在这种情况下 u16a 可能会导致整数溢出？

Answer 1

这是因为你永远不知道你的编译器将如何处理 (u16a + u16b) 表达式，因为它可能会考虑将结果存储在 16 位中，然后再将其分配给目标变量(考虑 8 位和 16 位目标用于嵌入式系统)。

您认为(错误地)不可能发生溢出，但这是绝对可能的。按照 MISRA 的推荐来写作业只会让你清楚地看到这个溢出问题。