打字稿类中的类型推断

Question

我希望 arg 参数具有从父类推断的类型

export abstract class IEngineClas {
  abstract viewer(arg: string): boolean
}

export class MyClass extends IEngineClas {
  viewer(arg) {
    return true
  }
}

但实际上编译器会抱怨 arg 的隐式类型为 any。

我也尝试过使用界面的方法

export interface IEngine {
  viewer?: (arg: string) => boolean
}

export class MyClass implements IEngine {
  viewer(arg) {
    return true
  }
}

编译器认为 arg 的类型是 any 也有同样的问题。

为什么类型推断在这里不起作用？我该怎么做才能让它发挥作用？

Answer 1

你当然可以推断！ Typescript 拥有有史以来最强大的通用系统！
它只需要一些神秘的语法。

你可以这样写（check it on Typescript Playground）：

export abstract class IEngineClas {
  abstract viewer(arg: string): boolean
}

export class MyClass extends IEngineClas {
  viewer(arg: IEngineClas["viewer"] extends (arg: infer U) => any ? U : any) {
    return true
  }
}

let test = (new MyClass()).viewer("hop") // Type OK
let test2 = (new MyClass()).viewer(1)    // Wrong type

解释：

IEngineClas["viewer"] 可以检索你的父函数的类型：(arg:string) => boolean

使用conditional types，您可以通过使用infer 关键字将其分配给泛型来检索所需的arg。

这样读：如果IEngineClas["viewer"]的类型是(arg: U) => any（带参数的函数），则获取U的类型（第一个参数），并将其作为参数@987654331的类型@。否则，使用类型any。

编辑

一种更好的编写方式，使用 type (check it on Typescript Playground)：

type firstArg<T> = T extends (arg: infer U) => any ? U : any

export abstract class IEngineClas {
  abstract viewer(arg: string): boolean
}

export class MyClass extends IEngineClas {
  viewer(arg: firstArg<IEngineClas["viewer"]>) {
    return true
  }
}

let test = (new MyClass()).viewer("hop") // Type OK
let test2 = (new MyClass()).viewer(1)    // Wrong type

原因

在另一种情况下，有一天我问为什么这些与抽象类有关的预期推理行为不是默认的，得到的回答是由于性能问题。而且我承认，在大型项目中，Typescript 变得非常缓慢。即使在抽象类上激活或不激活类型的编译标志也会受到欢迎。

我问的帖子：https://github.com/Microsoft/TypeScript/issues/21428

啊，还有……

如果您只想摆脱 implicit any 警告，只需明确指定 any 类型：viewer(arg:any)，或禁用 noImplicitAny 标志编译器选项。

Answer 2

这里没有类型推断。成员类型不是由父类或实现的接口推断的。 arg 不是推断的 string 而是隐含的 any。

子类有机会覆盖方法签名，只要它与父方法兼容。可以将方法定义为viewer(arg: any) {...}。由于string 是any, 的子集，因此将允许这样做，而viewer(arg: boolean) {...} 则不会。

viewer(arg) {...} 对arg 产生隐含的any，与viewer(arg: any) {...} 相同。它将在松散编译器模式下工作，但会导致strict 或noImplicitAny 编译器选项出现类型错误。 noImplicitAny 特别有助于避免在这种情况下意外推断出 any。

Answer 3

没有很好的方法来做到这一点。您将得到的最接近和最简单的方法是，如果您 implement 一个接口（或一个类，抽象类也可以实现，但是您丢失了共享代码）是使用函数字段并将其键入为：

export abstract class IEngineClas {
  abstract viewer(arg: string): boolean
}

export class MyClass implements IEngineClas {
  viewer: IEngineClas['viewer'] = function (this: MyClass, arg) { // we need to be explicit about who this is
    return true;
  }
}

这样做的缺点是函数被分配给每个实例而不是原型，你也使用super。

如果您对此有强烈的感觉，我会提出关于 GitHub 项目的建议。