如何在TypeScript中实现带有条件类型的接口

Question

在一个个人项目中，我遇到了一个TypeScript条件类型的问题。我对TypeScript文档中的条件类型有基本的了解。我希望下面的设置工作，但它给出了一个类型错误。

基本上，我试图为从磁盘加载的树节点定义一个接口。这意味着，由于缺少文件等原因，某些节点可能无法正确加载。因此，任何节点实现都可能包含内容或错误。

interface Content {
  data: number;
}

interface Error {
  code: string;
}

export interface TreeNode<T extends Content | Error> {
  getValue(): T extends Content ? number : string;
}

class ValueNode<ValueType extends Content> implements TreeNode<ValueType> {
  private readonly value: number;
  public constructor(value: number) {
    this.value = value;
  }
 
  public getValue(): number {
    return this.value;
  }
}

我希望getValue方法的实现可以返回string，因为接口是通过类型扩展内容实现的。但我得到了这种类型的错误：

• 属性getValue类型ValueNode

克利里，我做得不对。实现我的目标的正确方法是什么？




Answer 1

正如@Dai所指出的，最好不要隐藏内置的错误类型（这样您就可以在模块中使用它）。以下是@Aleksey L.的建议：

TS游乐场链接

interface ContentValue {
  data: number;
}

interface ErrorValue {
  code: string;
}

export interface TreeNode<T extends ContentValue | ErrorValue> {
  getValue(): T extends ContentValue ? number : string;
}

class ValueNode implements TreeNode<ContentValue> {
  public constructor(private readonly value: number) {}
 
  public getValue(): number {
    return this.value;
  }
}