TypeScript 装饰器的执行原理

会笑的芒果精灵 發表於 2019-6-11 23:52:00

<table class="d-block">
<tbody class="d-block">
<tr class="d-block">
 <td class="d-block comment-body markdown-bodyjs-comment-body">
装饰器本质上提供了对被装饰对象 Property Descriptor 的操作，在运行时被调用。
因为对于同一对象来说，可同时运用多个装饰器，然后装饰器中又可对被装饰对象进行任意的修改甚至是替换掉实现，直观感觉会有一些主观认知上的错觉，需要通过代码来验证一下。
比如，假若每个装饰器都对被装饰对象的有替换，其结果会怎样？
<h2>多个装饰器的应用</h2>
通过编译运行以下示例代码并查看其结果可以得到一些直观感受：
<div class="highlight highlight-source-ts"><pre>function f() {
console.log("f(): evaluated");
return function(_target: any, key: string, descriptor: PropertyDescriptor) {
const original = descriptor.value;
descriptor.value = function(...args: any[]) {
 console.log(`before ${key} called`, args);
 const result = original.apply(this, args);
 console.log(`after ${key} called`);
 return result;
};
console.log("f(): called");
return descriptor;
};
}
function g() { 
console.log("g(): evaluated"); 
return function(_target: any, key: string, descriptor: PropertyDescriptor) { 
const original = descriptor.value; 
descriptor.value = function(...args: any[]) { 
console.log(<code>before ${key} called</code>, args); 
const result = original.apply(this, args); 
console.log(<code>after ${key} called</code>); 
return result; 
}; 
console.log("g(): called"); 
return descriptor; 
}; 
}
class C { 
@f() 
@g() 
foo(count: number) { 
console.log(<code>foo called ${count}</code>); 
} 
}
const c = new C(); 
c.foo(0); 
c.foo(1);</pre></div>
先放出执行结果：
<div class="highlight highlight-source-shell"><pre>f(): evaluated
g(): evaluated
g(): called
f(): called
before foo called [ 0 ]
before foo called [ 0 ]
foo called 0
after foo called [ 0 ]
after foo called [ 0 ]
before foo called [ 1 ]
before foo called [ 1 ]
foo called 1
after foo called [ 1 ]
after foo called [ 1 ]</pre></div>
下面来详细分析。
<h2>编译后的装饰器代码</h2>
首页看看编译后变成 JavaScript 的代码，毕竟这是实际运行的代码：
<details>
<summary>
编译后的代码
</summary>
<div class="highlight highlight-source-js"><pre>var __decorate = (this && this.__decorate) || function (decorators, target, key, desc) {
var c = arguments.length, r = c < 3 ? target : desc === null ? desc = Object.getOwnPropertyDescriptor(target, key) : desc, d;
if (typeof Reflect === "object" && typeof Reflect.decorate === "function") r = Reflect.decorate(decorators, target, key, desc);
else for (var i = decorators.length - 1; i >= 0; i--) if (d = decorators) r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
return c > 3 && r && Object.defineProperty(target, key, r), r;
};
var __metadata = (this && this.__metadata) || function (k, v) {
if (typeof Reflect === "object" && typeof Reflect.metadata === "function") return Reflect.metadata(k, v);
};
function f() {
console.log("f(): evaluated");
return function (_target, key, descriptor) {
 var original = descriptor.value;
 descriptor.value = function () {
 var args = [];
 for (var _i = 0; _i < arguments.length; _i++) {
 args = arguments;
 }
 console.log("before " + key + " called", args);
 var result = original.apply(this, args);
 console.log("after " + key + " called", args);
 return result;
 };
 console.log("f(): called");
 return descriptor;
};
}
function g() {
console.log("g(): evaluated");
return function (_target, key, descriptor) {
 var original = descriptor.value;
 descriptor.value = function () {
 var args = [];
 for (var _i = 0; _i < arguments.length; _i++) {
 args = arguments;
 }
 console.log("before " + key + " called", args);
 var result = original.apply(this, args);
 console.log("after " + key + " called", args);
 return result;
 };
 console.log("g(): called");
 return descriptor;
};
}
var C = /** @class */ (function () {
function C() {
}
C.prototype.foo = function (count) {
 console.log("foo called " + count);
};
__decorate([
 f(),
 g(),
 __metadata("design:type", Function),
 __metadata("design:paramtypes", [Number]),
 __metadata("design:returntype", void 0)
], C.prototype, "foo", null);
return C;
}());
var c = new C();
c.foo(0);
c.foo(1);</pre></div>
</details>
先看经过 TypeScript 编译后的代码，重点看这一部分：
<div class="highlight highlight-source-js"><pre>var C = /** @class */ (function () {
function C() {
}
C.prototype.foo = function (count) {
 console.log("foo called " + count);
};
__decorate([
 f(),
 g(),
 __metadata("design:type", Function),
 __metadata("design:paramtypes", [Number]),
 __metadata("design:returntype", void 0)
], C.prototype, "foo", null);
return C;
}());</pre></div>
<h2>tslib 中装饰器的实现</h2>
其中 <code>__decorate</code> 为 TypeScript 经 tslib 提供的 Decorator 实现，其源码为：
tslib/tslib.js(经过格式化)
<div class="highlight highlight-source-js"><pre>var __decorate =
(this && this.__decorate) ||
function(decorators, target, key, desc) {
var c = arguments.length,
 r =
 c < 3
 ? target
 : desc === null
 ? (desc = Object.getOwnPropertyDescriptor(target, key))
 : desc,
 d;
if (typeof Reflect === "object" && typeof Reflect.decorate === "function")
 r = Reflect.decorate(decorators, target, key, desc);
else
 for (var i = decorators.length - 1; i >= 0; i--)
 if ((d = decorators))
 r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
return c > 3 && r && Object.defineProperty(target, key, r), r;
};</pre></div>
<h2>装饰器的执行顺序</h2>
配合编译后代码和这里装饰器的实现来看，进一步之前了解到的关于装饰器被求值和执行的顺序，
源码中应用装饰器的地方：
<div class="highlight highlight-source-ts"><pre>@f()
@g()
foo(count: number) {
console.log(`foo called ${count}`);
}</pre></div>
然后这里的 <code>@f() @g()</code> 按照该顺序传递给了 <code>__decorate</code> 函数，
<div class="highlight highlight-source-diff"><pre>__decorate(
[
+ f(),
+ g(),
 __metadata("design:type", Function),
 __metadata("design:paramtypes", ),
 __metadata("design:returntype", void 0)
],
C.prototype,
"foo",
null
);</pre></div>
然后在 <code>__decorate</code> 函数体中，对传入的 <code>decorators</code> 从数据最后开始，取出装饰器函数顺次执行，
<div class="highlight highlight-source-diff"><pre>var __decorate =
(this && this.__decorate) ||
function(decorators, target, key, desc) {
var c = arguments.length,
 r =
 c < 3
 ? target
 : desc === null
 ? (desc = Object.getOwnPropertyDescriptor(target, key))
 : desc,
 d;
if (typeof Reflect === "object" && typeof Reflect.decorate === "function")
 r = Reflect.decorate(decorators, target, key, desc);
else
+ for (var i = decorators.length - 1; i >= 0; i--)
 if ((d = decorators))
 r = (c < 3 ? d(r) : c > 3 ? d(target, key, r) : d(target, key)) || r;
return c > 3 && r && Object.defineProperty(target, key, r), r;
};</pre></div>
其中 <code>r</code> 便是装成器的返回，会被当作被装饰对象的新的属性描述器（Property Descriptor）来重新定义被装饰的对象：
<div class="highlight highlight-source-js"><pre>Object.defineProperty(target, key, r)</pre></div>
所以，像示例代码中多个装饰器均对被装饰对象有修改，原则上和多次调用 <code>Object.defineProperty()</code> 相当。
<h2><code>Object.defineProperty()</code></h2>
而调用 <code>Object.defineProperty()</code> 的结果是后面的会覆盖前面的，比如来看这里一个简单的示例：
<div class="highlight highlight-source-js"><pre>const obj = {};
Object.defineProperty(obj, "foo", { 
configurable: true, 
value: function() { 
console.log("1"); 
} 
});
Object.defineProperty(obj, "foo", { 
value: function() { 
console.log("2"); 
} 
});
obj.foo(); // 2</pre></div>
注意： 根据 MDN 对 <code>defineProperty</code> 的描述，<code>configurable</code> 在缺省时为 <code>false</code>，所以如果要重复定义同一个 <code>key</code>，需要显式将其置为 <code>true</code>。
<blockquote>
<code>configurable</code>
<code>true</code> if and only if the type of this property descriptor may be changed and if the > property may be deleted from the corresponding object. 
Defaults to <code>false</code>.
</blockquote>
回到本文开头的示例，为了进一步验证，可通过将运用装饰之后的属性描述器打印出来：
<div class="highlight highlight-source-js"><pre>console.log(Object.getOwnPropertyDescriptor(C.prototype, "foo").value.toString());</pre></div>
输出结果为：
<div class="highlight highlight-source-shell"><pre>function () {
 var args = [];
 for (var _i = 0; _i < arguments.length; _i++) {
 args = arguments;
 }
 console.log("before " + key + " called", args);
 var result = original.apply(this, args);
 console.log("after " + key + " called", args);
 return result;
 }</pre></div>
