目录
前言
以前JavaScript程序:使用函数和基于原形的继承来创建可以重复使用的组件,但是对于熟悉面向对象 方式的程序员很难搞,因为他们用的是基于类的继承并且对象由类构建出来的。
从ES6开始,JavaScript程序员将能够使用基于类的面向对象方式。使用TypeScript允许开发者现在就使用这些特性,并且编译后可以再所有主流浏览器使用。
一、类
看一个例子:
class Greeter{
greeting: string;
constructor(message: string){
this.greeting = message;
}
greet() {
return "Hello," +this.greeting;
}
}
let greet = new Greeter("world");
这里和Java的语法很像。我们声明一个Greeter类。这个类有3个成员:一个叫做greeting的属性,一个构造函数和一个greet方法。
可以看到,我们在引用任何一个类成员的时候都用了this。她表示我们访问的是类的成员。
最后一行,我们使用new构造了Greeter类的一个实例,它会调用之前定义的构造函数,创建一个Greeter类型的新对象,并执行构造函数初始化它。
二、TypeScript类对比JavaScript
我们再来一个例子,对比一下TypeScript和JavaScript类的格式:
1、TypeScript
class Car {
// 字段
engine:string;
// 构造函数
constructor(engine:string) {
this.engine = engine
}
// 方法
disp():void {
console.log("函数中显示发动机型号 : "+this.engine)
}
}
// 创建一个对象
var obj = new Car("XXSY1")
// 访问字段
console.log("读取发动机型号 : "+obj.engine)
// 访问方法
obj.disp()
2、JavaScript
var Car = /** @class */ (function () {
// 构造函数
function Car(engine) {
this.engine = engine;
}
// 方法
Car.prototype.disp = function () {
console.log("函数中显示发动机型号 : " + this.engine);
};
return Car;
}());
// 创建一个对象
var obj = new Car("XXSY1");
// 访问字段
console.log("读取发动机型号 : " + obj.engine);
// 访问方法
obj.disp();
结果:
读取发动机型号 : XXSY1
函数中显示发动机型号 : XXSY1
三、继承
在TypeScript里,我们可以使用常用的面向对象模式,基于类的程序设计中一种基本的模式是允许使用继承来扩展现有的类。
举例:
class Animal {
move(distanceInMeters: number = 0) {
console.log(`Animal moved ${distanceInMeters}m.`);
}
}
class Dog extends Animal {
bark() {
console.log('Woof! Woof!');
}
}
const dog = new Dog();
dog.bark();
dog.move(10);
dog.bark();
这个例子展示了最基本的继承:类从基类中继承了属性和方法。这里,Dog是一个派生类,它派生自Animal基类,通过extends关键字。也就是子类,基类也就是父类,称为超类。
因为Dog继承了Animal的功能,因此我们可以创建一个Dog的实例,它能够bark()和move().
在举一个复杂点的例子:
class Animal {
name: string;
constructor(theName:string) {this.name = theName;}
move(distanceInMeters: nnumber=0){
console.log(`${this.name} moved ${distanceInMeters}m.`);
}
}
calss Snake extends Animal {
constructor(name:string){
super(name)
}
move(disranceInMeters=5){
console.log("slithering...");
super.move(distanceInMeters);
}
}
class Horse extends Animal{
constructor(name:string){super(name);}
move(distanceInMeters = 45){
console.log("Galloping...");
super.move(distanceInMeters);
}
}
let sam = new Snake("Sammy the Python");
let tom:Animal = new Horse("Tommy the Palomino");
sam.move();
tom.move(34);
这个列子展示了一些上面没有提到的特性。这一次,我们使用extends关键字创建了Animal的两个子类:Horse和Snake。
与上一个例子不同点:子类包含了构造函数,他必须调用super(),它会执行基类的构造函数。而且,在构造函数里访问this的属性之前,我们一定要调用super()。这个是TypeScript强制执行的一条重要规则。
这个例子演示如何在子类里可以重写父类的方法,Snake类和Horse类都创建了move方法,他们都重写了父类的move方法,是的move方法根据不同的类具有不同的功能。所示tom调用的move方法,即使被声明为Animal,因为值是Horse,调用的也是Horse里面重写的方法。
Slithering...
Sammy the Python moved 5m.
Galloping...
Tommy the Palomino moved 34m.
四、公有,私有与受保护的修饰符
1、默认为public
在上面的例子里,我们可以自由访问程序里定义的成员。但是他没有项程序设计语言的public修饰,其实在TypeScript里面,成员默认都为public,你也可以明确标记public:
class Animal {
public name: string;
public constructor(theName: string) { this.name = theName; }
public move(distanceInMeters: number) {
console.log(`${this.name} moved ${distanceInMeters}m.`);
}
}
2、理解private
当成员被标记成private时,它就不能在声明它的类的外部访问。比如:
class Animal {
private name: string;
constructor(theName: string) { this.name = theName; }
}
new Animal("Cat").name; // 错误: 'name' 是私有的.
TypeScript使用的是结构性类型系统。当我们比较两种不同类型时,并不在乎他们从何处而来,如果有成员的类型都是兼容的,我们就认为它们的类型是兼容的。
然而,当我们比较带有private或protected成员的类型的时候,情况就不同了。如果其中一个类型里包含一个private成员,那么只有当另一个类中也存在这样一个private成员,并且它们都是来自同一处声明时,我们才认为这两个类型是兼容的,对于protected成员也使用这个规则。
下面来看一个例子,更好地说明这一点:
class Animal {
private name: string;
constructor(theName: string) { this.name = theName; }
}
class Rhino extends Animal {
constructor() { super("Rhino"); }
}
class Employee {
private name: string;
constructor(theName: string) { this.name = theName; }
}
let animal = new Animal("Goat");
let rhino = new Rhino();
let employee = new Employee("Bob");
animal = rhino;
animal = employee; // 错误: Animal 与 Employee 不兼容.
这个例子中有 Animal
和 Rhino
两个类, Rhino
是 Animal
类的子类。 还有一个 Employee
类,其类型看上去与 Animal
是相同的。 我们创建了几个这些类的实例,并相互赋值来看看会发生什么。 因为 Animal
和 Rhino
共享了来自 Animal
里的私有成员定义 private name: string
,因此它们是兼容的。 然而 Employee
却不是这样。当把 Employee
赋值给 Animal
的时候,得到一个错误,说它们的类型不兼容。 尽管 Employee
里也有一个私有成员 name
,但它明显不是 Animal
里面定义的那个。
3、理解protected
protected修饰符与private修饰符的行为很相似,但有一点不同,protected成员在子类中仍然可以访问。例如:
class Person {
protected name: string;
constructor(name: string) { this.name = name; }
}
class Employee extends Person {
private department: string;
constructor(name: string, department: string) {
super(name)
this.department = department;
}
public getElevatorPitch() {
return `Hello, my name is ${this.name} and I work in ${this.department}.`;
}
}
let howard = new Employee("Howard", "Sales");
console.log(howard.getElevatorPitch());
console.log(howard.name); // 错误
注意,我们不能在 Person
类外使用 name
,但是我们仍然可以通过 Employee
类的实例方法访问,因为 Employee
是由 Person
派生而来的。
构造函数也可以被标记成 protected
。 这意味着这个类不能在包含它的类外被实例化,但是能被继承。比如:
class Person {
protected name: string;
protected constructor(theName: string) { this.name = theName; }
}
// Employee 能够继承 Person
class Employee extends Person {
private department: string;
constructor(name: string, department: string) {
super(name);
this.department = department;
}
public getElevatorPitch() {
return `Hello, my name is ${this.name} and I work in ${this.department}.`;
}
}
let howard = new Employee("Howard", "Sales");
let john = new Person("John"); // 错误: 'Person' 的构造函数是被保护的.
四、readonly修饰符
你可以使用readonly关键字将属性设置为只读的。只读属性必须在声明时或构造函数里被初始化。
class Octopus{
readonly name: string;
readonly numberOfLegs: number=8;
constructor(theName:string){
this.name = theName;
}
}
let dad = new Octopus("Man with the 8 strong legs");
dad.name = "Man with the 3-piece suit"; //错误!name 是只读的。
1、参数属性
在上面的例子中,我们必须在Octopus类里定义一个只读成员name和一个参数为theName的构造函数,并且立刻将theName的值赋给name,这种情况经常会遇到。参数属性可以方便地让我们在一个地方定义并初始化一个成员。比如:
class Octopus{
readonly numberOfLegs:number = 8;
constructor(readonly name:string){
}
}
注意看,我们是如何舍弃了theName,仅在构造函数里使用readonly name: string参数来创建和初始化name成员,我们把声明和赋值合并至一处。
参数属性通过给构造函数参数前面添加一个访问限定符来声明。使用private限定一个参数属性会声明并初始化一个私有成员;对于public和protected来说也是一样的。
五、存取器
TypeScript支持通过getters、setters来截取对象成员的访问。它能帮助你有效的控制对对象成员的访问。
下面来看如何把一个简单的类改写成使用get和set。首先,我们从一个没有使用存取器的例子开始。
class Employee{
fullName:string;
}
let employee = new Employee();
employee.fullName = "Bob Smith";
if (employee.fullName){
console.log(employee.fullName);
}
我们可以随意的设置fullName,这是非常方便,但是这也可能会带来麻烦。
下面这个版本,我们先检查用户密码是否正确,然后允许修改员工信息,我们把对fullName的直接访问改成了可以检查密码的set方法。我们也加了一个get方法,让上面的例子仍然可以工作。
let passcode = "secret passcode";
class Employee{
private _fullName: string;
get fullName():string{
return this._fullName;
}
set fullName(nameName:string){
if(passcode && passcode == "secret passcode"){
this._fullName = newName;
}
else{
console.log("Error:Unauthorized update of employee!");
}
}
}
let employee = new Employee();
employee.fullName = "Bob Smith";
if (employee.fullName){
alert(employee.fullName);
}
我们可以修改一下密码,来验证一下存取器是否是工作的。当密码不对时,会提示我们没有权限去修改员工。
对于存取器有下面几点需要注意的:
首先,存取器要求你将编译器设置为输出ECMAScript 5或更高。 不支持降级到ECMAScript 3。 其次,只带有 get
不带有 set
的存取器自动被推断为 readonly
。 这在从代码生成 .d.ts
文件时是有帮助的,因为利用这个属性的用户会看到不允许够改变它的值。
六、静态属性
到目前为止,我们只讨论了类的实例成员,那些仅当类被实例化的时候才会被初始化的属性。 我们也可以创建类的静态成员,这些属性存在于类本身上面而不是类的实例上。 在这个例子里,我们使用 static
定义 origin
,因为它是所有网格都会用到的属性。 每个实例想要访问这个属性的时候,都要在 origin
前面加上类名。 如同在实例属性上使用 this.
前缀来访问属性一样,这里我们使用 Grid.
来访问静态属性。
class Grid {
static origin = {x: 0, y: 0};
calculateDistanceFromOrigin(point: {x: number; y: number;}) {
let xDist = (point.x - Grid.origin.x);
let yDist = (point.y - Grid.origin.y);
return Math.sqrt(xDist * xDist + yDist * yDist) / this.scale;
}
constructor (public scale: number) { }
}
let grid1 = new Grid(1.0); // 1x scale
let grid2 = new Grid(5.0); // 5x scale
console.log(grid1.calculateDistanceFromOrigin({x: 10, y: 10}));
console.log(grid2.calculateDistanceFromOrigin({x: 10, y: 10}));
七、抽象类
抽象类做为其它派生类的基类使用。 它们一般不会直接被实例化。 不同于接口,抽象类可以包含成员的实现细节。 abstract
关键字是用于定义抽象类和在抽象类内部定义抽象方法。
abstract class Animal {
abstract makeSound(): void;
move(): void {
console.log('roaming the earch...');
}
}
抽象类的抽象方法不包含具体实现并且必须在派生类中实现。抽象方法的语法与接口方法类似。两者都是定义方法签名,但不包含方法体。然而,抽象方法必须包含abstract关键字并且可以包含访问修饰符。
abstract class Department {
constructor(public name: string) {
}
printName(): void {
console.log('Department name: ' + this.name);
}
abstract printMeeting(): void; // 必须在派生类中实现
}
class AccountingDepartment extends Department {
constructor() {
super('Accounting and Auditing'); // 在派生类的构造函数中必须调用 super()
}
printMeeting(): void {
console.log('The Accounting Department meets each Monday at 10am.');
}
generateReports(): void {
console.log('Generating accounting reports...');
}
}
let department: Department; // 允许创建一个对抽象类型的引用
department = new Department(); // 错误: 不能创建一个抽象类的实例
department = new AccountingDepartment(); // 允许对一个抽象子类进行实例化和赋值
department.printName();
department.printMeeting();
department.generateReports(); // 错误: 方法在声明的抽象类中不存在
八、高级技巧
1、构造函数
当你在TypeScript里声明了一个类的时候,实际上同时声明了很多东西。 首先就是类的实例的类型。
class Greeter {
greeting: string;
constructor(message: string) {
this.greeting = message;
}
greet() {
return "Hello, " + this.greeting;
}
}
let greeter: Greeter;
greeter = new Greeter("world");
console.log(greeter.greet());
这里,我们写了 let greeter: Greeter
,意思是 Greeter
类的实例的类型是 Greeter
。 这对于用过其它面向对象语言的程序员来讲已经是老习惯了。
我们也创建了一个叫做构造函数的值。 这个函数会在我们使用new
创建类实例的时候被调用。 下面我们来看看,上面的代码被编译成JavaScript后是什么样子的:
let Greeter = (function () {
function Greeter(message) {
this.greeting = message;
}
Greeter.prototype.greet = function () {
return "Hello, " + this.greeting;
};
return Greeter;
})();
let greeter;
greeter = new Greeter("world");
console.log(greeter.greet());
上面的代码里, let Greeter
将被赋值为构造函数。 当我们调用 new
并执行了这个函数后,便会得到一个类的实例。 这个构造函数也包含了类的所有静态属性。 换个角度说,我们可以认为类具有实例部分与静态部分这两个部分。
让我们稍微改写一下这个例子,看看它们之间的区别:
class Greeter {
static standardGreeting = "Hello, there";
greeting: string;
greet() {
if (this.greeting) {
return "Hello, " + this.greeting;
}
else {
return Greeter.standardGreeting;
}
}
}
let greeter1: Greeter;
greeter1 = new Greeter();
console.log(greeter1.greet());
let greeterMaker: typeof Greeter = Greeter;
greeterMaker.standardGreeting = "Hey there!";
let greeter2: Greeter = new greeterMaker();
console.log(greeter2.greet());
这个例子里, greeter1
与之前看到的一样。 我们实例化 Greeter
类,并使用这个对象。 与我们之前看到的一样。
再之后,我们直接使用类。 我们创建了一个叫做 greeterMaker
的变量。 这个变量保存了这个类或者说保存了类构造函数。 然后我们使用 typeof Greeter
,意思是取Greeter类的类型,而不是实例的类型。 或者更确切的说,"告诉我 Greeter
标识符的类型",也就是构造函数的类型。 这个类型包含了类的所有静态成员和构造函数。 之后,就和前面一样,我们在 greeterMaker
上使用 new
,创建 Greeter
的实例。
2、把类当做接口使用
类定义会创建两个东西:类的实例类型和一个构造函数。 因为类可以创建出类型,所以你能够在允许使用接口的地方使用类
class Point {
x: number;
y: number;
}
interface Point3d extends Point {
z: number;
}
let point3d: Point3d = {x: 1, y: 2, z: 3};