与previous question相关，我无法理解MISRA C 2004的一些规则。
在ISO C99 draft 2007中，在6.5节§4中：
一些运算符（一元运算符〜，二元运算符＆lt;＆lt;＆lt;＆gt;＆gt;，＆amp;，^和|，统称为按位运算符）需要具有整数类型的操作数。这些运算符产生的值取决于整数的内部表示，并且具有已签名类型的实现定义和未定义方面。
好的，使用带位运算符的有符号整数可能会产生未定义的行为（并没有任何意义）。
一个好的解决方案是使用显式转换为更宽的无符号整数类型以绕过整数提升，然后不使用带符号运算符的带符号值（请参阅我之前问题的相关答案）。
但是在MISRA C 2004中，可以使用带位运算符的小型无符号整数（例如规则10.5）。为什么，如果整数提升导致使用带位运算符的带符号值？我想我不明白一些事情。
答案 0 :(得分：1)
这些规则并不相互矛盾，您也不需要扩大规模。您可以立即将小整数二进制运算的结果转换回其类型。
除非第一个操作数为int，否则小整数不会被提升为int。
这是他们的例子：
uint8_t port = 0x5aU;
uint8_t result_8;
uint16_t result_16;
result_8 = (~port) >> 4; /* not compliant */
result_8 = ((uint8_t)(~port)) >> 4; /* compliant */
result_16 = ((uint16_t)(~(uint16_t)port)) >> 4; /* compliant */