Javascript 带有子父参数的Typescript 方法不可分配

函数类型的参数类型为of type theory15/difference-between-variance-covariance-contravariance-and-bivariance-in-typesc">contravariant.counter-vary型.它们的变化方向是相反的.因此，如果是A extends B，那么((x: B)=>void) extends ((x: A)=>void)，而不是((x: A)=>void) extends ((x: B)=>void).这是一个自然的结果of type theory，但您可以通过想象try 向函数传递比它们预期的更窄/更宽的类型并看看会发生什么，来说服自己相信这一必要性.例如，假设这是成功的:

const fails: (created: Parent) => void =
    (created: Child) => { created.name.toUpperCase() };

函数(created: Child) => { created.name.toUpperCase() }本身很好；它接受Child并访问其name属性(即string)，因此它有一个toUpperCase()方法.但是您已经将它赋给了一个类型为(created: Parent) => void的变量.这意味着你可以这样拨打fails():

fails(new Parent()); // okay at compile time, but
// ???? RUNTIME ERROR! created.name is undefined

如果fails()接受任何Parent，那么您可以向它传递new Parent()，而不是Child.但是现在您有了一个运行时错误，因为在运行时您试图访问您提供的Parent实例的不存在的name属性的toUpperCase()方法.哎呀，我们在什么地方搞错了.

而错误恰恰在于，你不能对函数期望的类型进行widen.如果您启用了the --strictFunctionTypes compiler option，则TypeScrip将有助于报告这种不正确的参数加宽的错误，这是推荐的.

您不能加宽参数类型，但可以将其设置为narrow.如果你有一个GrandChild的子类，你就可以毫无问题地做到这一点:

class GrandChild extends Child {
    age: number = 1;
}
const okay: (created: GrandChild) => void =
    (created: Child) => { created.name.toUpperCase() };

okay(new GrandChild()); // okay

这很好，因为okay()只能接受GrandChild个实例，每个实例也是Child个实例，这是函数实现所期望的.该实现不知道它被赋予了GrandChildren，因此它不能访问age属性，但这样做是安全的.

经验法则是，当一个类型出现在input位置时，就像函数参数一样，类型变化的方向与它在output位置的方向相反.

Playground link to code个