TypeScript中是否需要显式声明变量的类型？

问题背景 #

你给出的两段TypeScript代码均会在编译阶段抛出类型错误：
第一段代码（隐式类型推断）：

let a = 'a'
a = 123

第二段代码（显式类型声明）：

let a: string = 'a'
a = 123

两者报错的核心逻辑一致：第一段代码中TypeScript会在变量初始化时自动做类型推断，赋值为字符串'a'就会将a的类型判定为string，后续赋值数字123违反类型约束；第二段是显式指定a为string类型，同样不允许赋值数字。

显式类型声明的必要性判断 #

你举的这个简单变量初始化的场景中，TypeScript已经可以准确推断出符合预期的基础类型，完全没必要额外显式声明类型，写了只会增加冗余代码。

但遇到以下场景时，必须显式声明类型：

• 变量初始化时没有赋值：如果只写let a;，TypeScript会将其推断为any类型，完全失去类型校验能力，需要显式声明为let a: string;来限定类型范围
• 预期类型和自动推断结果不一致：比如你需要变量支持多种类型时，要显式声明联合类型let a: string | number = 'a'，这样后续赋值a = 123就不会报错，符合业务需求
• 复杂结构类型校验：比如对象、数组的结构需要固定字段/元素类型时，显式声明可以提前校验格式错误，比如const user: {name: string, age: number} = {name: '张三', age: 18}，如果不显式声明，后续新增不存在的字段、漏填必填字段都不会触发提示
• 函数参数声明：除了带默认值的参数可以通过默认值推断类型之外，普通函数参数TypeScript无法自动推断预期类型，默认会判定为any，必须显式声明参数类型才能获得类型校验能力，比如function calcArea(width: number, height: number) { return width * height }

日常开发可以遵循这个原则：能被TypeScript准确推断、且完全符合预期的类型就不用显式写，推断结果不符合需求、或者无法推断的场景再补类型声明，兼顾代码简洁度和类型安全性。

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