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

Question

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

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

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，因为该接口是用扩展Content 的类型实现的。但是我收到了这种类型的错误：

• ValueNode<ValueType> 类型中的属性getValue 不能分配给基本类型TreeNode<ValueType> 中的相同属性。
  • 类型() => number 不可分配给类型() => ValueType extends Content ? number : string。
    • 类型number 不可分配给类型ValueType extends Content ? number : string

很清楚，我做错了。实现我的目标的正确方法是什么？

Answer 1

作为@Dai pointed out，最好不要shadow内置Error类型（这样你就可以在你的模块中使用它）。

这里有两种选择：

TS Playground link

interface ContentValue {
  data: number;
}

interface ErrorValue {
  code: string;
}

export interface ValueGetter<T> {
  getValue(): T;
}

class ValueNode<T extends ContentValue> implements ValueGetter<ContentValue['data']> {
  public constructor(private readonly value: T) {}
 
  public getValue(): number {
    return this.value.data;
  }
}

// or
class SimpleValueNode<T extends ContentValue> {
  public constructor(private readonly value: T) {}
 
  public getValue(): number {
    return this.value.data;
  }
}