Warum definiert Scala einen Operator "+ =" für Short- und Byte-Typen?

Question

den folgenden scala Code Gegeben:

var short: Short = 0 
short += 1  // error: type mismatch 
short += short // error: type mismatch 
short += 1.toByte // error: type mismatch 

ich nicht die zugrunde liegende Typisierung in Frage - es ist klar, dass "Short + Wert == Int".

Meine Fragen sind:
1. Gibt es überhaupt eine Möglichkeit, dass der Operator verwendet werden kann?
2. Wenn nicht, warum ist der Operator dann für Short & Byte verfügbar?

[Und durch die Erweiterung * =, | = & = etc.]

Answer 1

Das Problem scheint zu sein, dass "+ (Short)" auf Short-Klasse ist wie folgt definiert:

def +(x: Short): Int 

So es gibt immer einen Int zurück.

Angesichts den + = „Operator“ zu verwenden, das Sie am Ende nicht in der Lage zu sein, weil die + Operation auf ein Int auswertet, die (natürlich) nicht auf den „kurzen“ var in der entzuckert Version zugeordnet werden:

short = short + short 

Was Ihre zweite Frage ist es „verfügbar“, weil, wenn der scala Compiler Ausdrücke wie findet:

x K= y 

und wenn x ein var ist und K ist jeder symbolischer Operator und es gibt K-Verfahren in x dann übersetzt oder übersetzt der Compiler es zu:

x = x K y 

Und dann versucht, die Kompilierung damit fortzusetzen.