按位或结合强转操作数触发-Wconversion转换警告问题咨询

核心规则背景 #

这个告警的根本原因是C标准定义的整数提升规则（属于通常算术转换的一部分）：
所有秩低于int的整数类型，在参与算术运算（包括按位或）前，都会被隐式转换为int类型（只要当前系统的int可以完整容纳原类型的所有取值）。
在常见的32/64位系统中，int是32位宽度，可以完整容纳uint16_t的全部取值，因此两个uint16_t类型的操作数做按位或运算时，会先被提升为signed int，运算结果的类型也是signed int。 #

三个代码片段的差异解释 #

代码片段1触发告警的原因 #

你对两个操作数加的uint16_t强转仅作用于运算前的操作数，没有改变运算后结果被提升为signed int的事实。此时将signed int类型的运算结果隐式赋值给uint16_t类型的result，属于隐式的有符号转无符号+窄化转换，刚好命中-Wconversion的告警规则，因此会弹出警告。

代码片段2不触发告警的原因 #

你将两个操作数先存入了uint16_t类型的变量后再做运算，GCC的-Wconversion静态检测逻辑可以追踪到两个变量的取值范围：

• 左操作数是byte1 & 0x0050，最大值为0x50
• 右操作数是uint8_t类型的byte2，最大值为0xFF
  二者按位或的结果最大值为0xFF，完全落在int的正数范围和uint16_t的取值范围内，编译器可以确定这个隐式转换不会改变原值，因此不会触发告警。

代码片段3不触发告警的原因 #

你对按位或得到的signed int结果显式增加了uint16_t强转，-Wconversion默认不会对显式强制转换发出告警——显式强转会被编译器认为是开发者主动确认转换行为符合预期，因此直接跳过告警检测。 #

规避方案 #

如果要在写法类似代码片段1的情况下避免告警，直接对整个按位或的运算结果加uint16_t显式强转即可，和代码片段3的写法一致。

内容的提问来源于stack exchange，提问作者RitchiePwnedMe