打字稿：从类型中排除所有必需的属性

Question

如何在下面的代码类型ExcludeAllRequiredProps<T>中定义以排除（如名称所示）所有必需的属性？预先感谢。

type A = {
  a: number,
  b: number,
  c?: number,
  d?: number
}

type B = ExcludeAllRequiredProps<A>


// B shall be { c?: number, d?: number }

---

[编辑-过一会儿]

您认为这是一个合适的解决方案吗？

type ExcludeAllRequiredProps<T> = {
  [K in keyof T]?: T extends Record<K, T[K]> ? never : T[K]
}

Answer 1

您的解决方案很接近，但是它保留了这些额外的键，即使它们是never类型，也可能引起混乱。此解决方案将从结果中删除不需要的键：

type ExcludeAllRequiredProps<T> = Pick<T, {
    [K in keyof T]-?: T extends Record<K, T[K]> ? never : K
}[keyof T]>

type A = {
    a: number,
    b: number,
    c?: number,
    d?: number
}

type B = ExcludeAllRequiredProps<A> // { c?: number, d?: number }