Die Zuweisung

(Diese Lektion behandelt zunächst nur einen Teil des Themas, in der folgenden Lektion wird die Erklärung noch fortgesetzt. Daher wird der Sinn der Zuweisung erst nach der nächsten Lektion richtig verständlich werden.)

Mit dem Zuweisungsoperator »=«, einem binären Infixoperator, kann ein Zuweisungsausdruck geschrieben werden. Der Zuweisungausdruck und der Zuweisungsoperator werden auch kurz als Zuweisung bezeichnet.

Der linke Operand eines Zuweisungsoperators muß eine Variable sein. Jene Variable muß ohne »final« deklariert worden sein.

Der rechte Operand eines Zuweisungsoperators muß ein Wertausdruck sein.

Der Typ des rechten Operanden muß ein Untertyp des Typs des linken Operanden sein.

Der Typ eines Zuweisungsausdrucks ist der Typ seines linken Operanden.

Der Wert eines Zuweisungsausdrucks ist der Wert seines rechten Operanden gewandelt in den Typ seines linken Operanden.

Main.java

public final class Main
{ public static void main( final java.lang.String[] args )
  { double v = 7; 
    java.lang.System.out.println( v + 4 );
    java.lang.System.out.println( v = 4 ); }}

Protokoll

11.0
4.0

Das voranstehende Programm gibt zuletzt »4.0« aus, weil der Wert von »4« gewandelt in den Typ von »v« gleich »4.0«, ist.

Obwohl die Variablendeklaration »int v = 7« auch ein Gleichheitszeichen enthält, ist weder sie selber noch einer ihrer Teile ein Zuweisungsausdruck – allerdings ist die Initialisierung eine Zuweisung.

Die Priorität der Zuweisung

Die Priorität der Zuweisung ist niedriger als die der zuvor vorgestellten Operatoren. Dies bedeutet, daß die rechte Seite einer Zuweisung bis auf weiteres nicht eingeklammert werden muß.

Beispielsweise bedeutet »x = 2 + 3« nicht »( x = 2 )+ 3«, sondern »x =( 2 + 3 )«.

Priorität und Assoziativität der bisher behandelten Operatoren

   ()                   Eingeklammerter Ausdruck
   +  -                 Unaere vorangestellte Operatoren
L  *  /                 Multiplikation, Division
L  +  -                 Addition, Subtraktion
   =                    Zuweisung

Syntax

Wir geben ein Syntaxdiagramm für die Zuweisung an und erweitern zugleich das Syntaxdiagramm für einen Ausdruck um die Zuweisung.

Syntaxdiagramm

Zuweisung
    .------------.     .-.     .----------.
--->| Name       |--->( = )--->| Ausdruck |--->
    '------------'     '-'     '----------'
Ausdruck
        .-----------------.
---.--->| Additivausdruck |---.--->
   |    '-----------------'   ^
   |    .-----------------.   |
   '--->| Zuweisung       |---'
        '-----------------'

Weitere Anforderungen

Der Name auf der linken Seite der Zuweisung muß zuvor als Variable (ohne »final«) deklariert worden sein.

Typanforderungen

Der Typ des Ausdrucks auf der rechten Seite muß ein Untertyp des Typs der Variablen auf der linken Seite sein.

Semantik

Der Ausdruck auf der rechten Seite der Zuweisung wird ausgewertet.

Die linke Seite gibt eine Variable an.

Der bei der Auswertung erhaltene Wert wird in den Typ der Variablen umgewandelt.

Jener umgewandelte Wert wird in die Variable geschrieben.

Übungsfragen

? Zuweisung

Was gibt das folgende Programm aus?

Main.java

public final class Main
{ public static void main( final java.lang.String[] args )
  { int v = 2;
    java.lang.System.out.println( v = 0 ); }}

? Zuweisung (1)

Was gibt das folgende Programm aus?

Main.java

public final class Main
{ public static void main( final java.lang.String[] args )
  { int v = 2;
    java.lang.System.out.println( 3 +( v = 5 )); }}

? Kürzeste Anweisung ⃗

Wie viele Zeichen hat die kürzeste Anweisung, die bisher im Kurs behandelt wurde, und wie nennt man diese Anweisung?