复合赋值符可能导致narrowing primitive conversions，因为按照JLS 15.26.2的定义：
= (T)((E1) op (E2)), where T is the type of E1, except that E1 is evaluated only once. 所以对于下面这段代码：
i = -1
while ( i != 0) {
i >>>= 1;
}
当i为short,int型的情况是不同的。一个一个分析：
1. i为short型
代码片段可以依据复合运算的定义还原为
short i = -1;
while (i != 0) {
i = (short) (i >>> 1);
}
执行的时候，由于位移操作要求对不是int/long型的整数转型成为int/long型再进行运算，所以i首先宽转型为int，从0xffff变成0xffffffff，然后作无符号右移，成为0x7fffffff，再窄转型为short的0xffff，它不等于0，所以循环继续，以下过程和第一次循环一样。这个循环不会终止。
除了short型，i为byte型也会出现这样的情况。
char无法声明 char i = -1;只能写成 char i = (char) -1;输出结果类似于i为int型时。
2. i为int型
代码片段可以依据复合运算的定义还原为
int i = -1;
while (i != 0) {
i = i >>> 1;
}
执行的时候，没有强制转型了，都是int范围内，i从0xffffffff变成0x7fffffff，不等于0，继续，变成0x3fffffff，如此，最后变成0，终止循环。
除了int型，long型也会出现这样的情况。
书中观点：
我赞同第一条，对第二条持保留意见。
附