typescript null/undefined值被推断为什么类型？

Question

环境:

VS Code Version: 1.47.3
tsc Version: 4.0.0-dev.20200727
tsconfig.js: "strict": true,

code:

let x = null; // x 是 any type
let y = x; // x 是 null type(x 在上面是 any type呀？), y 是 null type

x = 1; // x 是 any type
y = 1; // error, y 是 null type

x 到底是什么类型？

Answer 1

其实 Typescript 中的 any 分为 显式声明 和 隐式推导。开启了 --noImplicitAny 后，当没法推测出变量类型时，Typescript 不再隐式地将变量直接标记为 any ，而是使用了一种改进型的 any 来标记。即：

如果一个变量没有指明类型，且声明时没有初始化或是使用 null 或 undefined 初始化，则这个变量会被标记为 改进型 any 类型，会根据最终的赋值来动态推导其真正的类型。

参见官方说明： https://www.typescriptlang.or...

DEMO

Answer 2

TypeScript 规则 null、undefined 是所有类型的子类型，这就是为什么 let x = null; 的 x 是 any 类型。

TypeScript 的类型推论有一个很重要的点就是上下文关联，这是实时性的，虽然 x 是 any 类型，但是基于上下文的确认，x 就是一个 null 类型，这就是为什么 y 会是 null 类型的原因。

建议当初始值是 null、undefined 务必指定具体的类型，例如：let x: number | number = null;。

Answer 3

typeof null === 'object'