TypeScript如何实现自定义rules属性的VSCode自动补全

两个问题导致类型丢失、补全失效：

1. 你使用了类型断言const rules = <ValidationArgs<user>>{...}，这种写法是强制让TS把对象识别成你指定的宽泛类型，直接抹掉了对象字面量本身的精确属性结构信息，TS自然不知道你在username、password下定义了shouldAutoSuggest方法。
2. 你写的ValidationArgs是递归映射类型，没有终止条件：当遍历到string这类原始类型的字段（比如username、password）时，keyof T会拿到string原型链上的所有内置方法key，和规则类型做联合后产生类型污染，进一步干扰推导。

另外你定义的ValidationRule本身就包含ValidatorFn也就是函数类型，你写的()=>false本身是符合校验函数签名的，只是因为类型被宽泛断言了，无法被识别到。

1. 修正递归类型定义，增加原始类型终止判断 #

遇到原始类型值的时候，不再继续递归遍历它的内置属性，直接返回规则类型即可：

// 新增原始类型集合，作为递归终止条件
type Primitive = string | number | boolean | bigint | symbol | null | undefined;

type ValidationArgs<T = unknown> = T extends Primitive
  ? ValidationRuleCollection<T> | ValidationRule<T>
  : {
    [key in keyof T]: ValidationArgs<T[key]> | ValidationRuleCollection<T[key]> | ValidationRule<T[key]>
  }

2. 用泛型工具函数替代类型断言，保留精确类型 #

直接写类型断言会丢失字面量类型，写一个泛型封装函数，入参做合法性校验，返回值保留传入对象的精确结构：

// 规则定义工具函数，同时做类型校验和类型保留
function defineRules<T>(rules: ValidationArgs<T>): typeof rules {
  return rules;
}

3. 调整规则定义写法，符合TS命名规范 #

接口名建议用大驼峰，调用工具函数传入泛型参数即可，不需要额外断言：

// 接口名改成大驼峰，符合TS通用规范
interface User{
    username: string;
    password: string
}

const rules = defineRules<User>({
    username:{
        shouldAutoSuggest: ()=>false
    },
    password: {
        shouldAutoSuggest: ()=>false
    }
});

修改完成后，在VSCode中输入rules.username.时，TS会自动推导出shouldAutoSuggest属性并提供补全，同时如果你写的规则不符合结构要求（比如漏写必填的$validator字段），TS也会正常抛错，兼顾类型校验和自动补全能力。

注意：不要对配置类对象直接使用类型断言，断言的本质是告诉TS“你别推导，我比你清楚类型”，会直接跳过类型检查同时丢失精确类型信息。

内容的提问来源于stack exchange，提问作者HabardiTurki