打字稿-帶有可選參數的通用函數

Question

我在嘗試使用可選參數鍵入通用函數時遇到了一些麻煩

type Action<TParameters = undefined> = (parameters: TParameters) => void

const A: Action = () => console.log('Hi :)') 
// Ok, as expected

const B: Action<string> = (word: string) => console.log('Hello', word)  
// Ok, as expected

const C: Action<string> = (word: number) => console.log('Hello', word)  
// Error, as expected

const D: Action<string> = () => console.log('Hello')  
// Hum, what ?!? No error ?

const E: Action<string> = (word) => console.log('Hello', word)  
// No error as expected but the type inference of `word` is `any`, why ?

自己測試

Answer 1

D類型檢查的原因是，忽略多余的參數經常在JavaScript中發生。 關於參數，函數f被認為的功能的亞型g只要每個參數f是具有相應的參數兼容g 。 f中的任何其他參數都將被忽略。 請參閱https://www.typescriptlang.org/docs/handbook/type-compatibility.html中的 “比較兩個函數”

（正如@ david-sherret所指出的那樣， E工作方式與您期望的一樣，使用word: string 。）