TypeScript是一种在JavaScript基础上构建的静态类型语言。这意味着它可以在编译时对代码进行类型检查，从而减少错误并提高代码的可维护性和可读性。在TypeScript中，类也可以受益于类型检查。
类成员的类型注解
在TypeScript中，我们可以为类的成员变量和函数参数添加类型注解，以确保它们在运行时具有正确的类型。例如：
-- -------------------- ---- -------
----- ------ -
-- ---------
----- -------
---- -------
----------------- ------- ---- ------- -
--------- - -----
-------- - ----
-
-- ---------
------------ -------- ---- -
------------------- ------ -- ---- -- ----------------
-
-在这个例子中，我们给name和age添加了类型注解，分别为string和number。在构造函数中，我们使用这些类型来定义参数类型。在sayHello方法中，我们给参数to添加了类型注解，以确保该参数在运行时具有正确的类型。
类型推导
在某些情况下，TypeScript可以通过上下文自动推断出变量或表达式的类型。例如：
const myName = 'Alice'; // 推断出类型为 string const myAge = 30; // 推断出类型为 number const person = new Person(myName, myAge); // 推断出类型为 Person
在这个例子中，我们定义了两个变量myName和myAge，它们的类型可以通过赋值运算符自动推断出来。然后，我们使用这些变量创建了一个新的Person对象，TypeScript可以根据构造函数的签名自动推断出对象的类型为Person。
类型兼容性
在TypeScript中，类之间的类型关系遵循一定的规则，称为类型兼容性。如果一个类的成员变量和方法与另一个类相同，那么这两个类就是类型兼容的。例如：
-- -------------------- ---- -------
----- ------ -
----- -------
----------------- ------- -
--------- - -----
-
-------- ---- -
------------------------- ----- - ---------
-
-
----- --- ------- ------ -
------ -------
----------------- ------- ------ ------- -
------------
---------- - ------
-
-------- ---- -
------------------------- ---------
-
-
--- -- ------ - --- -----------------
--- -- --- - --- ---------- ------------
- - -- -- --
- - -- -- --在这个例子中，Dog类继承自Animal类，并添加了一个breed属性和一个重写的speak方法。我们可以看到，将一个Dog对象赋值给一个Animal变量是可以的，因为Dog类具有与Animal类相同的成员变量和方法。但是，将一个Animal对象赋值给一个Dog变量是不允许的，因为Animal类没有breed属性。
总结
使用TypeScript的类可以受益于类型检查和类型推导。通过为类的成员变量和函数参数添加类型注解，我们可以确保它们在运行时具有正确的类型。通过理解类型兼容性规则，我们可以更好地利用TypeScript的静态类型系统，从而编写更加可维护和可读的代码。
来源：JavaScript中文网 ，转载请注明来源 https://www.javascriptcn.com/post/11173
