简介
传统JavaScript使用函数后基于原型的继承来构建可复用的组件,对于习惯于面向对象的程序员来说这种复式可能有些笨拙。从ECMAScript 2015(也叫做ES6)开始,JavaScript程序员可用基于类的方式来构建面向对象的应用。在TypeScript中,开发者也可以使用这些技术。因为这些东西会被编译成跨平台的JavaScript,所以不需要等待新版的JavaScript被普遍支持。
类
来看一个简单的基于类的例子
这种语法和C#或Java比较相似。我们声明了一个Greeter类,头有三个成员:一个greeting属性,一个构造器,一个greet方法。
在类里面,我们通过this.的方式来访问类的成员。
最后一行,我们用new关键字来创建了一个Greeter的实例。这会调用我们前面定义的构造函数,创建一个Greeter的实例并在构造函数中初始化它。
继承
在TypeScript中,我们可以使用通用的面向对象的模式。在基于类的编程活动中,最基本的模式便是通过继承来扩展一个已经存在的类来创建新的类。
这段代码里面包含了一些关于继承的特性。在这里,我们使用extends关键字来创建一个子类。这里你可以看见Hores和Snake继承了Animal类,并能访问基类中的属性。
包合构造函数的子类必须调用通过super()来基类中的构造函数。
这个例子一演示了如何在子类中覆盖父类中的方法。Snake和Horse中都创建了move方法而覆盖了基类中的方法。尽管tom变量被声明为了Animal,而实际上是Horse,但tom.move会调用到Horse中的方法。
public,private 以及protected 修饰器
public
public 是默认的修饰器。
在我们的例子中,我们可以自由的访问我们在类中定义的成员。如果你熟悉其它语言,你也许会注意到我们并没有通过public来说明这些成员的可访问性,比如,在C#中,需要通过public来明确的说明其可公开访问。在TypeScript中,每个成员默认是public的。
你也可以明确的指定public:
private
理解private.
当一个成员被标示为private,将不可以在其包含它的类外面访问了。例如:
TypeScript的类型系统是结构化的类型系统。当我们比较两个不同的类型,不管它们从哪来,只要它们的成员是兼容的,我们就说这两种类型是兼容的。
然而,当比较的类型有private和protected的成员的时候,我们却有不同的比较方式。那么怎样的两个类型会被认为是兼容的呢?如果这两个变量中有一个变量有私有成员,那么另一个变量的私有成员必须和这个变量的私有成员在同一个地方定义(注:继承自同一个类),那么这两个变量才有可能是兼容的。对于protected也是这样的。
让我们用一个例子来说明这点:
在这个例子中,我们有一个Animal类和其子类Rhino类,以及一个看起来很向Animal的Employee类(注:回想鸭类型)。我们创建这些类的实例并试着用它们相互赋值,看会发生什么。因为Animal和Rhino的private成员有相同的”出处”,所以它们是兼容的。然而Employee却不是这么回事了。当我们式着将Employee类型的变量赋值给Animal类型的变量的时候,我们会得到一个类型不兼容的错误提示。尽管Employee也有一个叫name的私有变量,但该变量却不是在Animal中定义的那个。
理解protected
protected和private是类似的,不过呢,protected修饰的成员在起子类中也是可以访问的。
我们不能在Person类外面访问name属性,但我们可以在Employee类的方法中访问它,因为Employee继承于Person.
构造器也可用protected修饰,这表明这个类不能从外部实例化,但是可被继承。例如:
Readonly 修饰符
你也可以使用readonly关键字来表示一个属性是只读的。只读属性只能在其声明的地方或构造器中被初始化。
参数属性
在上一个例子中,在Octopus类中,我们声明了只读属性name 并在Octopus类的构造函数中初始化了这个属性。
这其实是一种常见的模式,参数属性可以简化这个过程,让你在同一个地方创建并初始化一个成员。
注意我们使用readonly name:string来声明了一个参数,这会在类上创建并初始化一个name成员。这样我们就把成员的声明和赋值放在了同一个地方。属性参数用一个前缀来声明,这个前缀可以是访问修饰符或者readonly 或这同时有这两者。使用private来声明参数属性将得到一个私有的属性,同样public,protected 声明的参数属性将得到公开或受保护的属性。
访问器
TypeScript支持getter和setter来拦截对对象成员的访问。这让你可以更好的控制对象成员是如何被访问的。
让我们把一个简单的类转化成使用get和set的类。让我们从一个没有getter和setter的类开始
尽管让fullName可被直接访问会带来便利,但当人们可以突发奇想的修改类成员也会带来一些麻烦。
在下面的版本中,我们在修改fullName之前做一些检察以确保修改者有正确的修改密码。我们的做法是将对fullName的直接访问替换为用一个set函数来做。也相对应的添加一个get函数来使fullName可被获取
关于访问器的说明
首先,使用访问器你需要把编译的输出目标设置为ES5或之后版。降级为ES3是不被支持的。
其次,只有get没有set的访问器会被推断为readonly.在产生.d.ts文件时这很有用,因为使用该属性的人可以知道这是一个只读的属性。
静态属性
到目前为止,我们只讨论了实例的成员(注:后半句多余,没译)。我们也可以创建类的静态成员——既那些在类上可访问的成员。在下面的例子中,我们在origin上使用static关键字,使其作为所有网格的值。所有实例通过类名.的方式来访问类成员。和this.类似,我们用Grid.来访问静态成员。
抽象类
抽象类常做基类,他们不能直接被实例化。可接口不同的是,抽象类可包括其成员的一些实现。使用abstract关键字来定义抽象类和抽象方法。
抽象类中的抽象方法必须在在类中被实现(注:除非子类也是抽象类)。抽象方法的语法和接口方法的语法是类似的,都是只有方法的签名而没有方法体。不同的是,抽象方法必须用abstract来修饰还可以加访问修饰符。
高级技术
构造函数
当你在TypeScript中声明了一个类,你实际上同时声明了很多东西。首先是类:
当我们指定let greeter:Greeter,我们使用Greeter作为Greeter类的实例的类型,面向对象语言的程序员对此很熟悉。
我们也创建了一个叫做构造函数的东西。当我们new一个类的时候,这个函数就会被调用。为了看看实际上是什么样子,让我们看看上面的代码编译出来的JavaScript
构造函数被分配给了Greeter变量,都我们new Greeter的时候,就会调用这个构造函数并得到一个实例。构造函数上也包含了类的静态成员。另一个思考类的方式是其可分为实例侧和静态侧
修改一下前面的例子来演示其中的不同
在这个例子中,greeter1和前面的类似,我们使用Greeter类来创建它,并使用使用创建后的对象。
接下来,我们直接使用类。我们创建了一个greeterMaker变量,这个变量引用了类本身,或者说它是类的构造函数。这的typeof Greeter意思是:给我Greeter类自身的类型而不是它的一个实例。或者,更准确的说:给我那个叫Greeter的符号的类型。这个类型将包含Greeter的所有静态成员以及创建Greeter实例的构造函数。现在我们可以在greeterMaker上使用new关键字来创建Greeter的实例。
类用作接口
正如前一节所说,一个类声明创建了两个东西:一个类型和一个构造函数。因为类创建了类型,所以你可以把类用在某些能用接口的地方。