类型系统

在 TypeScript 中，顶层类型（Top Types） 和 底层类型（Bottom Types） 是类型系统中的术语，主要用于表示类型的包含（分配）关系。

any
|
unknown
|
Object
|          \
object ------- string ------- 'foo'
|              |              |
{}             |            "hello"
|              |              |
null          number ------- 123
|              |              
undefined     boolean ------ true/false
|
never

一、顶层类型（Top Types）

定义：可以接受任何类型的值。它们是所有类型的“超集”。

常见顶层类型有：

类型	描述
`any`	关闭类型检查，任何值都可以赋给它
`unknown`	类型安全的 `any`，可接受任何值，但使用前需类型检查
`object`	只能接收非原始类型的对象（不能是 string/number 等）

示例：

let a: any = 1;
let b: unknown = 'str';
let c: object = { name: 'Tom' };

1. any

类型系统的最顶层类型

any 类型的变量可以被赋值为任何类型的值 (值)

let a: any;
a = 123;         // ✅ number
a = 'hello';     // ✅ string
a = true;        // ✅ boolean
a = [1, 2, 3];   // ✅ array
a = { x: 1 };    // ✅ object
a = null;        // ✅ null
a = undefined;   // ✅ undefined
a = () => {};    // ✅ function

any 类型的变量, 可以值赋给任何其他类型的变量 (类型)

const a: any = 'hello'
const str: string = a // ✅ OK
const num: number = a // ✅ OK
const obj: object = a // ✅ OK
const bool: boolean = a // ✅ OK
const arr: string[] = a // ✅ OK

跳过类型检查

使用 any 的值，TypeScript 不会对它做任何类型检查

暂时逃离类型系统的救生舱，而不是“天堂” ?

在你实在不想处理复杂的类型推导或数据结构时，临时用它撑一下，但最终最好还是回到类型系统。本事上变成js代码的没用类型的方式，暂时逃离类型系统。你只应该在下面几种情况使用它：

类型实在无法确认
快速开发
迁移旧代码
声明没有ts类型的第三方库
顶层是 any

2. unknown

更安全的顶层类型

unknown 类型的变量可以被赋值为任何类型的值 (值) , 这一点和 any 相同

let a: unknown;
a = 123;         // ✅ number
a = 'hello';     // ✅ string
a = true;        // ✅ boolean
a = [1, 2, 3];   // ✅ array
a = { x: 1 };    // ✅ object
a = null;        // ✅ null
a = undefined;   // ✅ undefined
a = () => {};    // ✅ function

unknown 类型的变量, 不可以值赋给任何其他类型的变量 (类型) 这一点和 any 不相同 🚫，这是安全的体现

const a: unknown = 'hello'
const str: string = a // ❌ error
const num: number = a // ❌ error
const obj: object = a // ❌ error
const bool: boolean = a // ❌ error
const arr: string[] = a // ❌ error

也就是说你必须要告诉 ts 这个 unknown 类型的真实类型(断言)，才可以正常工作

const a: unknown = 'hello'
const str: string = a as string // ✅

使用时候也一样

const a: unknown = 'hello'

const l0 = a.length // ❌ error 'a' is of type 'unknown'

const l1 = (a as { length: number }).length // ✅

const l2 = (a as string).length // ✅

永远不会跳过类型检查

二、底层类型（Bottom Types）

定义：是所有类型的“子集”，无法被赋值为任何实际值，代表不可能的类型。

常见底层类型有：

类型	描述
`never`	永远不会有值的类型，代表不可能发生的情况，比如抛错或无限循环
`null`	在 `--strictNullChecks` 为 `false` 时是底层类型；否则不是

function throwError(): never {
  throw new Error('error'); // 永远不会返回
}

function infiniteLoop(): never {
  while (true) {}
}

一、顶层类型（Top Types）

1. any

2. unknown

二、底层类型（Bottom Types）

On this page