顺便说一句,为了更好地说明我在找什么,请查看这个库:
https://github.com/vriad/zod它允许你在设计/编译时间定义规范似的模式,这些模式也能被TS编译器在设计和编译时理解和使用。
// 规范定义 - 在TS编译后存在,可用于验证模式
const dogSchema = z.object({
name: z.string(),
neutered: z.boolean(),
});
// 在运行时验证模式
const cujo = dogSchema.parse({
name: 'Cujo',
neutered: true,
}); // 通过,返回 Dog 类型
// TypeScript 类型定义 - 在编译后不存在
type Dog = z.infer<typeof dogSchema>;
/*
相当于
type Dog = {
name: string;
neutered: boolean;
}
*/
// 在编译时类型检查和设计时智能感应中使用推断的类型
const fido: Dog = {
name: 'Fido',
}; // TypeError: 缺少必填属性 `neutered`