类
类声明引入一个新类型,并定义其字段、方法和构造函数。
在以下示例中,定义了Person类,该类具有字段name和surname、构造函数和方法fullName:
代码语言:javascript复制class Person { name: string = '' surname: string = '' constructor (n: string, sn: string) { this.name = n; this.surname = sn; } fullName(): string { return this.name ' ' this.surname; }}
定义类后,可以使用关键字new创建实例:
代码语言:javascript复制let p = new Person('John', 'Smith');console.log(p.fullName());
或者,可以使用对象字面量创建实例:
代码语言:javascript复制class Point { x: number = 0 y: number = 0}let p: Point = {x: 42, y: 42};
字段
字段是直接在类中声明的某种类型的变量。
类可以具有实例字段或者静态字段。
实例字段
实例字段存在于类的每个实例上。每个实例都有自己的实例字段集合。
要访问实例字段,需要使用类的实例。
代码语言:javascript复制class Person { name: string = '' age: number = 0 constructor(n: string, a: number) { this.name = n; this.age = a; }
getName(): string { return this.name; }}
let p1 = new Person('Alice', 25);p1.name;let p2 = new Person('Bob', 28);p2.getName();
静态字段
使用关键字static将字段声明为静态。静态字段属于类本身,类的所有实例共享一个静态字段。
要访问静态字段,需要使用类名:
代码语言:javascript复制class Person { static numberOfPersons = 0 constructor() { // ... Person.numberOfPersons ; // ... }}
Person.numberOfPersons;
字段初始化
为了减少运行时的错误和获得更好的执行性能,
ArkTS要求所有字段在声明时或者构造函数中显式初始化。这和标准TS中的strictPropertyInitialization模式一样。
以下代码是在ArkTS中不合法的代码。
代码语言:javascript复制class Person { name: string // undefined setName(n:string): void { this.name = n; } getName(): string { // 开发者使用"string"作为返回类型,这隐藏了name可能为"undefined"的事实。 // 更合适的做法是将返回类型标注为"string | undefined",以告诉开发者这个API所有可能的返回值。 return this.name; }}
let jack = new Person();// 假设代码中没有对name赋值,例如调用"jack.setName('Jack')"jack.getName().length; // 运行时异常:name is undefined
在ArkTS中,应该这样写代码。
代码语言:javascript复制class Person { name: string = '' setName(n:string): void { this.name = n; } // 类型为'string',不可能为"null"或者"undefined" getName(): string { return this.name; }}
let jack = new Person();// 假设代码中没有对name赋值,例如调用"jack.setName('Jack')"jack.getName().length; // 0, 没有运行时异常
接下来的代码展示了如果name的值可以是undefined,那么应该如何写代码。
代码语言:javascript复制class Person { name?: string // 可能为`undefined`
setName(n:string): void { this.name = n; }
// 编译时错误:name可以是"undefined",所以将这个API的返回值类型标记为string getNameWrong(): string { return this.name; }
getName(): string | undefined { // 返回类型匹配name的类型 return this.name; }}
let jack = new Person();// 假设代码中没有对name赋值,例如调用"jack.setName('Jack')"
// 编译时错误:编译器认为下一行代码有可能会访问undefined的属性,报错jack.getName().length; // 编译失败
jack.getName()?.length; // 编译成功,没有运行时错误
getter和setter
setter和getter可用于提供对对象属性的受控访问。
在以下示例中,setter用于禁止将age属性设置为无效值:
代码语言:javascript复制class Person { name: string = '' private _age: number = 0 get age(): number { return this._age; } set age(x: number) { if (x < 0) { throw Error('Invalid age argument'); } this._age = x; }}
let p = new Person();p.age; // 输出0p.age = -42; // 设置无效age值会抛出错误
在类中可以定义getter或者setter。
方法
方法属于类。类可以定义实例方法或者静态方法。静态方法属于类本身,只能访问静态字段。而实例方法既可以访问静态字段,也可以访问实例字段,包括类的私有字段。
实例方法
以下示例说明了实例方法的工作原理。
calculateArea方法通过将高度乘以宽度来计算矩形的面积:
代码语言:javascript复制class RectangleSize { private height: number = 0 private width: number = 0 constructor(height: number, width: number) { // ... } calculateArea(): number { return this.height * this.width; }}
必须通过类的实例调用实例方法:
代码语言:javascript复制let square = new RectangleSize(10, 10);square.calculateArea(); // 输出:100
静态方法
使用关键字static将方法声明为静态。静态方法属于类本身,只能访问静态字段。
静态方法定义了类作为一个整体的公共行为。
必须通过类名调用静态方法:
代码语言:javascript复制class Cl { static staticMethod(): string { return 'this is a static method.'; }}console.log(Cl.staticMethod());
继承
一个类可以继承另一个类(称为基类),并使用以下语法实现多个接口:
代码语言:javascript复制class [extends BaseClassName] [implements listOfInterfaces] { // ...}
继承类继承基类的字段和方法,但不继承构造函数。继承类可以新增定义字段和方法,也可以覆盖其基类定义的方法。
基类也称为“父类”或“超类”。继承类也称为“派生类”或“子类”。
示例:
代码语言:javascript复制class Person { name: string = '' private _age = 0 get age(): number { return this._age; }}class Employee extends Person { salary: number = 0 calculateTaxes(): number { return this.salary * 0.42; }}
包含implements子句的类必须实现列出的接口中定义的所有方法,但使用默认实现定义的方法除外。
代码语言:javascript复制interface DateInterface { now(): string;}class MyDate implements DateInterface { now(): string { // 在此实现 return 'now is now'; }}
父类访问
关键字super可用于访问父类的实例字段、实例方法和构造函数。在实现子类功能时,可以通过该关键字从父类中获取所需接口:
代码语言:javascript复制class RectangleSize { protected height: number = 0 protected width: number = 0
constructor (h: number, w: number) { this.height = h; this.width = w; }
draw() { /* 绘制边界 */ }}class FilledRectangle extends RectangleSize { color = '' constructor (h: number, w: number, c: string) { super(h, w); // 父类构造函数的调用 this.color = c; }
draw() { super.draw(); // 父类方法的调用 // super.height -可在此处使用 /* 填充矩形 */ }}
方法重写
子类可以重写其父类中定义的方法的实现。重写的方法必须具有与原始方法相同的参数类型和相同或派生的返回类型。
代码语言:javascript复制class RectangleSize { // ... area(): number { // 实现 return 0; }}class Square extends RectangleSize { private side: number = 0 area(): number { return this.side * this.side; }}
方法重载签名
通过重载签名,指定方法的不同调用。具体方法为,为同一个方法写入多个同名但签名不同的方法头,方法实现紧随其后。
代码语言:javascript复制class C { foo(x: number): void; /* 第一个签名 */ foo(x: string): void; /* 第二个签名 */ foo(x: number | string): void { /* 实现签名 */ }}let c = new C();c.foo(123); // OK,使用第一个签名c.foo('aa'); // OK,使用第二个签名
如果两个重载签名的名称和参数列表均相同,则为错误。
构造函数
类声明可以包含用于初始化对象状态的构造函数。
构造函数定义如下:
代码语言:javascript复制constructor ([parameters]) { // ...}
如果未定义构造函数,则会自动创建具有空参数列表的默认构造函数,例如:
代码语言:javascript复制class Point { x: number = 0 y: number = 0}let p = new Point();
在这种情况下,默认构造函数使用字段类型的默认值来初始化实例中的字段。
派生类的构造函数
构造函数函数体的第一条语句可以使用关键字super来显式调用直接父类的构造函数。
代码语言:javascript复制class RectangleSize { constructor(width: number, height: number) { // ... }}class Square extends RectangleSize { constructor(side: number) { super(side, side); }}
构造函数重载签名
我们可以通过编写重载签名,指定构造函数的不同调用方式。具体方法为,为同一个构造函数写入多个同名但签名不同的构造函数头,构造函数实现紧随其后。
代码语言:javascript复制class C { constructor(x: number) /* 第一个签名 */ constructor(x: string) /* 第二个签名 */ constructor(x: number | string) { /* 实现签名 */ }}let c1 = new C(123); // OK,使用第一个签名let c2 = new C('abc'); // OK,使用第二个签名
如果两个重载签名的名称和参数列表均相同,则为错误。
可见性修饰符
类的方法和属性都可以使用可见性修饰符。
可见性修饰符包括:private、protected和public。默认可见性为public。
Public(公有)
public修饰的类成员(字段、方法、构造函数)在程序的任何可访问该类的地方都是可见的。
Private(私有)
private修饰的成员不能在声明该成员的类之外访问,例如:
代码语言:javascript复制class C { public x: string = '' private y: string = '' set_y (new_y: string) { this.y = new_y; // OK,因为y在类本身中可以访问 }}let c = new C();c.x = 'a'; // OK,该字段是公有的c.y = 'b'; // 编译时错误:'y'不可见
Protected(受保护)
protected修饰符的作用与private修饰符非常相似,不同点是protected修饰的成员允许在派生类中访问,例如:
代码语言:javascript复制class Base { protected x: string = '' private y: string = ''}class Derived extends Base { foo() { this.x = 'a'; // OK,访问受保护成员 this.y = 'b'; // 编译时错误,'y'不可见,因为它是私有的 }}
----
我正在参与2024腾讯技术创作特训营最新征文,快来和我瓜分大奖!