Java 每日一題：方法重寫與可變參數簽名不匹配導致編譯錯誤

每日一題：考察子類重寫父類方法時，可變參數 int... nums 與陣列參數 int[] nums 在簽名層面的差異，導致編譯失敗。

題目代碼

class Parent {
    public void sum(int num1, int... nums) {
        System.out.println("Parent... sum");
    }
}

class Sub extends Parent {
    @Override
    public void sum(int num1, int[] nums) {
        System.out.println("Sub... sum");
    }
}

public class Test {
    public static void main(String[] args) {
        Parent p = new Sub();
        p.sum(1, 2);
        Sub s = new Sub();
        s.sum(1, 2);
    }
}

問題：主程序是否有編譯錯誤？

答案：有編譯錯誤，錯誤發生在 Sub 類的 @Override 方法聲明處。

錯誤原因深度解析

可變參數本質是陣列，但簽名不同

• 父類：void sum(int num1, int... nums) → 編譯後簽名 (I[I)V (參數類型：int, int[])
• 子類：void sum(int num1, int[] nums) → 編譯後簽名 (I[I)V (參數類型：int, int[])
• JVM 層面擦除後簽名相同，但 Java 語言層面方法簽名包含「是否可變參數」標記 (ACC_VARARGS 訪問標志)。

JLS §8.4.2 規定

兩個方法若擁有相同的方法名、類型參數、參數類型列表，但其中一個是可變參數方法而另一個不是，則它們不是重寫關係，而是重載關係。

因此 Sub.sum(int, int[]) 無法重寫Parent.sum(int, int...)，編譯器報錯：

error: method does not override or implement a method from a supertype
    @Override
    public void sum(int num1, int[] nums) {
    ^

class Sub extends Parent {
    // 無 @Override，視為重載
    public void sum(int num1, int[] nums) { ... }
}

// 正確重寫
class Sub extends Parent {
    @Override
    public void sum(int num1, int... nums) {
        System.out.println("Sub... sum");
    }
}