Code optimieren

[M.A.]

Hallo!

Ich habe da mal rein aus Interesse eine kleine Frage:

Wird vom Compiler der Code eigentlich teilweise optimiert? Also wird zum Beispiel

if(variable==true)

zu

if(variable)

??

MfG
M.A.

 

[Illuvatar]

Auf jedenfall optimiert der Compiler schon irgendwas, aber ich bezweifle, dass dein Bsp überhaupt einen Unterschied macht.

 

[M.A.]

Also rein von der Logik müsste er in dem ersten Beispiel ja erst prüfen, on die Variable 'variable' gleich true ist und wenn das wahr ist, dann ist die Bedingung erfüllt. Bei dem zweiten Beispiel würde diese erste Prüfung ja wegfallen.

 

[SnooP]

1. Code wird optimiert...

2. in dem Beispiel ist true im Prinzip ne Konstante, in sofern gehe ich tatsächlich davon aus, dass das wegoptimiert wird. Also: ja ... in bestimmten Fällen werden sogar if, else Zweige wegoptimiert, wenn sie definitiv nicht erreichbar sind...

 

[Guest]

Also rein von der Logik müsste er in dem ersten Beispiel ja erst prüfen, on die Variable 'variable' gleich true ist und wenn das wahr ist, dann ist die Bedingung erfüllt. Bei dem zweiten Beispiel würde diese erste Prüfung ja wegfallen.

Beide Varianten sind IDENTISCH.

Tip(p): Disassembliere dein Testprogramm einfach mal mit "javap -c" dann siehst
du den erzeugten Bytecode.

Leroy42

 

[SnooP]

War das jetzt nen Widerspruch? ... das der Bytecode identisch ist, würde für mich bedeuten, dass eine Optimierung vorgenommen wurde

 

[semi]

IBM Jikes optimiert es, der SUN Compiler (JDK 5) nicht. Auch nicht mit der Option -O

Folgender Code

boolean b=true;
if(b==true)
{
  System.out.println(b);
}

if(b)
{
  System.out.println(b);
}

Jikes macht daraus

        boolean flag = true;
    //    0    0:iconst_1        
    //    1    1:istore_1        
        if(flag)
    //*   2    2:iload_1         
    //*   3    3:ifeq            13
            System.out.println(flag);
    //    4    6:getstatic       #14  <Field PrintStream System.out>
    //    5    9:iload_1         
    //    6   10:invokevirtual   #20  <Method void PrintStream.println(boolean)>
        if(flag)
    //*   7   13:iload_1         
    //*   8   14:ifeq            24
            System.out.println(flag);
    //    9   17:getstatic       #14  <Field PrintStream System.out>
    //   10   20:iload_1         
    //   11   21:invokevirtual   #20  <Method void PrintStream.println(boolean)>

SUN Compiler

        boolean flag = true;
    //    0    0:iconst_1        
    //    1    1:istore_1        
        if(flag)
    //*   2    2:iload_1         
    //*   3    3:iconst_1        
    //*   4    4:icmpne          14
            System.out.println(flag);
    //    5    7:getstatic       #2   <Field PrintStream System.out>
    //    6   10:iload_1         
    //    7   11:invokevirtual   #3   <Method void PrintStream.println(boolean)>
        if(flag)
    //*   8   14:iload_1         
    //*   9   15:ifeq            25
            System.out.println(flag);
    //   10   18:getstatic       #2   <Field PrintStream System.out>
    //   11   21:iload_1         
    //   12   22:invokevirtual   #3   <Method void PrintStream.println(boolean)>

 

[Bleiglanz]

man kann zu ursprünglichen Frage kaum eine Aussage machen...

selbst wenn der javac nicht optimiert, dann läuft da später immer noch ein JIT in irgendeiner Form drüber, der nochmal weiteroptimiert (aber wie und was, das kann man kaum rausfinden: coredump + native Maschinencode anschauen??)

Ob die (scheinbar schlechtere) Sequenz

    //*   2    2:iload_1         
    //*   3    3:iconst_1       
    //*   4    4:icmpne          14

da nicht sowieso weg gleich wieder rausfliegt und sich die javac Entwickler bei Sun deshalb nicht drum kümmern?

Im übrigen sind solche gazillionstel Sekunden Fragen ziemlich witzlos

BTW

if(variable==true)

finde ich irgendwie peinlich, so wie ein offenes Hosentürl

 

[Illuvatar]

*Bleiglanz zustimm*

*moved to "Performance"*

 

[Marc-André Aßbrock]

Vielen Dank für die Antworten!

Ich war nur mal neugierig. Dass mein Beispiel bei normalen "Büroanwendungen" etc. keinen spürbaren Unterschied hat ist klar. Abgesehen von irgendwelchen Simulationen, in denen soetwas ein paar Trillionen mal vorkommt braucht man diese Situation wohl nicht beachten (abgesehen davon, dass Bleiglanz es peinlich findet).
Achso: Auch wenn es wirklich sehr doppelt gemoppelt aussieht: Ohne den Vergleich haben tatsächlich viele Schüler bei mir aus der Klasse Probleme so eine Anweisung zu verstehen...

MfG
M.A.

 

[Bleiglanz]

1. einem Anfänger muss ja erstmal gar nix peinlich sein

2. aus dem Grund boolsche Variablen richtig benennen, gleich von Anfang an

if(codeIstPerformant)

//oder

if(objekt.istTotalKrass())

das sollte für Anfänger doch eigentlich auch verständlich sein, es "liest sich sogar besser vor"