TypeScript如何开启严格空值检查，实现强类型安全？

本文共计1317个文字，预计阅读时间需要6分钟。

目录

一、strictNullChecks

注意1：开启strictNullChecks注意2：变量如何可为空

1.使用联合类型

2.a ? 默认undefined

三、安全检查

1.变量可空的检查

四、可空类型的函数调用

TypeScript 中，JS 中的基本数值类型

目录

• 一、strictNullChecks
• 注意点1
• 注意点2
• 二、变量如何可以为空
• 1. 使用联合类型
• 2. a?默认undefined
• 三、安全检查
• 1. 变量可空的安全检查
• 四、可空类型的函数调用

TypeScript里，JS中的基本数据类型undefined和null两者各自有自己的类型分别叫做undefined和null。let u: undefined = undefined;let n: null = null;默认情况下null和undefined是所有类型的子...

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: "搞前端的半夏"};

三、安全检查

1. 变量可空的安全检查

如果变量的类型包含nullorundefined，则访问任何属性都会产生编译时错误：

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(); } }

到此这篇关于TypeScript如何开启严格空值检查的文章就介绍到这了,更多相关TypeScript严格空值检查内容请搜索自由互联以前的文章或继续浏览下面的相关文章希望大家以后多多支持自由互联！