>[success] # 类型缩减 ~~~ 1.两个联合类型在类型存在父子时候，会类型缩减以父类型为主 ~~~ >[danger] ##### 举个例子 ~~~ type URStr = 'string' | string // 类型是 string type URNum = 2 | number // 类型是 number type URBoolen = true | boolean // 类型是 boolean enum EnumUR { ONE, TWO, } type URE = EnumUR.ONE | EnumUR // 类型是 EnumUR type UnionInterce = | { age: '1' } | { age: '1' | '2' [key: string]: string } // {age: '1'|'2', [key: string]: string;} ~~~ >[danger] ##### 产生的问题 ~~~ 1.如图因为类型缩减后，相对的之前ts 利用编译器提供的提示功能也消失 ~~~  ~~~ 1.TypeScript 官方其实还提供了一个方法，让类型缩减被控制，可以给父类型添加“& {}” ~~~  >[danger] ##### 解决索引签名 -- 可以添加不确定参数 ~~~ 1.接口类型一旦定义了任意属性那么'确定属性和可选属性的类型都必须是它的类型的子集'，never是所有类型的子集 ~~~ ~~~ // 之前为了可以定义一个age 属性是number，但是有可以有不确参数我们需要将不却参数扩大可以包含age，形成父子级 interface Person { name: string age: number // 报错 [propName: string]: string // 改正 [propName: string]: any; 或者 [propName: string]: string|number } ~~~ ~~~ // 利用类型缩减 和never 是任意类型子集 即可声明一个 name 是string age 是number 并且其他任意key 类型是string类型 type Person = | { name: string age: number // 报错 } | { age: never [propName: string]: string } ~~~