Warum ist „Short 30 = 3 * 10“ eine rechtliche Aufgabe?

102

Wenn in arithmetischen Operationen shortautomatisch inthochgestuft wird, warum dann:

short thirty = 10 * 3;

Eine rechtliche Zuordnung zur shortVariablen thirty?

Dies wiederum:

short ten = 10;
short three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

so gut wie das:

int ten = 10;
int three = 3;
short thirty = ten * three; // DOES NOT COMPILE AS EXPECTED

wird nicht kompiliert, da das Zuweisen eines intWerts zu a shortnicht zulässig ist, ohne wie erwartet zu gießen.

Ist bei numerischen Literalen etwas Besonderes los?

java short type-promotion

— Deckengecko
quelle

short thirty = 10 * 3;wird höchstwahrscheinlich durch short thirty = 30;den Compiler ersetzt, der dann eine gültige Anweisung ist. (Ich müsste allerdings den entsprechenden JLS-Abschnitt nachschlagen).

— Thomas

Der Compiler berechnet 10 * 3und initialisiert die Variable mit dem Ergebnis. In Ihrem nicht funktionierenden Beispiel erfolgt die Berechnung zur Laufzeit, wenn die JVM den Kurzschluss umwandelt.

— Felix

Ich denke, dies ist ein Duplikat von stackoverflow.com/questions/30346587/java-char-to-byte-casting oder stackoverflow.com/questions/9379983/… . Allerdings: Beachten Sie, dass gut final int ten = 10; final int three = 3; short thirty = ten * three;kompiliert wird.

— Marco13

If short is automatically promoted to int in arithmetic operations- das ist nicht relevant. Weder 10noch 3Shorts noch werden sie befördert, sie sind wörtlich.

— Matthew Read

@MatthewRead: Aber selbst als Literale müssen sie als bestimmter Datentyp ausgewertet werden, oder? Stimmt es also, dass 10und vom Compiler 3als ints ausgewertet werden ?

— LarsH

Antworten:

139

Weil der Compiler 10*3zur Kompilierungszeit selbst durch 30 ersetzt . Also effektiv: short thirty = 10 * 3wird zur Kompilierungszeit berechnet.

Versuchen Sie, tenund threezu ändern final short(damit sie Zeitkonstanten kompilieren) und sehen Sie, was passiert: P.

Untersuchen Sie den Bytecode mit javap -v für beide Überprüfungen ( 10*3und final short). Sie werden sehen, dass es kaum einen Unterschied gibt.

Ok, hier ist der Bytecode-Unterschied für verschiedene Fälle.

Fall 1 :

Java-Code: main () {short s = 10 * 3; }}

Bytecode:

stack=1, locals=2, args_size=1
         0: bipush        30  // directly push 30 into "s"
         2: istore_1      
         3: return

Fall -2:

public static void main(String arf[])  {
   final short s1= 10;
   final short s2 = 3;
   short s = s1*s2;
}

Bytecode:

  stack=1, locals=4, args_size=1
         0: bipush        10
         2: istore_1      
         3: iconst_3      
         4: istore_2      
         5: bipush        30 // AGAIN, push 30 directly into "s"
         7: istore_3      
         8: return

Fall -3:

public static void main(String arf[]) throws Exception {
     short s1= 10;
     short s2 = 3;
     int s = s1*s2;
}

Bytecode:

stack=2, locals=4, args_size=1
         0: bipush        10  // push constant 10
         2: istore_1      
         3: iconst_3        // use constant 3 
         4: istore_2      
         5: iload_1       
         6: iload_2       
         7: imul          
         8: istore_3      
         9: return

Im obigen Fall 10und 3werden aus den lokalen Variablen s1und entnommens2

— TheLostMind
quelle

mochte Try changing ten and three to final shortÜbung :)

— Sergey Pauk

@ SergeyPauk - Das ist wirklich wichtig für das Verständnis der Kompilierungszeitkonstanten. Gilt für alle

— Grundelemente

@TheLostMind Ich würde eine bessere Formulierung vorschlagen, you will see that there's no difference (between those two lines in the decompiled code)ist das nicht dein Punkt?

— Sergey Pauk

Amüsanterweise bedeutet dies auch, dass case 10*3:und ähnliches in einem Switch-Konstrukt legal ist.

— Deckengecko

Und ähnlich in Enum-Konstrukten. Tatsächlich ist die Verwendung von Dingen wie 1 << 5 für Bitfeld-Enum-Konstanten idiomatisch.

— Bathseba

Ja, mit dem wörtlichen Fall ist etwas Besonderes los: 10 * 3Wird zur Kompilierungszeit ausgewertet . Sie benötigen also keine explizite (short)Konvertierung für multiplizierte Literale.

ten * three ist zur Kompilierungszeit nicht auswertbar und benötigt daher eine explizite Konvertierung.

Es wäre eine andere Sache, wenn tenund threemarkiert würden final.

— Bathseba
quelle

Die folgende Antwort fügt den JLS-Abschnitt und einige Details zu diesem Verhalten hinzu.

Wie pro JLS §15.2 - Ausdrucksformen

Einige Ausdrücke haben einen Wert, der zur Kompilierungszeit festgelegt werden kann. Dies sind konstante Ausdrücke (§15.28).

— Nicolas Henneaux
quelle