打字稿：在繼承的方法參數類型應被推斷

Question

打字稿編譯器接受以下代碼而不發出錯誤信號：

class S { 
    f(p: number) { 
     console.log(`${p + 1}`); 
    } 
} 

class C extends S { 
    f(p) { 
     super.f(p) 
    } 
} 

let a: C = new C(); 
let b: C = new C(); 

a.f(41); // -> 42 
b.f('x'); // -> x1 

打字稿是一個靜態類型語言，不應編譯器推斷的p參數類型在繼承的方法f到number？爲什麼錯誤的鍵入的字符串值的賦值未被捕獲，產生奇怪的行爲？

Answer 1

class C extends S { 
    f(p) { 
     super.f(p) 
    } 
} 

此代碼等同於下面的代碼：

class C extends S { 
    f(p: any) { // <---- parameter is 'any' 
     super.f(p) 
    } 
} 

這意味着你可以調用C#f任何參數類型。這是你的班級的有效替代，因爲派生方法的有效性是更多一般比其基本方法。

這種行爲被理解爲有點違反直覺，所以there's a feature accepting PRs for this in the language在這種情況下自動鍵入p作爲string。