改變Typescript中子類的方法簽名？

Question

在下面的示例（Typescript，1.7+）中，我需要更改哪些內容以允許B.callback擁有與A.callback不同的簽名？

class A { 
    callback(result: number) { 
    } 
} 


class B extends A { 
    callback(result: number, option: number) { 
    } 
} 

目前這給test.ts(7,7): error TS2415: Class 'B' incorrectly extends base class 'A'.

在現實世界中我的例子是比較複雜的，但我可以動態地（或多或少）保證（基於某些配置）所請求的參數將在那裏。

Answer 1

根據不同的情況，提出如下解決方案可滿足太：

class A { 
    callback(result: number) { 
    } 
} 


class B extends A { 
    callback(result: number, option?: number) { // make 'option' optional 
    } 
} 

Answer 2

我懷疑這是不可能在TypeScript 1.6和即將到來的1.7。請給B.callback()一個新名稱，或者在A.callback()中添加該參數作爲可選參數。

從傳統的OOP角度來看，它感覺有些錯誤，即C＃，Java。人們不應該能夠在重寫的方法中更改參數的數量。對類A的引用是能夠保存類B對象。如果B向方法添加了非可選參數，則通過A引用對方法的調用將失敗。這將作爲編譯器的錯誤引發。

Answer 3

經過一番來回我認爲最好的辦法是目前：

class A { 
    callback(result: number, ...rest: any[]) { 
    } 
} 


class B extends A { 
    callback(result: number, option: number) { 
    } 
} 

Answer 4

這將永遠不會被允許。您需要符合基類的函數簽名，因爲它的多態性101：

class A { 
    callback(result: number) { 
    } 
} 


class B extends A { 
    callback(result: number, option?: number) { 
    } 
} 

// Reason 
var b = new B(); 
var a:A = b; // okay as its a subclass 
a.callback(123); // If b didn't have that optional B.callback can blow up