那么这里引出另一个问题，通过装饰器重复定义同一属性时，并没有显式返回一个 <code>configurable:true</code> 的对象，那为何在运用多个装饰器重复定义时没报错。
<h2>装饰器入参中的 <code>descriptor</code></h2>
答案就只有一个，那就是装饰器传入的 <code>descriptor</code> 已经是 <code>configurable</code> 为 <code>true</code> 的状态。
为了验证，只需要在 <code>@f()</code> 或 <code>@g()</code> 任意一个装饰器中将 <code>descriptor</code> 打印出来即可。
<div class="highlight highlight-source-diff"><pre>function g() {
console.log("g(): evaluated");
return function(_target: any, key: string, descriptor: PropertyDescriptor) {
+ console.log(descriptor)
const original = descriptor.value;
descriptor.value = function(...args: any[]) {
 console.log(`before ${key} called`, args);
 const result = original.apply(this, args);
 console.log(`after ${key} called`, args);
 return result;
};
console.log("g(): called");
return descriptor;
};
}</pre></div>
输出的 <code>descriptor</code>：
<div class="highlight highlight-source-shell"><pre>{
value: ,
writable: true,
enumerable: true,
configurable: true
}</pre></div>
这便是最终运行时会执行的 <code>foo</code> 方法真身。
可以看到确实是最后生效的装饰器确实是后运用的 <code>@f()</code>。因此你确实可以这么理解多个装饰器的重叠应用为，那一切都还说得通，就是后运用的装饰器中对被装饰对象的替换会覆盖掉先运用的装饰器对被装饰对象的替换。
But,
这解释不了它的输出结果：
<div class="highlight highlight-source-shell"><pre>f(): evaluated
g(): evaluated
g(): called
f(): called
before foo called [ 0 ]
before foo called [ 0 ]
foo called 0
after foo called
after foo called
before foo called [ 1 ]
before foo called [ 1 ]
foo called 1
after foo called
after foo called</pre></div>
<h2>装饰器嵌套</h2>
原因就在于这句代码：
<div class="highlight highlight-source-ts"><pre>var result = original.apply(this, args);</pre></div>
因为这句，<code>@f()</code> 和 <code>@g()</code> 便不是简单的覆盖关系，而是形成了嵌套关系。
这里 <code>original</code> 为 <code>descriptor.value</code>，即装饰器传入的 <code>descriptor</code> 的一个副本。我们在进行覆盖前保存了一下原方法的副本，
<div class="highlight highlight-source-ts"><pre>// 保存原始的被装饰对象
const original = descriptor.value;
// 替换被装饰对象 
descriptor.value = function(...args: any[]) { 
// ... 
}</pre></div>
因为装饰器的目的只是对已有的对象进行修饰加强，所以你不能粗暴地将原始的对象直接替换成新的实现（当然你确实可以那样粗暴的），那样并不符合大多数应用场景。所以在进行替换时，先保存原始对象（这里原始对象是 <code>foo</code> 方法），然后在新的实现中对原始对象再进行调用，这样来实现了对原始对象进行修饰，添加新的特性。
<div class="highlight highlight-source-diff"><pre>descriptor.value = function(...args: any[]) {
console.log(`before ${key} called`, args);
+ const result = original.apply(this, args);
console.log(`after ${key} called`, args);
return result;
};</pre></div>
通过这种方式，多个装饰器对被装饰对象的修改可以层层传递下去，而不至于丢失。
下面把每个装饰器接收到的属性描述器打印出来：
<div class="highlight highlight-source-diff"><pre>function f() {
console.log("f(): evaluated");
return function(_target: any, key: string, descriptor: PropertyDescriptor) {
const original = descriptor.value;
+ console.log(" receive descriptor:", original.toString());
descriptor.value = function(...args: any[]) {
 console.log(`before ${key} called`, args);
 const result = original.apply(this, args);
 console.log(`after ${key} called`, args);
 return result;
};
console.log("f(): called");
return descriptor;
};
}
function g() { 
console.log("g(): evaluated"); 
return function(_target: any, key: string, descriptor: PropertyDescriptor) { 
const original = descriptor.value; 
+ console.log(" receive descriptor:", original.toString()); 
descriptor.value = function(...args: any[]) { 
console.log(<code>before ${key} called</code>, args); 
const result = original.apply(this, args); 
console.log(<code>after ${key} called</code>, args); 
return result; 
}; 
console.log("g(): called"); 
return descriptor; 
}; 
}</pre></div>
输出结果：
<div class="highlight highlight-source-shell"><pre> receive descriptor:
function (count) {
 console.log("foo called " + count);
}
 receive descriptor: 
