如何在TypeScript中为对象属性定义基于另一个属性值的类型约束？

Question

type Foo = {
  type: 'string' | 'number',
  value: string | number
}

比方上面的类型，如果我想要 value 的类型在type为 'string' 时为 string ，在 type 为 'number' 的时候为 number。

要怎么定义这两个属性之间的类型约束？

Answer 1

type TMap = {
  string: string,
  number: number,
}

type Foo<K extends keyof TMap> = {
  type: K,
  value: TMap[K],
}

或者简单一点：

type Foo = {
  type: 'string',
  value: string
} | {
  type: 'number',
  value: number
}

Answer 2

最简洁的方式是使用 TypeScript 的条件类型（也称为分发条件类型或泛型条件类型）来定义一个新的类型。

你可以看看这篇文章：https://mybj123.com/23000.html