解释TypeScript 如何支持类型推断？

八股文_TypeScript面试题 0 47

TypeScript 支持类型推断，即在没有明确指定类型的情况下，TypeScript 会自动推断出变量或表达式的类型。类型推断可以大大减少手动指定类型的工作量，但仍然保持类型安全。

使用场景：
– 当我们声明一个变量并给它赋值时，TypeScript 可以自动推断出该变量的类型。
– 适用于不需要显式声明类型的场合，特别是在快速开发时。

类型推断是 TypeScript 的一个强大特性，它能够根据变量的初始化值、函数的返回值等上下文自动推断出类型，这样可以减少冗余的类型声明，使代码更加简洁。我们来看一些常见的类型推断情况：

当我们声明变量并初始化时，TypeScript 会根据初始化的值推断出变量的类型。

let message = "Hello, world!";

在上面的代码中，TypeScript 会根据字符串 "Hello, world!" 推断出 message 的类型是 string。这意味着，如果我们尝试给 message 赋一个非字符串的值，TypeScript 会报错：

message = 42;  // 错误：类型 '42' 不可赋值给类型 'string'

TypeScript 也能根据数组中的元素推断出数组的类型。例如：

let numbers = [1, 2, 3, 4];

在这个例子中，TypeScript 会推断出 numbers 的类型是 number[]（即 number 类型的数组）。如果我们尝试往数组中添加非数字类型的元素，TypeScript 会报错：

numbers.push("string");  // 错误：类型 'string' 不可赋值给类型 'number'

TypeScript 可以根据函数的返回值自动推断出返回类型，即使我们没有显式声明函数的返回类型。例如：

function add(a: number, b: number) {
  return a + b;
}

在这个例子中，TypeScript 会根据 a + b 的表达式推断出 add 函数的返回类型是 number。如果我们改变返回值为非 number 类型，TypeScript 会提示错误：

function add(a: number, b: number) {
  return a + "b";  // 错误：类型 'string' 不可赋值给类型 'number'
}

TypeScript 也可以根据对象的结构推断出对象的类型。例如：

let user = { name: "Alice", age: 25 };

在这个例子中，TypeScript 会推断出 user 的类型是 { name: string; age: number }，即一个包含 name 和 age 属性的对象。如果我们尝试向 user 添加不符合该结构的属性，TypeScript 会报错：

user.email = "alice@example.com";  // 错误：属性 'email' 不存在于类型 '{ name: string; age: number }'

在一些复杂的场景中，TypeScript 还会根据上下文推断类型。例如，当我们传递一个函数作为参数时，TypeScript 会推断出该函数的参数类型和返回类型。

function greet(person: { name: string }) {
  console.log("Hello, " + person.name);
}

let user = { name: "Bob" };
greet(user);  // 正确

在这个例子中，TypeScript 会根据 greet 函数的定义推断出 person 的类型是 { name: string }。

虽然 TypeScript 可以进行自动推断，但在某些场景下，如果你希望显式指定类型，可以通过类型注解来覆盖推断类型：

let message: string = "Hello, world!";

即使 TypeScript 可以自动推断出 message 是 string 类型，你仍然可以使用类型注解明确指定类型。

总结：
– TypeScript 的类型推断可以自动推断出变量、函数、数组、对象等的类型，减少了显式类型声明的需求。
– 类型推断有助于提升代码的简洁性，但仍保持类型安全。
– 虽然 TypeScript 会进行智能推断，但在一些情况下，我们也可以通过类型注解来明确指定类型。