TypeScript 是一门开源的编程语言，它是 JavaScript 的一个超集，为 JavaScript 扩展了强类型特性，使得代码更加可靠且易于维护。其中，类型推断是 TypeScript 中非常重要的特性之一。通过类型推断，TypeScript 可以根据变量的值自动推断出变量的类型，从而减少了编程时的错误率，提高了代码的可读性和可维护性。
在 TypeScript 中，类型推断主要涉及到以下几个方面：
基础类型推断
当 TypeScript 定义变量时没有指定变量类型时，TypeScript 会根据变量的值自动推断出变量的类型。例如：
let num = 1;
let str = 'hello';
let arr = [1, 2, 3];
let obj = { name: '张三', age: 18 };
let func = (a: number, b: number) => a + b;TypeScript 会自动将变量的类型定义为 number、string、number[]、{ name: string; age: number }、(a: number, b: number) => number。
函数类型推断
TypeScript 可以根据函数参数和返回值的类型自动推断出函数的类型。例如：
function add(a: number, b: number) {
return a + b;
}
const sum: (a: number, b: number) => number = add;TypeScript 会自动将 sum 的类型定义为 (a: number, b: number) => number，与函数 add 的类型相同。
类型断言
有时候，TypeScript 无法根据变量的值自动推断出变量的类型，此时就需要使用类型断言来明确变量的类型。例如：
let language: string = 'TypeScript'; let strLength: number = (language as string).length;
在这个例子中，我们通过类型断言将变量 language 的类型明确为 string，然后计算出 language 的长度并将其赋值给变量 strLength。
类型兼容性
TypeScript 可以根据变量的类型是否相同来判断变量之间是否可以进行赋值。如果变量的类型不同但是可以相互转换，则 TypeScript 也可以判断它们之间的兼容性。例如：
let num: number = 1; let str: string = 'hello'; num = str; // 报错：不能将类型“string”分配给类型“number” str = num; // 报错：不能将类型“number”分配给类型“string”
在这个例子中，变量 num 和变量 str 的类型不同，因此无法相互赋值。如果我们要将一个数字转换为字符串，可以使用 num.toString() 或者 String(num)。
总结
TypeScript 中的类型推断非常重要，它可以让我们在编写代码时更加高效、更加准确，减少了程序出错的概率。通过学习本文介绍的内容，我们可以更加深入地了解 TypeScript 中的类型推断机制，从而更加自信地使用 TypeScript 编写代码。
示例代码：
-- -------------------- ---- ------- --- --- - --- -- ------ ------ --- ---- - ----- -- ------ ------ --- ---- - --- -- --- -- ------ -------- --- ---- - - ----- ----- ---- -- -- -- ------ - ----- ------- ---- ------ - -------- ------ ------- -- ------- - ------ - - -- - ----- ------ --- ------- -- ------- -- ------ - ---- -- ------ --- ------- -- ------- -- ------ --- ------------ ------- - --- --- ---------- ------ - ------------ -- --------------- -- ------ ------
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/646599ea968c7c53b0647eaa