八、装饰器(Decorators)

8.1 简介

随着TypeScript和ES6中类的引入,现在存在某些场景需要额外的功能,来支持注释或修改类和类成员。装饰器提供了一种为类声明和成员添加注释和元编程语法的方法。装饰器是JavaScript的 第二阶段建议,并作为TypeScript的一个实验性功能提供。

注意:装饰器是一个实验性的功能,在未来的版本中可能会改变。

要启用对装饰器的实验性支持,你必须在命令行或在 tsconfig.json 中启用 experimentalDecorators 编译器选项。

  • 命令行
tsc --target ES5 --experimentalDecorators
  • tssconfig.json
{
"compilerOptions": {
"target": "ES5",
"experimentalDecorators": true
}
}

8.2 装饰器

装饰器是一种特殊的声明,可以附加到类声明、方法、访问器、属性或参数上。装饰器使用 @expression的形式,其中expression必须评估为一个函数,该函数将在运行时被调用,并带有关于被装饰的声明的信息。

例如,对于装饰器 @sealed,我们可以将 sealed 的函数写成如下:

function sealed(target) {
// 对 "target"做一些事情 ...
}

8.3 装饰器工厂

如果我们想自定义装饰器如何应用于声明,我们可以写一个装饰器工厂。装饰器工厂是一个简单的函数,它返回将在运行时被装饰器调用的表达式。

我们可以用以下方式写一个装饰器工厂:

function color(value: string) {
// 这是装饰器工厂,它设置了
// 返回的装饰器函数
return function (target) {
// 这就是装饰器
// 用 "target" 和 "value"做一些事情...
};
}

8.4 装饰器构成

多个装饰器可以应用于一个声明,例如在一行中:

@f @g x

多行的语法:

@f
@g
x

当多个装饰器适用于一个声明时,它们的评估类似于数学中的 函数组合。在这种模式下,当组合函数 f 和 g 时,所产生的组合(f∘g)(x) 等同于 f(g(x))

因此,在TypeScript中对一个声明的多个装饰器进行评估时,会执行以下步骤:

  1. 每个装饰器的表达式都是自上而下地进行评估的。

  2. 然后将结果作为函数从下往上调用。

如果我们使用装饰器工厂,可以通过下面的例子观察这个评估顺序:

function first() {
console.log("first(): factory evaluated");
return function (
target: any,
propertyKey: string,
descriptor: PropertyDescriptor,
) {
console.log("first(): called");
};
}

function second() {
console.log("second(): factory evaluated");
return function (
target: any,
propertyKey: string,
descriptor: PropertyDescriptor,
) {
console.log("second(): called");
};
}

class ExampleClass {
@first()
@second()
method() {}
}

这将把这个输出打印到控制台:

first(): factory evaluated
second(): factory evaluated
second(): called
first(): called

8.5 装饰器评估

对于应用于类内各种声明的装饰器,有一个明确的顺序:

  1. 对于每个实例成员,首先是参数装饰器,然后是方法访问器属性装饰器
  2. 对于每个静态成员,先是参数装饰器,然后是方法存取器属性装饰器
  3. 参数装饰器被应用于构造函数。
  4. 类装饰器适用于类。

8.6 类装饰器

类装饰器就在类声明之前被声明。类装饰器被应用于类的构造函数,可以用来观察、修改或替换类定义。类装饰器不能在声明文件中使用,也不能在任何其他环境下使用(比如在 declare 类上)。

类装饰器的表达式在运行时将作为一个函数被调用,被装饰的类的构造器是它唯一的参数。

如果类装饰器返回一个值,它将用提供的构造函数替换类声明。

注意:如果你选择返回一个新的构造函数,必须注意维护原始原型。在运行时应用装饰器的逻辑不会为你这样做。

下面是一个应用于BugReport类的类装饰器(@sealed)的例子。

@sealed
class BugReport {
type = "report";
title: string;

constructor(t: string) {
this.title = t;
}
}

我们可以用下面的函数声明来定义@sealed装饰器。

function sealed(constructor: Function) {
Object.seal(constructor);
Object.seal(constructor.prototype);
}

@sealed被执行时,它将同时封闭构造函数和它的原型,因此将阻止在运行时通过访问BugReport.prototype或通过定义BugReport本身的属性来向该类添加或删除任何进一步的功能(注意ES2015类实际上只是基于原型的构造函数的语法糖)。这个装饰器并不能阻止类对BugReport进行子类化。

接下来我们有一个如何覆盖构造函数以设置新的默认值的例子:

function reportableClassDecorator<T extends { new (...args: any[]): {} }>(
constructor: T,
) {
return class extends constructor {
reportingURL = "http://www...";
};
}

@reportableClassDecorator
class BugReport {
type = "report";
title: string;

constructor(t: string) {
this.title = t;
}
}

const bug = new BugReport("Needs dark mode");
console.log(bug.title); // 打印 "Needs dark mode"
console.log(bug.type); // 打印 "report"

