TypeScript - 定义类型的子集

Question

说我有这样的类型：

interface IAll {
  foo: boolean,
  bar: Function,
  baz: number
}

而不是手动定义IAll所有可能的子类型，如下所示：

interface IAll1 {
  foo: boolean,
  bar: Function,
}

interface IAll2 {
  bar: Function,
  baz: number
}

interface IAll3 {
  foo: boolean,
}

interface IAll4 {
  foo: boolean,
}

...等等

然后做

type IAll = IAll1 | IAll2 | IAll3 ... etc.

有没有办法让TypeScript静态检查对象是否是另一个的子类型或子集？

这对于我们组合多个子类型或子集以形成完整类型的某些情况非常有用。

Answer 1

您可以使用Partial<T> 。 这将使IAll所有属性IAll可选：

type SubsetOfIAll = Partial<IAll>;