重載
重載可以在編譯期確定調用的方法。
為什么重載不能根據返回值類型區分？
因為有時候只關心方法的執行，而不去關心返回值。
但其實 JVM 是允許只根據返回值來區分的：
在 Class 文件常量池里，每個方法有它的名稱、描述符（參數類型+返回值類型）。
JVM 規范中是允許 Class 文件內存在名稱+描述符不同的方法。但是 Java 語言規范里，規定了只根據名稱+參數來區分。
如何確定方法
在編譯期根據靜態類型來確定方法。
因為重載方法其實在編譯期，與其他方法一樣已經是相互不同的方法，所以可以在編譯時直接根據靜態類型來指定要調用的方法。
靜態類型 & 實際類型：
如，
SuperClass obj = new SubClass();語句中，前面的「 SuperClass 」是靜態類型，后面的「 SubClass 」是實際類型。變量的靜態類型是不可變的，編譯時可知的，但是實際類型是運行時才能確定。
例：
public static void main(String[] args) {
B b = new B();
f(b); // b
A c = new C();
f(c); // 靜態類型是A，所以輸出a
}
static void f(C c) { System.out.println("c"); }
static void f(B b) { System.out.println("b"); }
static void f(A a) { System.out.println("a"); }
static class A {}
static class B extends A {}
static class C extends A {}
重寫
重寫在運行時根據實際類型來選擇方法。
JVM 如何確定方法
每個類在方法區有它的虛方法表，存放着各方法的實際入口地址。JVM 在執行 invokevirtual 時（final 方法除外），會從實際類型的虛方法表查詢（沒找到會繼續查詢父類的虛方法表）。
類似的，invokeinterface 執行時會用到接口方法表。
方法表一般在類加載-連接階段進行初始化，准備了類的變量初始值后，JVM 會把該類的方法表也初始化完畢。
注：invokestatic、invokespecial、final 方法，都能在編譯期確定方法，所以 JVM 會在類加載-解析階段，把這些方法的符號引用替換成直接引用。（final 方法是用 invokevirtual 執行的，因為不能被重寫，所以編譯時就能確定）