重寫方法的返回型別是其父類返回型別的子型別

public class Merchant {
    public Number actionPrice(double price) {
        return price * 0.8;
    }
}

public class NaiveMerchant extends Merchant {

    @Override
    public Double actionPrice(double price) {
        return 0.9 * price;
    }

    public
 
 static void main(String[] args) {
        Merchant merchant = new NaiveMerchant();
        // price 必須定義成 Number 型別 
        Number price = merchant.actionPrice(40);
        System.out.println(price);
    }
}

 javac  Merchant.java NaiveMerchant.java
 # 反編譯位元組碼 
 javap -v -c NaiveMerchant

檢視 NaiveMerchant.class 反編譯後位元組碼：

 public java.lang.Double actionPrice(double);
    descriptor: (D)Ljava/lang/Double;
    flags: ACC_PUBLIC
    Code:
      stack=4, locals=3, args_size=2
         0: dload_1
         1: ldc2_w        #2                  // double 0.9d
         4: dmul
         5: invokestatic  #4                  // Method java/lang/Double.valueOf:(D)Ljava/lang/Double;
         8: areturn
      LineNumberTable:
        line 13: 0

// 橋接方法         
public java.lang.Number actionPrice(double);
    descriptor: (D)Ljava/lang/Number;
    flags: ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
    Code:
      stack=3, locals=3, args_size=2
         0: aload_0
         1: dload_1
         2: invokevirtual #12                 // Method actionPrice:(D)Ljava/lang/Double;
         5: areturn
      LineNumberTable:
        line 9: 0
 

父類 Merchant 的 actionPrice 的返回值是 Number 型別，子類NaiveMerchant 重寫 actionPrice 返回的值類似是 Double 型別，對於 Java 語言是重寫的，但對於 Java 虛擬機器解析來說卻不是重寫的，只有當兩個方法的引數型別以及返回型別一致時，Java 虛擬機器才會判定為重寫，為了保持重寫的語義，Java 編譯器會在 NaiveMerchant 的位元組碼檔案中自動生成一個橋接方法來保證重寫語義：

flags: ACC_PUBLIC, ACC_BRIDGE, ACC_SYNTHETIC
ACC_BRIDGE：表示這個一個橋接方法
ACC_SYNTHETIC：表示這個方法由編譯器自動生成
public java.lang.Number actionPrice(double);

翻譯橋接方法的位元組碼：

public Number actionPrice(double price) {
     return this.actionPrice(price);
}

這個橋接方法會去呼叫 NaiveMerchant 本身重寫的方法。

編譯器通過插入橋接方法來保證重寫的語義，從而 Java 虛擬機器通過方法描述符（由方法的引數型別和返回型別構成）定位到具體方法，執行方法呼叫：

   Merchant merchant = new NaiveMerchant();
   // 這裡實際上呼叫的則是橋接方法 
   Number price = merchant.actionPrice(40);

重寫泛型方法生成橋接

子類在繼承父類的一個泛型方法、或子類實現一個介面的泛型方法，編譯器會在子類的 class 檔案中自動生成橋接方法。

interface Customer {
    String purchase();
}

class VIP implements Customer {
    @Override
    public String purchase() {
        return "VIP First !";
    }
}

class NOT_VIP implements Customer {
    @Override
    public String purchase() {
        return "VIP First !";
    }
}

abstract class MerchantOther<T extends Customer> {
    public double actionPrice(double price, T customer) {
        return price * 0.08;
    }
}

class VIPOnlyMerchant extends MerchantOther<VIP> {
    @Override
    public double actionPrice(double price, VIP customer) {
        return price * 0.07;
    }
}

public class MethodFind {
    public static void main(String[] args) {
        
    }
}

反編譯父類 MerchantOther 的位元組碼檔案：

泛型 T 被換成了 Customer，方法簽名是：

public double actionPrice(double price, Customer customer);

再看 VIPOnlyMerchant.class 的位元組碼：

子類的位元組碼中有一個編譯器自動生成的橋接方法，這個橋接方法翻譯成 Java 程式碼就是：

public double actionPrice(double price, Customer customer) {
    return this.actionPrice(price, (VIP) customer);
}

橋接方法呼叫了子類重寫的泛型方法，執行下面的程式碼：

  public static void main(String[] args) {
        MerchantOther merchantOther = new VIPOnlyMerchant();
        // 呼叫實際的方法
        merchantOther.actionPrice(80, new VIP());
        // 呼叫的是橋接方法，出現 java.lang.ClassCastException 的異常
        merchantOther.actionPrice(90, new NOT_VIP());
    }

由於泛型擦除，父類 MerchantOther 的引數實際上是 Customer 型別，為了保證重寫的語義，相容 1.5（泛型是在 1.5 引入的） 之前的位元組碼檔案，所以生成橋接方法。new NOT_VIP() 傳入 Customer 型別的引數，編譯器也不會發現錯誤。執行時呼叫了橋接方法，橋接方法中使用 VIP 進行強制型別轉換，當引數型別不是 VIP 時，就會丟擲型別轉換異常。