如何正确扩展数组的泛型返回类型

Question

我有一个数据库事务函数，可以进行多个查询，并以[resultQuery1、resultQuery2等格式返回每个查询的结果]。我不确定如何为这个泛型函数提供预期的返回类型。

游戏场

示例：

type Author = string
type Book = { id: number }
type PossibleArrayResponseOfTypes = [Author, Book] // or [Author, Book, and more]


async function AsyncFN() {
  // T is always an array of expected results  
  const transaction = async <T extends any[] = any[]>(): Promise<null | T> => {
   return ['str', {id: 1}]
  }

  const res = <PossibleArrayResponseOfTypes>await transaction()
}

错误：

类型“（字符串|{id:number；}）[]不可分配给类型“T”（字符串|{id:number；}）[]”可分配给类型为“T”的约束，但“T”可以用约束“any[]”的不同子类型实例化。

Answer 1

无需指定这些类型中的任何一种；让类型推断完成它的工作：

async function AsyncFN() {
  // T is always an array of expected results  
  const transaction = async() => {
   return ['str', {id: 1}]
  }

  const res = await transaction()
}

使用--noInimplatiyany和--stritNullChecks，这和冗长的版本一样是类型安全的。

一般来说，您应该很少需要强制类型转换，并且强制类型转换的使用应该是一个巨大的危险信号。TypeScript的类型系统功能非常强大，几乎总是可以以正确表示运行时发生的情况的方式静态表示类型。

下面是错误消息试图告诉您的内容。匿名async函数是泛型函数，其类型参数T必须是any[]的子类型，并返回此类型的值T。在任何情况下，职能部门都必须遵守本合同。让我们把它简化一点，但不要失去本质：

function myFunc<T extends any[]>(): T {
  return ['str']
}

有人可以将这个函数称为：

myFunc<number[]>()

它必须返回类型为number[]的对象。但函数体并没有做到这一点；它只返回字符串[]。