// 注意,装饰器不会改变TypeScript的类型
// 因此,类型系统对新的属性`reportingURL`是不可知的。
bug.reportingURL;
image-20211224200305351

8.7 方法装饰器

方法装饰器就在方法声明之前被声明。该装饰器被应用于方法的属性描述符,可以用来观察、修改或替换方法定义。方法装饰器不能在声明文件中使用,不能在重载上使用,也不能在任何其他环境下使用(比如在 declare类中)。

方法装饰器的表达式将在运行时作为一个函数被调用,有以下三个参数:

  1. 静态成员的类的构造函数,或者实例成员的类的原型。
  2. 成员的名称。
  3. 该成员的属性描述符。

注意:如果你的脚本目标小于ES5,属性描述符将无法定义。

如果方法装饰器返回一个值,它将被用作方法的属性描述符

注意:如果你的脚本目标小于ES5,返回值会被忽略。

下面是一个方法装饰器(@enumerable)应用于Greeter类的一个方法的例子:

class Greeter {
greeting: string;
constructor(message: string) {
this.greeting = message;
}

@enumerable(false)
greet() {
return "Hello, " + this.greeting;
}
}

我们可以用下面的函数声明来定义@enumerable装饰器:

function enumerable(value: boolean) {
return function (
target: any,
propertyKey: string,
descriptor: PropertyDescriptor,
) {
descriptor.enumerable = value;
};
}

这里的@enumerable(false)装饰器是一个 装饰器工厂。当@enumerable(false)装饰器被调用时,它修改了属性描述符的enumerable属性。

8.8 访问器装饰器

一个访问器装饰器就在访问器声明之前被声明。访问器装饰器被应用于访问器的属性描述符,可以用来观察、修改或替换访问器的定义。一个访问器装饰器不能在声明文件中使用,也不能在任何其他环境中使用(比如在declare类中)。

注意:TypeScript不允许装饰单个成员的 getset访问器。相反,该成员的所有装饰器必须应用于文件顺序中指定的第一个访问器。这是因为装饰器适用于一个属性描述符,它结合了获取和设置访问器,而不是每个声明单独。

访问器装饰器的表达式将在运行时作为一个函数被调用,有以下三个参数:

  1. 静态成员的类的构造函数,或者实例成员的类的原型。
  2. 成员的名称。
  3. 该成员的属性描述符。

注意:如果你的脚本目标小于ES5,属性描述符将无法定义。

如果访问器装饰器返回一个值,它将被用作该成员的属性描述符

注意:如果你的脚本目标小于ES5,返回值会被忽略。

下面是一个访问器装饰器(@configurable)的例子,它应用于Point类的一个成员。

class Point {
private _x: number;
private _y: number;
constructor(x: number, y: number) {
this._x = x;
this._y = y;
}

@configurable(false)
get x() {
return this._x;
}

@configurable(false)
get y() {
return this._y;
}
}

我们可以用下面的函数声明来定义@configurable装饰器:

function configurable(value: boolean) {
return function (
target: any,
propertyKey: string,
descriptor: PropertyDescriptor,
) {
descriptor.configurable = value;
};
}

8.9 属性装饰器

一个属性装饰器就在一个属性声明之前被声明。一个属性装饰器不能在声明文件中使用,也不能在任何其他环境下使用(比如在 declare 类中)。

属性装饰器的表达式将在运行时作为一个函数被调用,有以下两个参数:

  1. 静态成员的类的构造函数,或者实例成员的类的原型。
  2. 成员的名称。

注意:由于属性装饰器在TypeScript中的初始化方式,属性描述符不会作为参数提供给属性装饰器。这是因为目前没有机制在定义原型成员时描述一个实例属性,也没有办法观察或修改一个属性的初始化器。返回值也被忽略了。因此,一个属性装饰器只能用来观察一个类的特定名称的属性已经被声明。

我们可以使用这些信息来记录关于该属性的元数据,如下面的例子:

class Greeter {
@format("Hello, %s")
greeting: string;
constructor(message: string) {
this.greeting = message;
}
greet() {
let formatString = getFormat(this, "greeting");
return formatString.replace("%s", this.greeting);
}
}

然后我们可以使用以下函数声明来定义@format装饰器和getFormat函数。

import "reflect-metadata";
const formatMetadataKey = Symbol("format");
function format(formatString: string) {
return Reflect.metadata(formatMetadataKey, formatString);
}
function getFormat(target: any, propertyKey: string) {
return Reflect.getMetadata(formatMetadataKey, target, propertyKey);
}

这里的@format("Hello, %s")装饰器是一个装饰器工厂。当@format("Hello, %s")被调用时,它使用reflect-metadata库中的Reflect.metadata函数为该属性添加一个元数据条目。当getFormat被调用时,它读取该格式的元数据值。

注意:这个例子需要reflect-metadata库。关于reflect-metadata库的更多信息,请参见Metadata

