typescript - 如何强制对函数返回值进行 TypeScript 额外属性检查

Question

下面c:3应该是类型错误，其实不是。如何实现？

export type ExcludeUndefined<T> = T extends undefined ? never : T

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

export type KeepRequiredKeys<t> = {
  [k in ExcludeUndefined<GetRequiredKeys<t>>]-?: undefined extends t[k] ? never : t[k]
}

const ok: KeepRequiredKeys<{
  b: 1
  c?: number | undefined
}> = { b: 1, c: 3 } // this type errors as expected

const bad: () => KeepRequiredKeys<{
  b: 1
  c?: number | undefined
}> = () => ({ b: 1, c: 3 }) // c: 3 should be type error, is not

Playground link

Answer 1

你很幸运。相关问题来自 6 年前 (!)，但上周刚刚解决。 This PR改善“扩大”行为。看看the code in your original question ，通过更新的编译器运行——您标记为“应该是错误”的最后一行现在被正确标记为错误。

听起来他们想在 v4.1 中发布 PR，但我不一定要让团队这么做。