困惑的编译器警告表明int8_t的复合赋值提升为int

Question

我通常可以理解编译器警告背后的原因,但这个似乎是完全错误的.

#include <stdint.h>    
uint8_t myfunc(uint8_t x,uint8_t y)
{
    x |= y;
    return x;
}

带-Wall的intel编译器抱怨:

conversion from "int" to "uint8_t={unsigned char}" may lose significant bits
  x |= y;
    ^

这是正确的吗？上面的代码是否是非便携式和非标准的？

Answer 1

那是integer promotions在起作用.

在

x |= y;

|运营商的两个操作数都被提升为int

x = (int)x | (int)y;

然后结果转换回uint8_t失去精度.

Answer 2

这是正确的.运营商将论证提升为int.有关详细信息,请参阅此页面,第一句开头:

C的精度不低于int [...]