TypeScript基础类型

https://segmentfault.com/a/「日常开发到底需要记住多少类型？」这篇文章就从最常用的几个类型开始，梳理使用中的常见坑和最佳实践，帮你快速上手。

常用类型

boolean、number、string

这三兄弟最简单，直接写类型注解就行。

let isDone: boolean = false;
let count: number = 42;
let name: string = "kai";

常见坑：原始类型 vs 包装对象

Boolean​、Number​、String 这些大写开头的，是 Ja vaScript 的包装对象类型，不是原始类型。如果你误写成这样：

let wrong: Boolean = new Boolean(false); // 不推荐，也不等于 boolean

TypeScript 不会报错，但赋值和比较的行为会出乎意料。始终用小写​boolean​​ 、​​number​​ 、​​string​。

array

数组用两种写法，效果一样，挑一种团队内统一就行。

let list1: number[] = [1, 2, 3];
let list2: Array = [1, 2, 3]; // 泛型语法

混合类型数组用联合类型：

let mixed: (string | number)[] = ["a", 1];

enum

枚举用来定义一组命名常量。数字枚举用得最多。

enum Direction {
  Up = 1,
  Down, // 自动 2
  Left, // 3
  Right // 4
}

如果你不指定值，默认从 0 开始递增。字符串枚举更可读，但没法反向映射。

enum Status {
  Active = "ACTIVE",
  Inactive = "INACTIVE",
}

any

any 本质上就是一道“放行口”。一旦用上它，TypeScript 基本就不再对这部分继续做类型检查了。它更适合出现在两类场景里：一类是从 Ja vaScript 项目迁移过来时，先用渐进式方式把类型慢慢补齐；另一类，则是碰到第三方库本身没有提供类型定义，只能先这样兜底处理。

新项目尽量别用​any​​。实在需要动态类型，用 unknown 加类型守卫会更安全。

void

表示没有返回值。通常用在函数返回类型。

function log(msg: string): void {
  console.log(msg);
}

声明 void​ 类型的变量没什么意义，因为只能赋 undefined​（严格模式下）或 null。

不常用但该知道的类型

tuple

元组是固定长度、固定类型的数组。适合表示已知元素数量和类型的结构，比如一个坐标。

let point: [number, number] = [10, 20];

超出长度或类型不对都会报错。坑：往元组 push 元素，TypeScript 不会拦，这是个历史遗留问题。

null 和 undefined

在默认情况下（也就是 strictNullChecks 关闭时），它会被视为所有类型的子类型。可一旦开启严格模式，规则就变了：null 和 undefined 只能赋值给它们各自本身，除非在联合类型里明确把它们写进去。

let maybe: string | null = null;

建议把​strictNullChecks​​ 打开，能避免一堆空值引用错误。

never

never 表示永远不会出现的值。一般用在：

• 抛出异常的函数
• 无限循环的函数
• 类型守卫里穷尽所有可能

function error(message: string): never {
  throw new Error(message);
}

联合类型收窄到 never 时如果还有值，说明有未处理的分支，编译器会提醒。

类型推断与标注

你不需要每个变量都写类型。TypeScript 能推断的地方就别写，让代码更干净。

let age = 25; // 推断为 number
let name = "kai"; // string

但函数参数一定得标，否则默认是 any​（在 noImplicitAny 开启时会报错）。

最后

• 日常开发优先用 boolean、number、string、array、enum、void。
• any 要慎重，unknown 更安全。
• 开启 strict 模式，特别是 strictNullChecks。
• 元组和 never 理解就行，偶尔会遇到。