我不确定问题的措辞是否明确,但一个例子会更清晰.
我发现它在Java中不起作用:
int a = ...; a = 5.0;
但这会:
int a = ...; a += 5.0;
即,似乎=运算符是类型安全的,但+ =不是.这有什么深刻的理由,还是设计师必须采取的另一种任意决策语言.
原因是数学运算会进行一些隐式转换:
a += 5.0;
评估如下:
a = (int) ((double) a + 5.0);
但是,分配需要明确的演员表.
(它可能是浮点而不是双倍,我不记得哪个Java视为十进制文字.)