面试题：TypeScript 函数重载类型推断的边界情况与优化

TypeScript 类型推断工作原理

基本类型推断：当调用 processData 并传入基本类型（如 string、number、boolean）时，TypeScript 会根据传入参数的类型直接推断函数的输入类型。例如，如果传入 'hello'，则函数输入类型被推断为 string。对于简单返回值，若函数直接返回传入的参数（如 return input;），返回值类型将与输入类型一致。
数组类型推断：当传入数组，如 ['a', 'b']，TypeScript 会推断出输入类型为 string[]。如果函数对数组元素进行操作并返回，返回值类型会根据操作推断。例如，对 number[] 进行求和操作，返回值类型可能被推断为 number。
自定义对象类型推断：对于自定义对象类型，TypeScript 会根据对象字面量的属性来推断类型。例如，{name: 'John', age: 30} 会被推断为 {name: string, age: number}。若函数接收此对象并返回基于对象属性计算的值，返回值类型会基于这些计算推断。
依赖于输入参数类型的复杂转换：如果函数将 string 转换为 number 后进行计算，例如 parseInt(input).toFixed(2)，TypeScript 会尝试从操作链中推断返回值类型。首先，parseInt 将 string 转换为 number，然后 toFixed 返回 string，所以最终返回值类型为 string。

可能出现的类型推断错误

隐式类型转换错误：当函数内部进行隐式类型转换时，可能出现错误。例如，假设函数接收 string 并期望其为数字格式，但未进行充分检查就调用 parseInt。如果传入非数字字符串，parseInt 返回 NaN，这可能导致后续计算错误，而 TypeScript 可能无法准确推断出错误情况，因为它在类型推断时假设转换成功。
重载解析错误：当有多个重载时，TypeScript 需要根据传入参数的类型准确选择合适的重载。如果重载定义不清晰，可能会选择错误的重载。例如，两个重载一个接收 string 另一个接收 string[]，若参数类型有歧义（如 let input: string | string[];），TypeScript 可能无法正确选择重载。
泛型类型推断错误：如果函数使用泛型且泛型类型推断依赖于复杂逻辑，可能出现错误。例如，泛型函数接收两个参数并返回其中一个，根据某些条件决定返回哪个参数，但 TypeScript 可能无法根据调用时的上下文准确推断泛型类型。

通过类型声明和类型守卫优化和避免错误

类型声明：
- 函数重载声明：在定义 processData 时，明确每个重载的输入和输出类型。例如：

function processData(input: string): number;
function processData(input: number): string;
function processData(input: boolean): boolean;
function processData(input: string[]): number[];
function processData(input: number[]): string[];
function processData(input: any): any {
    // 实际实现
}

- **显式参数和返回值类型声明**：在函数实现内部，对于复杂计算和中间变量，显式声明类型。例如：

function processData(input: string): number {
    let num: number = parseInt(input);
    return num * 2;
}

类型守卫：
- typeof 类型守卫：用于基本类型检查。例如，在接收多种类型输入的函数中：

function processData(input: string | number): number {
    if (typeof input ==='string') {
        let num: number = parseInt(input);
        return num * 2;
    } else {
        return input * 2;
    }
}

- **instanceof 类型守卫**：用于自定义对象类型检查。例如，如果函数接收自定义类的实例或其他类型：

class MyClass {
    value: number;
    constructor(value: number) {
        this.value = value;
    }
}
function processData(input: MyClass | number): number {
    if (input instanceof MyClass) {
        return input.value * 2;
    } else {
        return input * 2;
    }
}

利用类型推断提高代码的可维护性和扩展性

可维护性：
- 自动类型检查：类型推断让编译器自动检查代码中的类型错误，减少运行时错误。例如，在函数调用时传入错误类型参数，TypeScript 编译器会报错，便于开发者及时发现和修复问题。
- 代码自解释性：合理的类型推断使代码更具可读性，开发者可以从函数调用和定义中清晰了解参数和返回值类型，降低理解代码逻辑的成本。
扩展性：
- 轻松添加新重载：由于 TypeScript 的类型推断，当需要为 processData 添加新的重载（如接收新的自定义对象类型）时，只需要添加新的重载声明和实现，编译器会根据类型推断确保新重载与现有代码的兼容性。
- 泛型的灵活性：使用泛型并借助类型推断，可以编写更通用的函数。例如，编写一个通用的数组映射函数，TypeScript 可以根据传入数组元素类型和映射函数的返回值类型准确推断出输出数组类型，方便在不同类型数组上复用该函数。

星途面试题库

面试题：TypeScript 函数重载类型推断的边界情况与优化

知识考点

面试题答案

TypeScript 类型推断工作原理

可能出现的类型推断错误

通过类型声明和类型守卫优化和避免错误

利用类型推断提高代码的可维护性和扩展性