类
1 | class Greeter { |
我们声明一个 Greeter类.这个类有3个成员:一个叫做 greeting的属性,一个构造函数和一个 greet方法。你会注意到,我们在引用任何一个类成员的时候都用了 this。 它表示我们访问的是类的成员.最后一行,我们使用 new构造了 Greeter类的一个实例.它会调用之前定义的构造函数,创建一个 Greeter类型的新对象,并执行构造函数初始化它。
继承
1 | class Animal { |
类从基类中继承了属性和方法-这里, Dog是一个
派生类
,它派生自 Animal基类
,通过extends
关键字。派生类通常被称作子类
,基类通常被称作超类
.因为 Dog继承了 Animal的功能,因此我们可以创建一个 Dog的实例,它能够 bark()和 move()
1 | class Animal2 { |
派生类包含了一个构造函数,它 必须调用
super()
,它会执行基类的构造函数,而且,在构造函数里访问 this的属性之前,我们 一定要调用 super()。 这个是TypeScript强制执行的一条重要规则.Snake类
和Horse类
都创建了 move方法,它们重写了从 Animal继承来的 move方法,使得 move方法根据不同的类而具有不同的功能.注意,即使 tom被声明为 Animal类型,但因为它的值是 Horse,调用 tom.move(60)时,它会调用 Horse里重写的方法
公共,私有与受保护的修饰符
默认为public
你也可以明确的将一个成员标记成
public
1 | class Animal3 { |
理解private
当成员被标记成
private
时,它就不能在声明它的类的外部访问
1 | class Animal4 { |
TypeScript使用的是结构性类型系统,当我们比较两种不同的类型时,并不在乎它们从何处而来,如果所有成员的类型都是兼容的,我们就认为它们的类型是兼容的。
然而,当我们比较带有 private或 protected成员的类型的时候,情况就不同了.如果其中一个类型里包含一个 private成员,那么只有当另外一个类型中也存在这样一个 private成员, 并且它们都是来自同一处声明时,我们才认为这两个类型是兼容的。 对于 protected成员也使用这个规则。
以下例子说明:
1 | class Animal5 { |
这个例子中有 Animal和 Rhino两个类, Rhino是 Animal类的子类。 还有一个 Employee类,其类型看上去与 Animal是相同的。因为 Animal和 Rhino共享了来自 Animal里的私有成员定义 private name: string,因此它们是兼容的。然而 Employee却不是这样。当把 Employee赋值给 Animal的时候,得到一个错误,说它们的类型不兼容。 尽管 Employee里也有一个私有成员 name,但它明显不是 Animal里面定义的那个
理解protected
protected
修饰符与 private修饰符的行为很相似,但有一点不同, protected成员在派生类中仍然可以访问
1 | class Person { |
注意,我们不能在 Person类外使用 name,但是我们仍然可以通过 Employee类的实例方法访问,因为 Employee是由 Person派生而来的.构造函数也可以被标记成 protected。 这意味着这个类不能在包含它的类外被实例化,但是能被继承
1 | class Person2 { |
readonly修饰符
你可以使用 readonly关键字将属性设置为只读的。 只读属性必须在声明时或构造函数里被初始化。
1 | class Octopus { |
参数属性
在上面的例子中,我们必须在Octopus类里定义一个只读成员 name和一个参数为 theName的构造函数,并且立刻将 theName的值赋给 name,这种情况经常会遇到。 参数属性可以方便地让我们在一个地方定义并初始化一个成员。
下面是Octopus的改版-》使用了参数属性
1 | class Octopus2 { |
注意看我们是如何舍弃了 theName,仅在构造函数里使用 readonly name: string参数来创建和初始化 name成员.我们把声明和赋值合并至一处。
参数属性通过给构造函数参数前面添加一个访问限定符来声明。使用 private限定一个参数属性会声明并初始化一个私有成员;对于 public和 protected来说也是一样。
存取器
TypeScript支持通过
getters/setters
来截取对对象成员的访问。 它能帮助你有效的控制对对象成员的访问.
下面来看如何把一个简单的类改写成使用 get和 set。 首先,我们从一个没有使用存取器的例子开始。
1 | class Employee4 { |
我们可以随意的设置 fullName,这是非常方便的,但是这也可能会带来麻烦
下面这个版本里,我们先检查用户密码是否正确,然后再允许其修改员工信息。 我们把对 fullName的直接访问改成了可以检查密码的 set方法。 我们也加了一个 get方法,让上面的例子仍然可以工作。
1 | let passcode = 'secret passcode'; |
首先,存取器要求你将编译器设置为输出ECMAScript 5或更高。 不支持降级到ECMAScript 3。其次,只带有 get不带有 set的存取器自动被推断为 readonly.这在从代码生成 .d.ts文件时是有帮助的,因为利用这个属性的用户会看到不允许够改变它的值。
静态属性
到目前为止,我们只讨论了类的实例成员,那些仅当类被实例化的时候才会被初始化的属性.我们也可以创建类的静态成员,这些属性存在于类本身上面而不是类的实例上。
在这个例子里,我们使用 static定义 origin,因为它是所有网格都会用到的属性.每个实例想要访问这个属性的时候,都要在 origin前面加上类名.如同在实例属性上使用 this.前缀来访问属性一样,这里我们使用 Grid.来访问静态属性。
1 | class Grid { |
抽象类
抽象类做为其它派生类的基类使用。 它们一般不会直接被实例化.不同于接口,抽象类可以包含成员的实现细节
abstract关键字是用于定义抽象类和在抽象类内部定义抽象方法。
1 | abstract class Animal6 { |
抽象类中的抽象方法不包含具体实现并且必须在派生类中实现
抽象方法的语法与接口方法相似.两者都是定义方法签名但不包含方法体。 然而,抽象方法必须包含 abstract关键字并且可以包含访问修饰符
1 | abstract class Department { |
高级技巧
构造函数
当你在TypeScript里声明了一个类的时候,实际上同时声明了很多东西。 首先就是类的 实例的类型。
1 | class Greeter2 { |
这里,我们写了 let greeter: Greeter,意思是 Greeter类的实例的类型是 Greeter.我们也创建了一个叫做 构造函数的值,这个函数会在我们使用 new创建类实例的时候被调用
下面我们来看看,上面的代码被编译成JavaScript后是什么样子的:
Greeter2重复定义,使用Greeter3代替
1 | let Greeter3 = (function () { |
上面的代码里, let Greeter将被赋值为构造函数.当我们调用 new并执行了这个函数后,便会得到一个类的实例。这个构造函数也包含了类的所有静态属性。换个角度说,我们可以认为类具有 实例部分与 静态部分这两个部分
1 | class Greeter4 { |
再之后,我们直接使用类。 我们创建了一个叫做 greeterMaker的变量,这个变量保存了这个类或者说保存了类构造函数,然后我们使用 typeof Greeter4,意思是取Greeter4类的类型,而不是实例的类型,或者更确切的说,”告诉我 Greeter4标识符的类型”,也就是构造函数的类型
这个类型包含了类的所有静态成员和构造函数.之后,就和前面一样,我们在 greeterMaker上使用 new,创建 Greeter的实例
1 | let greeterMaker: typeof Greeter4 = Greeter4; |
把类当成接口使用
如上一节里所讲的,类定义会创建两个东西:类的实例类型和一个构造函数.因为类可以创建出类型,所以你能够在允许使用接口的地方使用类。
1 | class Point { |