关于u16变量运算引发cast_overflow与overflow_assign错误的咨询

问题代码 #

u16 b;
u16 a;

a = b + 1;

a = (a > 9) ? (a - 10) : (a);

错误信息 #

cast_overflow : Truncation due to cast operation on (a>9)?a-10:a from 32 to 16 bits.
overflow_assign: a is assigned from (a>9)?(a-10):a.

原因分析 #

在C/C++的整数运算规则中，无符号16位整数(u16)会被自动提升为int类型参与运算。你的三元表达式(a>9)?(a-10):a中，a是u16，但运算时会先提升为32位int，最终表达式的结果类型是int。当把这个32位的int值赋值回16位的u16变量a时，静态代码分析工具会检测到“从32位转16位可能发生截断”，从而抛出cast_overflow警告。

解决方案 #

直接将三元表达式的结果显式强制转换为u16类型，告诉编译器你确认这个转换是预期的：

a = static_cast<u16>((a > 9) ? (a - 10) : a);

或者用C风格的强制转换（不推荐，但也能生效）：

a = (u16)((a > 9) ? (a - 10) : a);

另外，也可以在运算过程中保持u16类型，比如对每个运算结果单独转换，但显式转换最终结果更简洁直观。

内容的提问来源于stack exchange，提问作者Rahul K V