随着前端技术的不断发展，JavaScript 已经成为了前端开发的主流语言之一。为了更好地满足开发者的需求，ECMAScript 2021（ES12）中新增了很多有用的特性。其中，类的继承和更好的类型检查是非常重要的两个特性，本文将详细介绍它们的使用方法和指导意义。
类的继承
在 ES6 中，JavaScript 引入了类（class）的概念，使得 JavaScript 开发者可以更加方便地使用面向对象编程的方式。而在 ES12 中，类的继承得到了进一步的加强，使得开发者可以更加灵活地定义类的继承关系。
基本用法
类的继承基本用法如下：
----- ------ -
----------------- -
--------- - -----
-
------- -
------------------------- ----- - ---------
-
-
----- --- ------- ------ -
----------------- -
------------ -- ---- --- ----- ----- ----------- --- ---- -- --- ---- ---------
-
------- -
------------------------- ---------
-
-
--- - - --- --------------
---------- -- ------ ------在上面的代码中，我们定义了一个 Animal 类和一个 Dog 类，Dog 类继承自 Animal 类。在 Dog 类中，我们重写了 speak 方法，使得它输出狗叫的声音。在创建 Dog 实例时，我们传入了一个字符串参数 'Mitzie'，然后调用了 speak 方法。
super 关键字
在继承中，super 关键字非常重要。它表示父类的构造函数，可以用来调用父类的构造函数和方法。比如，在上面的例子中，我们使用 super(name) 调用了父类 Animal 的构造函数，并传入了 name 参数。
除了在构造函数中使用 super 关键字之外，还可以在子类的方法中使用 super 关键字调用父类的方法：
----- ------ -
----------------- -
--------- - -----
-
------- -
------------------------- ----- - ---------
-
-
----- --- ------- ------ -
----------------- -
------------
-
------- -
-------------- -- ---- --- ----- ----- ----- ------
------------------------- ---------
-
-
--- - - --- --------------
---------- -- ------ ----- - ------ ------ ------在上面的代码中，我们在 Dog 类的 speak 方法中调用了父类 Animal 的 speak 方法。这样做的好处是可以在子类中扩展父类的功能，而不是完全覆盖它。
继承内置对象
除了可以继承自定义类之外，还可以继承内置对象。比如，可以继承 Array 类：
----- ------- ------- ----- -
-------------------- -
---------------
-
--- ------- -
------ --------
-
--- ------ -
------ ---------------- - ---
-
-
--- - - --- ---------- -- ---
---------------------- -- -
--------------------- -- -
-------------------- -- -在上面的代码中，我们定义了一个 MyArray 类，它继承自内置的 Array 类。然后我们在 MyArray 类中定义了 first 和 last 两个 getter 方法，分别返回数组的第一个元素和最后一个元素。在创建 MyArray 实例时，我们传入了三个数字参数，然后分别输出了数组的长度、第一个元素和最后一个元素。
更好的类型检查
在 ES12 中，JavaScript 引入了更好的类型检查机制，使得开发者可以更加方便地进行类型检查。
类型谓词
类型谓词是一种特殊的函数，它返回一个布尔值，用来判断一个变量是否属于某种类型。比如，可以定义一个类型谓词 isString，用来判断一个变量是否是字符串类型：
-------- ----------- - ------ ------ - --- --------- - --- - - -------- -- ------------- - ----------------------------- -
在上面的代码中，我们定义了一个 isString 函数，它接受一个参数 x，并返回一个布尔值，用来判断 x 是否是字符串类型。然后我们创建了一个字符串变量 a，并在 if 语句中使用 isString 函数判断 a 是否是字符串类型。如果是，就将 a 转换为大写字母，并输出结果。
类型断言
类型断言是一种特殊的语法，它用来告诉编译器一个变量的类型。比如，可以使用类型断言将一个变量强制转换为某种类型：
--- - - -------- --- - - --------------- -- ------- --------------- -- -----
在上面的代码中，我们定义了一个字符串变量 a，然后使用 toUpperCase 方法将它转换为大写字母，并使用类型断言 as string 将结果强制转换为字符串类型，并赋值给变量 b。
类型守卫
类型守卫是一种特殊的语法，它用来判断一个变量是否属于某种类型。比如，可以使用类型守卫 typeof 判断一个变量是否是字符串类型：
--- - - -------- -- ------- - --- --------- - ----------------------------- -
在上面的代码中，我们创建了一个字符串变量 a，然后使用 typeof 判断 a 是否是字符串类型。如果是，就将 a 转换为大写字母，并输出结果。
总结
在本文中，我们介绍了 ECMAScript 2021（ES12）中的类的继承和更好的类型检查特性。类的继承使得开发者可以更加灵活地定义类的继承关系，更好的类型检查机制则使得开发者可以更加方便地进行类型检查。这些特性的使用方法和指导意义都非常重要，希望本文可以对读者有所帮助。
来源：JavaScript中文网 ，转载请注明来源 本文地址：https://www.javascriptcn.com/post/65f3b6782b3ccec22fc26a43