Java中char1|=char2与char1=char1|char2为何行为不同？

先看初始定义代码：

char char1 = 0, char2 = 0;

以下代码可以正常编译运行：

char1 |= char2;

但下面这段代码会编译报错：

char1 = char1 | char2;

报错信息：

error: incompatible types: possible lossy conversion from int to char

差异原因解析 #

这背后是Java的类型提升规则和复合赋值运算符的特殊处理在起作用：

1. 位或运算|的类型提升
   尽管Oracle文档明确说明：

   • 位运算符可应用于任何整数类型
   • char属于整数类型
     但Java在执行char1 | char2时，会自动把两个char类型的操作数提升为int类型再计算，最终运算结果也是int类型。当你直接把int类型的值赋值给char变量时，由于int的取值范围远大于char，编译器会判定这可能导致精度丢失，因此抛出上述报错。

2. 复合赋值运算符|=的隐式转换
   像|=、+=这类复合赋值运算符，底层设计时就包含了自动窄化转换逻辑。执行char1 |= char2时，实际流程是先完成char1 | char2的int运算，然后自动将结果强制转换回char类型（等价于手动写char1 = (char)(char1 | char2)），这个转换是编译器允许的，所以不会触发报错。

一句话总结 #

单独的位或运算会触发类型提升得到int结果，直接赋值给char会触发精度检查；而复合赋值运算符会自动帮你完成结果的窄化转换，因此可以正常编译。

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