C (XC8) 使用三元运算符隐式有符号到无符号转换

如何解决C (XC8) 使用三元运算符隐式有符号到无符号转换

我正在尝试根据遮罩将颜色设置为前景或背景 (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 类型。