面试题：TypeScript 类型推断在编译器中的作用及场景

Question

请阐述TypeScript类型推断在编译器中的主要作用，并举例说明至少两个常见的类型推断场景。

Answer 1

主要作用

1. 提高代码的可维护性：在编译阶段就能发现类型错误，减少运行时错误，使得代码更健壮，便于后续维护。例如，在一个大型项目中，开发人员可能会修改某个函数的参数类型，如果没有类型推断，可能在运行时才发现错误，而类型推断能在编译时就提示错误，方便定位和修复。
2. 增强代码的可读性：通过类型推断，即使没有显式地声明类型，代码的类型信息也很清晰。其他开发人员阅读代码时能快速了解变量、函数参数和返回值的类型，从而更好地理解代码逻辑。
3. 辅助代码重构：在对代码进行重构时，类型推断能帮助开发人员确保重构后的代码仍然保持类型安全。比如重命名函数或者移动函数定义时，类型推断机制可以检查相关调用处的类型是否仍然匹配。

常见类型推断场景

1. 变量初始化时的类型推断

let num = 10; 
// 这里TypeScript推断num的类型为number，不需要显式声明let num: number = 10;

2. 函数返回值类型推断

function add(a, b) {
    return a + b;
}
// 虽然没有显式声明返回值类型，但TypeScript能推断出add函数返回值类型为number

3. 上下文类型推断

document.addEventListener('click', function (event) {
    console.log(event.pageX); 
    // 这里TypeScript根据addEventListener的上下文，推断出event的类型为MouseEvent
});