typescript - 使用 TypeScript 类型检查器查看两种类型是否可赋值

Question

我正在构建一个小脚本，它使用 TypeScript Compiler API 扫描具有给定类型成员的所有接口(interface)。 , 出处可见here .我检查这些类的成员以了解它们是如何相互关联的。

我的问题是:我怎么知道一个类型何时可以分配给另一个类型？我在 TypeChecker 中搜索了一种方法，但找不到。有没有人有任何指示？下面是一个应该能够进行分析的示例:

export enum ASTKind {
  Number,
  Addition,
  Multiplication,
}

export interface AST {
  kind: ASTKind  
}

export interface BinaryExpression extends AST {
  left: AST
  right: AST
}

export interface Addition extends BinaryExpression {
  kind: ASTKind.Addition 
}

export interface Multiplication extends BinaryExpression {
  kind: ASTKind.Multiplication 
}

本质上，我想要一个谓词来说明 ASTKind.Multiplication 是否可分配给 ASTKind(在本例中为真)。

Answer 1

我找到了:目前看来是不可能的:

• Expose isTypeAssignableTo in TypeChecker?
• Proposal: Type Relationship API
• Assignability checks in API

我创建了自己的 fork它公开了这个功能。我会尽力维护它，所以如果有人感兴趣，他或她可以使用 fork ，直到上游跟进。