TypeScript(二)----关于null、Undefined、never 类型

1 null 和undefined

null是一个只有一个值的特殊类型。表示一个空对象引用。用 typeof 检测 null 返回是object。

typeof 一个没有值的变量会返回 undefined

ull 和 Undefined 是其他任何类型（包括 void）的子类型，可以赋值给其它类型，如数字类型，此时，赋值后的类型会变成 null 或 undefined。

在TypeScript中启用严格的空校验（--strictNullChecks）特性，使得null 和 undefined 只能被赋值给 void 或本身对应的类型

错误示范：

// 启用 --strictNullChecks
let x: number;
x = 1; // 运行正确
x = undefined;    // 运行错误
x = null;    // 运行错误

正确示范：

// 启用 --strictNullChecks
let x: number | null | undefined; //本身对应的类型
x = 1; // 运行正确
x = undefined;    // 运行正确
x = null;    // 运行正确

2 never 类型

never 是其它类型（包括 null 和 undefined）的子类型，代表从不会出现的值。这意味着声明为 never 类型的变量只能被 never 类型所赋值，在函数中它通常表现为抛出异常或无法执行到终止点（例如无限循环）。

let x: never;
let y: number;

// 运行错误，数字类型不能转为 never 类型
x = 123;

// 运行正确，never 类型可以赋值给 never类型
x = (()=>{ throw new Error('exception')})();

// 运行正确，never 类型可以赋值给 数字类型
y = (()=>{ throw new Error('exception')})();

// 返回值为 never 的函数可以是抛出异常的情况
function error(message: string): never {
    throw new Error(message);
}

// 返回值为 never 的函数可以是无法被执行到的终止点的情况
function loop(): never {
    while (true) {}
}

TypeScript(二)----关于null、Undefined、never 类型

推荐阅读