typescript - 在 Typescript 中递归泛型？

Question

Typescript 使用以下代码引发错误:

type AndType<AstT> = { type: 'And', args: [AstT] };
type TrueType = { type: 'True' };
type BaseAST = AndType<BaseAST> | TrueType;

投诉 Type alias 'BaseAST' circularly references itself. ;但是，如果我将循环引用包装在一个对象中，则这些类型可以正常编译:

type AndType<AstT> = { type: 'And', args: [AstT] };
type TrueType = { type: 'True' };
type BaseAST = {value: AndType<BaseAST>} | {value: TrueType};

为什么？有没有人引用定义此行为的文档？

Answer 1

在您的情况下，最简单的解决方案是制作 AndType键入一个接口(interface)如下:

interface AndType<AstT> {
  type: 'And';
  args: [AstT];
}
type TrueType = { type: 'True' };
type BaseAST = AndType<BaseAST> | TrueType;

一般来说，建议对简单类型使用接口(interface)，但这并不总是可行的。已经给出的链接应该为您提供更深入的信息。