问题描述
我正在尝试根据遮罩将颜色设置为前景或背景 (fg / bg)。
uint8_t bitmap,mask,bg,fg = <whatever>;
此代码有效:
uint8_t color = bg;
if (bitmap & mask)
{
color = fg;
}
此代码也能工作,但会引发警告:(373) 隐式有符号到无符号转换
uint8_t color = (bitmap & mask) ? fg : bg;
谁能解释一下为什么?我使用的是 microchip XC8 2.30。
解决方法
编译器警告您三元表达式的类型是 int
,一种有符号类型,而分配对象的类型是 uint8_t
,一种无符号类型。在表达式中混合有符号和无符号类型会导致违反直觉的行为,例如 sizeof(int) > -1
为假。
它还可能警告您,将 int
值存储到 unt8_t
变量中可能会导致隐式转换,从而改变该值。但在这种特殊情况下,范围分析可以轻松证明该表达式的任何可能结果都在 uint8_t
类型的范围内,因此上述情况都不需要警告。这个编译器很讨厌而且不够聪明。
可以通过额外的演员来消除警告:
uint8_t color = (uint8_t)((bitmap & mask) ? fg : bg);
但是这种无用的强制转换会混淆代码并使读者感到困惑。在大多数情况下应该避免强制转换,因为它们可能导致虚假错误。
您最好的解决方案似乎是保留 if
语句。编译器实际上可能会为此解决方案生成更快的代码,因为它是条件存储指令的良好候选者,可生成高效的无分支代码。
条件运算符在其最后两个元素上触发通常的算术转换(以便为整个表达式找到合适的类型)。这反过来意味着整数类型的等级小于 int
的整数提升,这里就是这种情况。奇怪的是,当原始类型的所有值都适合 int
时,无论原始类型是否有符号,表达式都会提升为 int
。因此,您的条件表达式以类型 int
结束,并返回 uint8_t
进行赋值。
这不会发生在 if
语句中,因为在这种情况下,您有简单的赋值,其中双方具有相同的 uint8_t
类型。