摘要：在编程过程成空指针是最常见的bug之一，但是在TypeScript中我们无法使用具体的类型来表示特定的变量不能为空！幸运的是，TypeScript 2.0 解决了这个问题。
本文分享自华为云社区《TypeScript开启严格空值检查》，作者：搞前端的半夏。
在TS中，有对应JS中的基础类型null和undefined。
TypeScript里，JS中的基本数据类型undefined和null两者各自有自己的类型分别叫做undefined和null。
let u: undefined = undefined; let n: null = null;
默认情况下null和undefined是所有类型的子类型。 就是说你可以把null和undefined赋值给number类型的变量。
例如下面的代码，在TS中是完全可以执行的。
let userName: string; userName = "搞前端的半夏"; // OK userName = null; // OK userName = undefined; // OK let age: number; age = 18; // OK age = null; // OK age = undefined; // OK let isBoy: boolean; isBoy = true; // OK isBoy = false; // OK isBoy = null; // OK isBoy = undefined; // OK
在编程过程成空指针是最常见的bug之一，但是在TypeScript中我们无法使用具体的类型来表示特定的变量不能为空！幸运的是，TypeScript 2.0 解决了这个问题！。
strictNullChecks
TypeScript 2.0 增加了对不可为空类型的支持。有一种新的严格空值检查模式，他提供了strictNullChecks
来限制对空值的检查。可以通过在命令行上添加--strictNullChecks参数来启功严格空值检查。也可以在项目的tsconfig.json文件中启用strictNullChecks编译器选项。
在TS中，为了各版本的兼容，strictNullChecks的默认值是false
{ "compilerOptions": { "strictNullChecks": true // ... } }
在TS官方的演练场中你可以勾选strictNullChecks来启用严格空值检查！
注意点1
在严格空值检查模式下，null和undefined无法赋值给其他类型的变量。
例如下面的代码在*strictNullChecks=true下，是无法编译通过的。
let userName: string; userName = "搞前端的半夏"; // OK userName = null; // OK userName = undefined; // OK
注意点2
严格空值检查并不意味着变量的类型无法设置为null和undefined
例如下面的代码在*strictNullChecks=true下，正常编译通过的。
let userName: null; userName = null; let age: undefined; age = undefined;
变量如何可以为空
在正常的编程中，我们并不会直接将一个变量的类型设置为null或者undefined，例如username，我们通常设置为string类型。
如果我们想要username可以接受空值我们该怎么办呢？
1. 使用联合类型
联合类型（Union Types）表示取值可以为多种类型中的一种。
对于下面的代码，userName可以接受null类型的值。但是无法接受undefined的值
let userName: string | null; userName = "搞前端的半夏"; // OK userName = null; // OK userName = undefined; // Error
2. a? 默认undefined
联合类型可以在Object中使用
type User = { name: string ; age:number | undefined };
这里我们设置age的类型为number和undefined。
下面的两种用法都是正确的。
let user1: User = { name: "搞前端的半夏", age: undefined };
let user2: User = { name: "搞前端的半夏", age: 18 };
如果我们想要下面的效果，不需要手动给age赋值
let user2: User = { name: "搞前端的半夏"};
此时我们就需要用到**?**来使属性成为可选，这样我们就可以完全省略age属性的定义。
type User = { name: string ; age?:number };
请注意，在这种情况下：undefined类型会自动添加到联合类型中。因此，以下所有赋值都是正确的：
let user1: User = { name: "搞前端的半夏", age: undefined };
let user2: User = { name: "搞前端的半夏", age: 18 };
let user3: User = { name: "搞前端的半夏"};
安全检查
变量可空的安全检查
如果变量的类型包含nullor undefined，则访问任何属性都会产生编译时错误：
function UserNameLength(userName: string | null) { return userName.length; }
所以在访问属性之前，必须要先判断变量的值是否为空！
function UserNameLength(userName: string | null) { if (userName === null) { return 0; } return userName.length; }
#可空类型的函数调用
在JS中支持回调函数，所以函数的参数会可能是函数类型，
function fn(callback?: () => void) { callback(); }
如果该参数是可选的函数类型，TS会将该参数加上undefined类型。
那么这个函数的我们在调用函数的时候会报错！
类似于在访问属性之前检查对象，我们需要首先检查函数是否具有非空值：
function fn(callback?: () => void) { if (callback) { callback(); } }
