typescript - 省略对象中 `undefined` 的所有属性

Question

我有这样的类型:

  {
    a: number,
    b: number,
    c: undefined
  }

我想将它映射到这样的类型:

{
  a: number,
  b: number
}

即我想省略值类型为 undefined 的所有键根据定义。该类型来自泛型，所以我显然不能手动完成。
我知道我可以使用映射器将一种类型映射到另一种类型，所以我尝试映射 undefined至 never :

type TryOmitUndefined<K> = {
  [k in keyof K]: K[k] extends undefined ? never : K[k]
}

但这根本行不通。
在当前的 TypeScript 中，是否可以根据值省略类型中的键？
奖金问题
我可以映射这个吗

{
  a: number,
  b: number | undefined,
  c: undefined
}

到这个？

{
  a: number,
  b?: number
}

Answer 1

分两步完成这可能是最简单的。首先获取未定义的键:

type UndefinedKeys<T> = {
    [K in keyof T]: T[K] extends undefined ? K : never
}[keyof T]

现在 Omit这些键:

type WithoutUndefined<T> = Omit<T, UndefinedKeys<T>>

然后它应该按预期工作:

type Bar = WithoutUndefined<Foo>
const bar: Bar = { a: 1, b: 2 }

Playground
UndefinedKeys<T>类型是这样工作的: []在类型表示将所有可能的值类型作为与这些键类型匹配的联合之后。

type StringArray = string[]
type A = StringArray[number] // string

interface Abc { a: string, b: number, c: boolean }
type B = Abc['a' | 'b' | 'c'] // string | number | 'boolean'

type AbcKeys = keyof Abc // 'a' | 'b' | 'c'
type C = Abc[keyof Abc] // string | number | 'boolean'

因此，鉴于此，我们映射一个类型以创建一个新的对象类型，其中:(伪代码)

type KeyOrNever = { [originalKey]: originalKey or never }

或者就您的示例而言:

type KeyOrNever = { a: "a", b: "b", c: never }

所以每个键要么有一个自己名字的值，要么有一个值 never .现在我们可以通过用自己的键索引类型来获取所有属性的值作为联合。这将产生:

type KeysAsUnion = "a" | "b" | never

never被工会抛弃，因为它没有任何用处。你不可能是一个东西，也可能是另一个永远不会存在的东西，所以它被简单地忽略了。这联合简化为:

type KeysAsUnion = "a" | "b"