在前端开发中，静态类型检查一直是一个备受追捧的功能，这能够帮助开发者在开发过程中尽早发现代码中的类型错误。而 TypeScript 就是一种能够提供静态类型检查的工具。在 TypeScript 中，类型推断则发挥着重要的作用。本文将会讨论 TypeScript 中的类型推断及其局限性，并带来相关的示例代码。
TypeScript 中的类型推断
TypeScript 中的类型推断是不需要明确指定类型的情况下，TypeScript 通过代码分析和类型规则推导变量的类型。例如：
let num = 1; // TypeScript 推断 num 为 number 类型 let test = "hello world"; // TypeScript 推断 test 为 string 类型
在上面的例子中，TypeScript 会在定义变量时通过变量的值的数据类型来推断该变量的类型。从而在代码中就不再需要明确指定变量的类型了。
在 TypeScript 中，类型推断不仅工作在变量声明时，它也适用于其他的情形，如函数调用、返回类型、对象解构等等。例如：
function add(a: number, b: number) {
return a + b; // TypeScript 推断返回值类型为 number 类型
}
const [a, b, c] = [1, true, "hello"]; // TypeScript 推断 a 为 number 类型，b 为 boolean 类型，c 为 string 类型总的来说，TypeScript 中的类型推断能够让我们在写代码的过程中省去大量的类型声明和类型转换，提高了我们的开发效率。
类型推断的局限性
虽然类型推断在 TypeScript 中提供了很大的帮助，但是有些情况下它有些局限性。下面我们讨论一下其中的几个情况。
推断不准确
有时候，TypeScript 推断出的类型并不是我们预期的类型。例如：
const obj = {
name: "Alice",
age: 25
};
obj.address = "New York"; // Error: Property 'address' does not exist on type '{ name: string; age: number; }'.在上面的例子中，我们定义了一个 obj 对象，并为其指定了 name 和 age 属性。但是我们在后面试图给 obj 对象新增一个 address 属性时，TypeScript 给出了非预期的错误：Property 'address' does not exist on type '{ name: string; age: number; }'。
这是因为在 TypeScript 中，对象的类型是被固定的，变量不能得到额外的属性。如果能够确保对象的属性不会被更改，我们可以通过类型断言的方式告诉 TypeScript，对象已经具有了额外的属性，从而避免类型推断的问题：
const obj = {
name: "Alice",
age: 25
} as { name: string; age: number; address?: string; };
obj.address = "New York"; // OK推断不出来
有时候，TypeScript 也推断不出变量的类型，需要我们在声明的同时指定变量类型。例如：
const arr = []; // TypeScript 无法推断 arr 的类型
对于这种情况，我们可以使用类型注释明确指定变量类型：
const arr: number[] = []; // 明确指定 arr 的类型为 number 数组类型
推断过度
在某些情况下，TypeScript 推断的类型可能过于严格，这会造成一些麻烦。例如：
const str = "hello" as string | number; console.log(str.length); // Error: Property 'length' does not exist on type 'string | number'.
在上面的例子中，我们定义了一个变量 str，明确指定其为字符串或数字类型。但是当我们试图输出 str 变量的 length 属性时，TypeScript 会报出 Error: Property 'length' does not exist on type 'string | number'。这是因为 TypeScript 并不知道 str 变量的具体类型，只知道其为 string 或 number。在这种情况下，我们可以使用类型守卫来明确 str 变量的类型：
const str = "hello" as string | number;
if(typeof str === "string") {
console.log(str.length); // OK，str 变量被类型推断为 string 类型
}总结
TypeScript 中的类型推断能够大大提高我们的开发效率，但是在一些情况下会出现一些问题。在使用 TypeScript 开发过程中，应该充分了解类型推断的局限性，避免在开发过程中出现类型推断相关的问题。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/64a2132048841e9894e59777