TypeScript:在运行时访问类型信息

Question

如果根据参数输入创建动态属性：

type ObjBuilder<Prop1 extends string, Prop2 extends string> = {
[P in Prop1 | Prop2]: P extends Prop2  ? ()=>boolean : ()=>string
}
function objectBuilder<Prop1 extends string, Prop2 extends string>(
prop1: string,
prop2: string,
) : ObjBuilder<Prop1, Prop2> {
return {
[prop1]: () => true,
[prop2]: () => prop2,
} as ObjBuilder<Prop1, Prop2>
}
// note the duplication of information in this code
const a = objectBuilder<'p1', 'p2'>('p1', 'p2')
console.log(a.p1()) // true
console.log(a.p2()) //'p2'

是否可以访问函数定义中的类型定义以避免objectBuilder<'p1', 'p2'>('p1', 'p2')的重复，而只让objectBuilder<'p1', 'p2'>()与已编译的javascript访问字符串p1和p2？

换句话说，JavaScript是否以某种方式通过反射访问类型信息并使其在运行时可用？

此处编码

Answer 1

您可以推断参数的字面类型。

在这个例子中：

type ObjBuilder<Prop1 extends string, Prop2 extends string> = {
[P in Prop1 | Prop2]: P extends Prop2 ? () => boolean : () => string
}
function objectBuilder<Prop1 extends string, Prop2 extends string>(
prop1: Prop1,
prop2: Prop2,
): ObjBuilder<Prop1, Prop2> {
return {
[prop1]: () => true,
[prop2]: () => prop2,
} as ObjBuilder<Prop1, Prop2>
}
const a = objectBuilder('p1', 'p2')
console.log(a.p1())
console.log(a.p2())

游乐场

正如您可能已经注意到的，我使用了Prop1和Prop2泛型作为参数类型，而不是string。通过这种方式，TS能够推断文字类型。

如果你对这个主题感兴趣(函数参数类型推理(，你可以查看我的文章