Java三元表达式中使用+=报错：为何my_b +=1不被允许？

问题场景 #

定义泛型类及原始类型实例如下：

static class Generic<T> {
    T t;
}

public static Generic generic = new Generic(); // 使用泛型原始类型，未指定具体参数

执行以下赋值语句时出现编译异常：

boolean X = true;
int my_a = 0;
int my_b = 0;
generic.t = X ? my_a += 1 : my_b += 1; // 编译报错：Syntax error on token "+=", + expected

将my_b += 1替换为my_b++后可正常编译执行，以下是问题原因及解决办法：

核心原因：运算符优先级导致的语法解析错误 #

Java中三元运算符?:的优先级高于赋值运算符+=，编译器会把原语句错误解析为：

(generic.t = (X ? (my_a += 1) : my_b)) += 1;

该解析结果存在两个致命问题：

1. generic是泛型原始类型，t的默认类型为Object，generic.t = ...的返回值也是Object，而Object无法执行+= 1操作，直接触发语法错误。
2. 解析逻辑完全偏离原本意图——原本是想在三元分支中分别执行my_a +=1和my_b +=1，再将结果赋值给generic.t，但优先级问题导致变成对generic.t的赋值结果做累加操作。

而替换为my_b++后可以正常编译，是因为自增运算符++的优先级高于?:，语句会被正确解析为：

generic.t = X ? (my_a += 1) : (my_b++);

此时两个分支都是合法表达式，结果会自动装箱为Integer，赋值给Object类型的generic.t。

解决办法 #

1. 给三元表达式的两个分支显式加括号，强制指定运算优先级，修复语法错误：

generic.t = X ? (my_a += 1) : (my_b += 1);

2. 避免使用泛型原始类型，指定明确的泛型参数，让类型检查更严格，减少隐性问题：

public static Generic<Integer> generic = new Generic<>();

内容的提问来源于stack exchange，提问作者Sajjad H.