8.10 参数装饰器

参数装饰器就在参数声明之前被声明。参数装饰器被应用于类构造器或方法声明的函数。一个参数装饰器不能在声明文件、重载或任何其他环境中使用(比如在 declare 类中)。

参数装饰器的表达式将在运行时作为一个函数被调用,有以下三个参数:

  1. 对于静态成员,可以是该类的构造函数,对于实例成员,可以是该类的原型。
  2. 该成员的名称。
  3. 参数在函数的参数列表中的序数索引。

注意:一个参数装饰器只能用来观察一个方法上已经声明了一个参数。

参数装饰器的返回值被忽略了。

下面是一个参数装饰器(@required)应用于BugReport类的一个成员的参数的例子:

class BugReport {
type = "report";
title: string;

constructor(t: string) {
this.title = t;
}

@validate
print(@required verbose: boolean) {
if (verbose) {
return `type: ${this.type}\ntitle: ${this.title}`;
} else {
return this.title;
}
}
}

然后我们可以使用以下函数声明来定义@required@validate装饰器。

import "reflect-metadata";
const requiredMetadataKey = Symbol("required");

function required(
target: Object,
propertyKey: string | symbol,
parameterIndex: number,
) {
let existingRequiredParameters: number[] =
Reflect.getOwnMetadata(requiredMetadataKey, target, propertyKey) || [];
existingRequiredParameters.push(parameterIndex);
Reflect.defineMetadata(
requiredMetadataKey,
existingRequiredParameters,
target,
propertyKey,
);
}

function validate(
target: any,
propertyName: string,
descriptor: TypedPropertyDescriptor<Function>,
) {
let method = descriptor.value!;

descriptor.value = function () {
let requiredParameters: number[] = Reflect.getOwnMetadata(
requiredMetadataKey,
target,
propertyName,
);
if (requiredParameters) {
for (let parameterIndex of requiredParameters) {
if (
parameterIndex >= arguments.length ||
arguments[parameterIndex] === undefined
) {
throw new Error("Missing required argument.");
}
}
}
return method.apply(this, arguments);
};
}

@required装饰器添加了一个元数据条目,将参数标记为必填。然后,@validate装饰器将现有的greet方法包装在一个函数中,在调用原始方法之前验证参数。

注意:这个例子需要reflect-metadata库。关于reflect-metadata库的更多信息,请参见Metadata

8.11 Metadata

一些例子使用了reflect-metadata库,它为一个实验性的元数据API. 添加了一个polyfill。这个库还不是ECMAScript(JavaScript)标准的一部分。然而,一旦装饰器被正式采纳为ECMAScript标准的一部分,这些扩展将被提议采纳。

你可以通过npm来安装这个库:

npm i reflect-metadata --save

TypeScript包括试验性的支持,为具有装饰器的声明排放某些类型的元数据。要启用这个实验性支持,你必须在命令行或在你的tsconfig.json中设置emitDecoratorMetadata编译器选项。

  • Command Line
tsc --target ES5 --experimentalDecorators --emitDecoratorMetadata
  • tsconfig.json
{
"compilerOptions": {
"target": "ES5",
"experimentalDecorators": true,
"emitDecoratorMetadata": true
}
}

启用后,只要导入了reflect-metadata库,额外的设计时类型信息就会在运行时暴露。

我们可以在下面的例子中看到这个作用:

import "reflect-metadata";

class Point {
constructor(
public x: number,
public y: number,
) {}
}

class Line {
private _start: Point;
private _end: Point;

@validate
set start(value: Point) {
this._start = value;
}

get start() {
return this._start;
}

@validate
set end(value: Point) {
this._end = value;
}

get end() {
return this._end;
}
}

function validate<T>(
target: any,
propertyKey: string,
descriptor: TypedPropertyDescriptor<T>,
) {
let set = descriptor.set!;

descriptor.set = function (value: T) {
let type = Reflect.getMetadata("design:type", target, propertyKey);

if (!(value instanceof type)) {
throw new TypeError(
`Invalid type, got ${typeof value} not ${type.name}.`,
);
}

set.call(this, value);
};
}

const line = new Line();
line.start = new Point(0, 0);

// @ts-ignore
// line.end = {}

// 运行时会失败:
// > Invalid type, got object not Point

TypeScript编译器将使用@Reflect.metadata装饰器注入设计时类型信息。你可以认为它相当于下面的TypeScript:

class Line {
private _start: Point;
private _end: Point;
@validate
@Reflect.metadata("design:type", Point)
set start(value: Point) {
this._start = value;
}
get start() {
return this._start;
}
@validate
@Reflect.metadata("design:type", Point)
set end(value: Point) {
this._end = value;
}
get end() {
return this._end;
}
}

注意:装饰器元数据是一个实验性的功能,在未来的版本中可能会引入破坏性的变化。

特别声明: 本文转自 古艺散人老师 ,如有需要可前往原文预览查看。