การประกาศตัวแปรfinal
หรือไม่ประกาศfinal
แต่ทำให้มันมีประสิทธิภาพนั้นอาจส่งผล (ขึ้นอยู่กับคอมไพเลอร์) ในโค้ดไบต์ที่แตกต่างกัน
ลองมาดูตัวอย่างเล็ก ๆ :
public static void main(String[] args) {
final boolean i = true; // 6 // final by declaration
boolean j = true; // 7 // effectively final
if (i) { // 9
System.out.println(i);// 10
}
if (!i) { // 12
System.out.println(i);// 13
}
if (j) { // 15
System.out.println(j);// 16
}
if (!j) { // 18
System.out.println(j);// 19
}
}
ไบต์ที่สอดคล้องกันของmain
วิธีการ (Java 8u161 บน Windows 64 บิต):
public static void main(java.lang.String[]);
Code:
0: iconst_1
1: istore_1
2: iconst_1
3: istore_2
4: getstatic #16 // Field java/lang/System.out:Ljava/io/PrintStream;
7: iconst_1
8: invokevirtual #22 // Method java/io/PrintStream.println:(Z)V
11: iload_2
12: ifeq 22
15: getstatic #16 // Field java/lang/System.out:Ljava/io/PrintStream;
18: iload_2
19: invokevirtual #22 // Method java/io/PrintStream.println:(Z)V
22: iload_2
23: ifne 33
26: getstatic #16 // Field java/lang/System.out:Ljava/io/PrintStream;
29: iload_2
30: invokevirtual #22 // Method java/io/PrintStream.println:(Z)V
33: return
ตารางหมายเลขบรรทัดที่สอดคล้องกัน:
LineNumberTable:
line 6: 0
line 7: 2
line 10: 4
line 15: 11
line 16: 15
line 18: 22
line 19: 26
line 21: 33
ที่เราเห็นรหัสที่มาที่เส้น12
, 13
, 14
ไม่ปรากฏในรหัสไบต์ นั่นเป็นเพราะi
เป็นtrue
และจะไม่เปลี่ยนของรัฐ ดังนั้นรหัสนี้ไม่สามารถเข้าถึงได้ (เพิ่มเติมในคำตอบนี้) ด้วยเหตุผลเดียวกันนี้โค้ดที่บรรทัด9
ก็ขาดหายไปเช่นกัน รัฐi
ไม่จำเป็นต้องได้รับการประเมินเพราะมันเป็นtrue
เพื่อตรวจสอบว่า
ในทางกลับกันแม้ว่าตัวแปรj
จะมีประสิทธิภาพสุดท้ายก็ไม่ได้ดำเนินการในลักษณะเดียวกัน ไม่มีการใช้การเพิ่มประสิทธิภาพดังกล่าว สถานะของj
ถูกประเมินสองครั้ง bytecode เหมือนกันโดยไม่คำนึงถึงj
การเป็นขั้นสุดท้ายได้อย่างมีประสิทธิภาพ