TypeScript 是一种面向对象的 JavaScript 超集，它使我们在开发 Web 前端应用时能够更好地管理大型代码库。当我们在 TypeScript 中使用复杂的类型时，不可避免地会遇到类型判断的问题。幸运的是，TypeScript 提供了类型保护的概念，这将允许我们更细粒度地控制类型在我们的代码中的使用。
在本文中，我们将探索 TypeScript 中类型保护的使用方式，并重点介绍以下内容：
- 什么是类型保护？
- 如何使用 typeof 进行类型保护？
- 如何使用 instanceof 进行类型保护？
- 如何使用自定义类型保护函数？
什么是类型保护？
当我们在 TypeScript 中使用复杂的类型，例如对象、类、接口等，我们需要经常执行类型判断操作。类型保护是一种允许我们在 TypeScript 中通过运行时检查来缩小变量类型的范围的语言特性。这意味着我们可以在代码中使用更准确的类型信息，并减少出错的可能性。
如何使用 typeof 进行类型保护？
TypeScript 提供了 typeof 运算符，它能够在运行时根据对应的类型声明来区分不同的类型。typeof 运算符用于获取一个变量的数据类型并判断它是否属于指定的类型。
下面是一个使用 typeof 运算符进行类型保护的示例：
-- -------------------- ---- -------
-------- ------------------- ------ - -------- ---- -
--------- ------- --- --------- -
---------------- ------- --- - - ---------
-
---- -
---------------- ------- -- - ------- - - ---------
-
-
----------------- --------- -- --- ------- --- ----- ------
--------------- -- --- ------- -- - ------- --如上所示，在 logMessage 函数中，我们首先将 message 参数声明为 string | number 类型。之后，我们使用 typeof 运算符来判断消息的类型，并在控制台中打印不同的输出。
如何使用 instanceof 进行类型保护？
除了 typeof 运算符之外，TypeScript 还提供了 instanceof 运算符，它允许我们根据一个对象是否属于某个类来进行类型判断。
下面是一个使用 instanceof 运算符进行类型保护的示例：
-- -------------------- ---- -------
----- --- -
----- -------
----------------- ------- -
--------- - -----
-
-
----- --- ------- --- -
------ -------
----------------- ------- ------ ------- -
------------
---------- - ------
-
-
----- --- ------- --- -
------ -------
----------------- ------- ------ ------- -
------------
---------- - ------
-
-
-------- ------------ ----- ---- -
------ ---------- ---- -
-------------------- - - -- - - - --------- - - -------
-
---- ------ ---------- ---- -
-------------------- - - -- - - - --------- - - -------
-
---- -
-------------------- - - -- - -------
-
-
----- --- - --- ---------- -----------
----- --- - --- ----------- --------
----- --- - --- -------------
------------- -- --- -- - ------- ----
------------- -- ---- -- - ---- ----
------------- -- ----- -- - ----如上所示，在 petInfo 函数中，我们使用 instanceof 运算符来判断每个动物实例的类型，并输出不同的消息。
如何使用自定义类型保护函数？
在 TypeScript 中，我们可以创建自定义类型保护函数，以利用装饰器模式来缩小类型范围。自定义类型保护函数必须符合以下规范：
- 函数名称以
is开头。 - 函数参数只有一个。
- 函数返回值为布尔值。
下面是一个使用自定义类型保护函数进行类型保护的示例：
-- -------------------- ---- -------
--------- ---- -
------- -----
-
--------- ---- -
------ -----
-
-------- ----------- ---- - ------ --- -- ---- -
------ ---- -- ---------- --- ----------
-
-------- --------- ---- - ------ ---- -
--------------- -
-----------
-
---- -
----------
-
-
----- -------- ---------- ---- -
------- ---- -
--------------------- -- ------------
-
-
----- ------- ---------- ---- -
------ ---- -
-------------------- -- ----------
-
-
----- -------- - --- -----------
----- ------- - --- ----------
--------------- -- -------- -- ---------
-------------- -- ------- -- -------如上所示，在 move 函数中，我们使用自定义类型保护函数来缩小 pet 变量的类型，并调用适当的方法。
结论
在本文中，我们探讨了 TypeScript 中类型保护的概念，以及如何使用 typeof 运算符、instanceof 运算符和自定义类型保护函数来进行类型判断。通过这些技术，我们能够更加精确地控制类型在我们的代码中的使用，从而获得更好的类型检查、更好的错误提示和更好的代码设计。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/6721d79a2e7021665e090327