面试题：TypeScript中变量声明与类型推断的应用

Question

请解释TypeScript中类型推断的工作原理，并举例说明在变量声明时，何时会发生类型推断以及如何利用类型推断简化代码。同时，编写一段TypeScript代码，声明几个不同类型的变量，通过类型推断确定其类型，并展示如何在后续代码中使用这些变量。

Answer 1

类型推断工作原理

TypeScript的类型推断是指在没有明确指定类型的情况下，TypeScript编译器根据代码的上下文自动推断出变量的类型。编译器会在编译时分析代码，从初始化值、函数返回值等信息中推导出合适的类型。

何时发生类型推断及简化代码

1. 变量声明并初始化时：当声明变量并同时为其赋值时，TypeScript会推断变量的类型为赋值的类型。例如：

let num = 42; // 这里num会被推断为number类型

这简化了代码，因为无需显式声明let num: number = 42;，减少了冗余代码。

2. 函数返回值推断：函数返回值的类型也可以被推断。例如：

function add(a, b) {
    return a + b;
}
let result = add(2, 3); // result会被推断为number类型，add函数返回值也被推断为number类型

示例代码

// 声明不同类型变量并通过类型推断确定类型
let str = "hello"; // str被推断为string类型
let bool = true; // bool被推断为boolean类型
let arr = [1, 2, 3]; // arr被推断为number[]类型

// 在后续代码中使用这些变量
function printInfo(info) {
    console.log(info);
}

printInfo(str);
printInfo(bool);
printInfo(arr);