Typescript条件类型不适用于不同的返回类型

Question

我想基于通用值返回不同的类型。 例如：

interface Base {
  key: string[];
}

class Test<T> {
  value = [];

  getSomething(): (T extends Base ? string[] : string) {
    if (Array.isArray(this.value)) {
      return ['a'] as string[];
    }

    return 'nothing' as string;
  }
}

const v = new Test<Base>().getSomething();

但是我遇到一个错误：

类型string []不能分配给类型T扩展Base？ string []：字符串

Answer 1

其中仍然有未解析的条件类型（例如函数内的T ）的条件类型通常无法从其他类型（没有类型断言）中分配。 Typescript将无法按照您函数中的逻辑来确定分配是安全的。

最安全的选择是使用单独的实现和公共签名：

interface Base {
  key: string[];
}

class Test<T> {
  value = [];

  getSomething(): (T extends Base ? string[] : string)
  getSomething(): string[] | string {
    if (Array.isArray(this.value)) {
      return ['a'] as string[];
    }

    return 'nothing' as string;
  }
}

const v = new Test<Base>().getSomething();

或类型断言（尽管如果先别名化类型会更好）

Answer 2

您将无法确定这样的返回类型。

另一种选择是始终返回string []，并且当类不从Base继承时返回数组中的单个值。