面试题：复杂场景下TypeScript函数类型推断与显式注解的分析

Question

假设有一个函数，其参数是一个包含多种不同类型属性的对象，并且返回值是经过复杂逻辑处理后的联合类型。请分析在这种复杂场景下，类型推断可能会遇到的问题，以及如何通过显式注解来确保函数类型的准确性和代码的可维护性，同时给出实现代码。

Answer 1

类型推断可能遇到的问题

1. 属性类型不确定性：对象包含多种不同类型属性，TypeScript 可能无法准确推断每个属性的类型，导致在使用属性时可能出现类型错误。
2. 联合类型复杂性：返回值是经过复杂逻辑处理后的联合类型，TypeScript 难以自动推断出正确的联合类型，可能导致返回值类型不准确。
3. 上下文依赖：复杂逻辑可能依赖于特定的上下文或前期计算结果，类型推断难以处理这种动态性，容易出现类型不匹配。

显式注解确保函数类型准确性和代码可维护性

1. 参数对象类型注解：通过接口（interface）或类型别名（type）明确指定参数对象每个属性的类型。
2. 返回值类型注解：明确指定函数返回值的联合类型。

实现代码

// 定义参数对象的类型
interface InputObject {
    name: string;
    age: number;
    isStudent: boolean;
}

// 定义返回值的联合类型
type OutputType = string | number;

// 带有显式类型注解的函数
function complexFunction(input: InputObject): OutputType {
    if (input.isStudent) {
        return input.age;
    } else {
        return input.name.length.toString();
    }
}

// 使用示例
const obj: InputObject = {
    name: "John",
    age: 20,
    isStudent: true
};
const result = complexFunction(obj);
console.log(result);