键入一组显式值类型的数组[重复]

Question

我正在试图找出如何在TypeScript中为以下值定义类型：

[{"source": "bar"}, 1483228800, 1484265600]

到目前为止，我提出的唯一方法是：

interface FieldSource {
  source: string;
}

interface SearchWhereClause {
  between: [FieldSource, number, number]
}

这编译得很好，但我不确定这是否是正确的方法。

我看到我可以做到：

(FieldSource | number | number)[]

但在我的例子中，我明确地希望数组包含我的对象和两个数值。

有人能给点建议吗？

谢谢

Answer 1

但在我的例子中，我明确地希望数组包含我的对象和两个数值

如果这确实是您想要的，那么您当前的方法是100%正确的，需要注意的是，该数组中的类型必须按该顺序出现。

<代码>（字段源代码）[]<代码>与<代码> [字段源、编号、编号] /代码>有很大不同，请考虑以下内容：

interface MyInterface {
  prop: number
}

type MyTuple = [MyInterface, number, number]
type MyArr = (MyInterface | number)[]

const myTup: MyTuple = [{ prop: 2 }, 2, 2] // <-- can only have two numbers
const myArr: MyArr = [{ prop: 2 }, 2, 2, 2, 2] // <-- can have any amount of numbers
const myArrAsTup: MyTuple = [{ prop: 2 }, 2, 2, 2, 2] // <-- not assignable to type

（FieldSource | number）[，它与（FieldSource | number | number）[相同，表示数组可以以任何顺序和数量包含这些值中的任何一个。

[FieldSource， number， number]称为元组类型，它允许您强制执行数组中允许的类型，以及这些类型的位置和数组的长度。

type MyTuple = [MyInterface, number, number]

const tupleOne: MyTuple = [2, 2, {prop: 2} ] // <-- not assignable
const tupleTwo: MyTuple = [2, {prop: 2}, 2] // <-- not assignable

这还允许typescript通过索引或分解结构轻松推断从阵列检索到的实体类型：

const [interfaceInstance] = myTup // <-- type is MyInterface
const aNumber = myTup[1] // <-- type is number

如果无法确保类型顺序（或不希望），则始终可以对多个元组使用并集：

// less verbose, worse inference
type TupleMember = (MyInterface | number)
type MyTuple = [TupleMember, TupleMember, TupleMember]

// more verbose, can still infer types of tuple members
// as long as those tuples are created somewhere in your codebase
// and not the result of something else, like an API call
type MyTuple = 
  [MyInterface, number, number] |
  [number, MyInterface, number] |
  [number, number, MyInterface]

Answer 2

正如@hereticMonkey在问题的评论中提到的，这在很大程度上是在TypeScript中使用多种类型定义数组的重复

特别针对您的问题，因为您正在寻找显式集合。元组就是答案。

（FieldSource|数字|数字）[]与Array相同

附带说明的是，我建议在接口上使用typefieldsource={source:string}，除非您在课堂上使用它。与接口相比，它是一种更强大、更直接、更灵活的结构。