有没有一种类型级别的方法可以从类中提取具有默认值的属性？

Question

我想提取具有默认值的类中的属性的键名。 该信息可用于类型系统吗？

class Foo {
  hasDefault: boolean = true
  alsoHasDefault: number = 42
  noDefault: boolean
}

// How can this be implemented?
type DefaultPropertyNames<T> = ... 

// Example output:
type FooDefaults = DefaultPropertyNames<Foo> // -> 'hasDefault' | 'alsoHasDefault'

Answer 1

我认为“无默认值”的意思是该值可以不确定。 当前，您的代码引发类型错误，因为noDefault在其类型定义中不包含undefined。

因此，让我重新构想这个问题：

如何找到类中所有可能未定义的键？

像这样的作品：

type DefaultPropertyNames<T> = Exclude<{
    [K in keyof T]: {key: K, value: T[K] extends T[K] & {} ? true : false}
}[keyof T], {value: false}>["key"]

操场

解释一下：

• T[K] & {}从类型中删除undefined 。

• T[K] extends T[K] & {}告诉您undefined是否在并集类型中

• {[K in keyof T]: ... }[keyof T]从每个属性键创建一个联合类型

• Exclude使您可以从联合类型中删除项目。