TypeScript不同变量声明方式的类型推导行为存在差异的原因是什么

你观察到的差异是TypeScript的字面量类型推断和类型收窄的默认规则导致的，具体是根据不同声明方式的特性做的适配：

• 基础类型的推断差异
  let声明的变量允许后续重新赋值，所以TS会推断为更宽泛的通用类型：比如你代码里的let a = "asdasd"被推断为string类型，后续你可以给a赋值任意字符串都不会报错。
  而const声明的基础类型变量一旦初始化就不可修改，TS会直接推断为最精确的字面量类型：所以const b = "asdads"的类型是"asdads"，本质是string的子类型，只能赋值为这一个固定值。如果需要让const声明的字符串也推断为string类型，手动加类型注解即可：

  const b: string = "asdads"
  

• 对象类型的推断差异
  TS的类型推断默认优先保证类型安全，不会主动推断为过于宽泛的object类型：object类型仅能表示它是一个对象，没有任何属性的类型定义，你访问任意属性都会触发TS报错，完全无法享受类型校验的优势。
  所以不管是const还是let声明的对象，TS都会默认根据你初始化的结构，推断出具体的属性结构类型。如果你确实需要使用宽泛的object类型，可以手动添加类型注解：

  let somethingg: object = {a:"something"}
  

  额外补充：如果希望const声明的对象属性也被推断为只读的字面量类型，可以添加as const断言：

  const something = {a:"something"} as const
  // 此时something的类型为 {readonly a: "something"}，修改a属性会触发报错
  

内容的提问来源于stack exchange，提问作者Витязи Team