首先來比較兩段代碼所產生的中間代碼：
public class AppConfig {
public static final boolean debug = true;
}
public class DebugCode {
public static void main(String[] args) {
if(AppConfig.debug) {
System.out.println("Some debug information");
}
}
}
DebugCode的中間代碼（部分）：
public class org.levin.insidejvm.miscs.DebugCode {
public static void main(java.lang.String[] args);
0 getstatic java.lang.System.out : java.io.PrintStream [16]
3 ldc <String "Some debug information"> [22]
5 invokevirtual java.io.PrintStream.println(java.lang.String) : void [24]
8 return
}
public class AppConfig {
public static final boolean debug = false;
}
public class ReleaseCode {
public static void main(String[] args) {
if(AppConfig.debug) {
System.out.println("Some debug information");
}
}
}
ReleaseCode中間代碼（部分）：
public class org.levin.insidejvm.miscs.ReleaseCode {
public static void main(java.lang.String[] args);
0 return
}
在上面的代碼中，很明顯DebugCode和ReleaseCode中的代碼是一樣的，隻是AppConfig.debug的值不一樣而已，卻產生瞭不同的中間代碼，即編譯器在AppConfig.debug為false的時候直接忽略瞭if中的語句。利用這個特性，我們就可以根據配置來實現條件編譯，從而實現不同的條件產生不同的中間代碼而不隻是不同的運行結果。
然而在這裡為什麼會出現這樣的行為呢？
這是因為編譯器對final修飾的基本類型和String類型的變量，在編譯時解析為一個本地拷貝，這樣拷貝導致編譯器在編譯的時候明確的知道ReleaseCode的那一段if語句是不會被執行的，因而可以對其做優化。而這種替換的結果也使得用final修飾的int變量可以出現在switch-case語句中。
這種方式的缺陷
這種方式的缺陷在於要現實該機制的條件編譯，在改變AppConfig.debug中的值時，需要同時對AppConfig類和ReleaseCode類進行編譯（即不能隻編譯AppConfig類）。
