类型注解和类型推断

类型注解

在类型注解中，我们显式地为变量、函数参数、函数返回值等定义类型。

// 变量声明时添加类型注解
let num: number;
num = 123; // 正确
// num = 'abc'; // 错误，类型不匹配

// 函数参数和返回值添加类型注解
function add(x: number, y: number): number {
    return x + y;
}

let result: number = add(1, 2); // 正确
// let result: string = add(1, 2); // 错误，返回值类型不匹配

类型推断

在类型推断中，TypeScript 编译器会根据变量的初始化值自动推断其类型。

// 变量声明时根据初始化值推断类型
let num = 123; // 推断为 number 类型
// num = 'abc'; // 错误，类型不匹配

// 函数参数和返回值根据返回值类型推断函数类型
function add(x: number, y: number) {
    return x + y;
}

let result = add(1, 2); // 推断为 number 类型
// let result: string = add(1, 2); // 错误，返回值类型不匹配