function () { 
var args = []; 
for (var _i = 0; _i < arguments.length; _i++) { 
args = arguments; 
} 
console.log("before " + key + " called", args); 
var result = original.apply(this, args); 
console.log("after " + key + " called", args); 
return result; 
}</pre></div>
这里的示例中，先是 <code>@g()</code> 被调用，它接收到的 <code>descriptor</code> 就是原始的 <code>foo</code> 方法的属性描述器，打印出其值便是原始的 <code>foo</code> 方法的方法体，
<div class="highlight highlight-source-js"><pre>function (count) {
 console.log("foo called " + count);
}</pre></div>
经过 <code>@g()</code> 处理后的属性描述器传递给了下一个装饰器 <code>@f()</code>，所以后者接收到的是经过处理后新的属性描述器，即 <code>@g()</code> 返回的那个：
<div class="highlight highlight-source-js"><pre> function () {
 var args = [];
 for (var _i = 0; _i < arguments.length; _i++) {
 args = arguments;
 }
 console.log("before " + key + " called", args);
 var result = original.apply(this, args);
 console.log("after " + key + " called", args);
 return result;
 }</pre></div>
然后将 <code>@f()</code> 中 <code>original</code> 替换成上述代码便是最终 <code>@f()</code> 返回的最终 <code>foo</code> 的样子，大致是这样的：
<div class="highlight highlight-source-js"><pre>descriptor.value = function(...args: any[]) {
console.log(`before ${key} called`, args);
// g 开始 
var args = []; 
for (var _i = 0; _i < arguments.length; _i++) { 
args = arguments; 
} 
console.log("before " + key + " called", args);
// foo 开始 
console.log(<code>foo called ${count}</code>); 
// foo 结束
console.log("after " + key + " called", args); 
// g 结束
console.log(<code>after ${key} called</code>, args); 
return result; 
};</pre></div>
所以最终的 <code>foo</code> 方法其实是 <code>f(g(x))</code> 两者嵌套组合的结果，像数学上的函数调用一样。
<h2>总结</h2>
多个装饰器运用于同一对象时，其求值和执行顺序是相反的，
对于类似这样的调用：
<div class="highlight highlight-source-ts"><pre>@f
@g
x</pre></div>
<ul>
<li>求值顺序是由上往下</li>
<li>执行顺序是由下往上</li>
</ul>
通常情况下我们只关心执行顺序，除非是在编写复杂的装饰器工厂方法时。同时需要注意到，这里所指的装饰器执行顺序 是装饰器本身被调用的顺序，如果是装饰方法，这和 <code>descriptor.value</code> 被执行的顺序是两码事，后者的执行是层层嵌套的方式，联想 Koa 中间件的洋葱圈模型。
如果多个装饰器中都对被装饰对象有所修改，注意嵌套过程中修改被覆盖的问题，如果不想要产生覆盖，装饰器中应该有对被装饰对象保存副本并且调用，方法通过 <code>fn.apply()</code>，类则可通过返回一个新的但继承自被装饰对象的新类来实现，比如：
<div class="highlight highlight-source-ts"><pre>function classDecorator<T extends {new(...args:any[]):{}}>(constructor:T) {
return class extends constructor {
 newProperty = "new property";
 hello = "override";
}
}
@classDecorator 
class Greeter { 
property = "property"; 
hello: string; 
constructor(m: string) { 
this.hello = m; 
} 
}
console.log(new Greeter("world"));</pre></div>
这里覆盖了被装饰类的构造器，但其他未修改的部分仍是原来类中的样子，因为这里返回的是一个 <code>extends</code> 后的新类。
 </td>
</tr>
</tbody>
</table>

</div>
<div id="MySignature" role="contentinfo">
<div>
<img src="https://licensebuttons.net/l/by-nc-sa/3.0/88x31.png" style="vertical-align: middle">
CC BY-NC-SA 署名-非商业性使用-相同方式共享
</div> 
来源：https://www.cnblogs.com/Wayou/p/typescript_decorator_under_the_hook.html

頁: [1]

琼殿技术论坛's Archiver

TypeScript 装饰器的执行原理