TypeScript：3、类型声明与类型推断

类型声明与类型推断

TypeScript 最重要的能力之一，就是通过类型信息帮助我们检查代码。类型信息可以手动声明，也可以由编译器自动推断。

变量、参数和返回值都可以添加类型：

ts 复制代码

let variable: type;

let variable: type = value;

function fn(parameter: type): returnType {
  // ...
}

实际示例：

ts 复制代码

let username: string = '孙悟空';
let age: number = 18;

function add(a: number, b: number): number {
  return a + b;
}

声明为 number 的变量只能保存数字：

ts 复制代码

let count: number = 10;

count = 20;

// 编译错误：不能把 string 赋值给 number
// count = '20';

类型声明的作用不是把值转换成某种类型，而是告诉编译器这个变量应该保存什么类型的值。

当变量声明和初始化同时完成时，TypeScript 通常可以根据初始值推断类型：

ts 复制代码

let message = 'hello';
let total = 100;
let completed = false;

编译器会推断出：

text 复制代码

message   → string
total     → number
completed → boolean

后续赋值仍然会受到推断类型的限制：

ts 复制代码

let message = 'hello';

message = 'world';

// 编译错误：message 被推断为 string
// message = 100;

以下情况建议显式写出类型：

ts 复制代码

let userName: string;

function formatPrice(price: number): string {
  return '¥' + price.toFixed(2);
}

ts 复制代码

function greet(name: string): string {
  return 'Hello, ' + name;
}

greet('Tom');

// 编译错误：参数类型不匹配
// greet(100);

ts 复制代码

function multiply(a: number, b: number): number {
  return a * b;
}

如果函数内部的返回值足够明确，TypeScript 也可以推断返回类型：

ts 复制代码

function multiply(a: number, b: number) {
  return a * b;
}

在公共函数、复杂函数或团队项目中，显式写出返回值类型通常更容易维护。

ts 复制代码

let mutableValue = 'hello';
mutableValue = 'world';

const fixedValue = 'hello';

let 声明的变量可以重新赋值，const 声明的变量不能重新赋值。实际项目中，变量不会重新赋值时优先使用 const。

示例：

ts 复制代码

const appName = '后台管理系统';

function getUserId(userId: number): number {
  return userId;
}

ts 复制代码

// 错误写法
// let age = number;

// 正确写法
let age: number = 18;

ts 复制代码

const input = '18';

// 类型断言不会把字符串转换为数字
const value = input as unknown as number;

真正需要转换时，应该使用运行时转换方法：

ts 复制代码

const value = Number(input);

any 会削弱类型检查。类型确实未知时，优先考虑 unknown，并在使用前进行类型判断。