掌握 JS 高级编程基础 - Reflect Metadata

发表于 3年以前 | 总阅读数：284 次

今天学习的 Reflect Metadata ，算是“高阶编程”范畴的知识，是 JS 中有关反射（元编程）相关知识的。

历史渊源和设计标准

我们知道，在 ES6 的规范当中，ES6 支持元编程，核心是因为提供了对 Proxy 和 Reflect 对象的支持。简单来说这个 API 的作用就是可以实现对变量操作的函数化，也就是反射。

对于其他语言的程序员来讲，比如说 Java 或者 C#，元编程和 Metadata 是相对熟悉的，而对于 JSer 目前接触的并非很多，所以相对会陌生一些。

关于 ES6 元编程，我之前写过一篇教程《ES6 元编程（Proxy & Reflect & Symbol）》可以看看，这里就不展开了

然而 ES6 的 Reflect 规范里面还缺失一个规范，那就是 Reflect Metadata。这会造成什么样的情境呢[2]？

由于 JS/TS 现有的装饰器更多的是存在于对函数或者属性进行一些操作，比如修改他们的值，代理变量，自动绑定 this 等等功能。但是却无法实现通过反射来获取究竟有哪些装饰器添加到这个类/方法上... 这就限制了 JS 中元编程的能力。

此时 Relfect Metadata 就派上用场了，可以通过装饰器来给类添加一些自定义的信息。然后通过反射将这些信息提取出来（当然你也可以通过反射来添加这些信息）。

综合一下， JS 中对 Reflect Metadata 的诉求，简单概括就是：

其他 C#、Java、Pythone 语言已经有的高级功能，我 JS 也应该要有（诸如C＃和 Java 之类的语言支持将元数据添加到类型的属性或注释，以及用于读取元数据的反射API，而目前 JS 缺少这种能力）
许多用例（组合/依赖注入，运行时类型断言，反射/镜像，测试）都希望能够以一致的方式向类中添加其他元数据。
为了使各种工具和库能够推理出元数据，需要一种标准一致的方法；
元数据不仅可以用在对象上，也可以通过相关捕获器用在 Proxy 上
对开发人员来说，定义新的元数据生成装饰器应该简洁易用；

什么是metadata（元数据）

首先解释一下 metadata 这个概念，并非所有人都了解这个名词的含义 —— 其实每个人平时都经常接触过，只是不知道它叫 metadata 而已。

简言之，有数据库开发经验的同学，元数据概念其实是跟数据库的字段名（field）一致 —— 在传统的数据库中就天然包含元数据的概念。

比如一个人的简历上写着 “姓名” 是 “张三”，那么表示成 JS 对象就是：

{
    "name": "张三"
}

那么我们设计数据库的时候，一般将 name 设计成存储列名（field），这样不同简历的人就能按照 name 进行检索了，因此我们称 “name” 就是一个元数据 —— 没了，就是这么简单。

所以但凡你在 JS 中遇到元数据编程，你就假想成自己在设计数据库就行了。

讲到这里，我就继续啰嗦两句，方便扩散思维。

HTML的标签里可以定义标签。元素可提供有关页面的元信息（meta-information），比如针对搜索引擎和更新频度的描述和关键词。"keywords" 是一个经常被用到的，提高网站 SEO 绕不开的一个设置项（某些搜索引擎在遇到这些关键字时，会用这些关键字对文档进行分类）：

<meta name="keywords" content="HTML,JavaScript,CSS,前端">

在我们了解完 metadata 的概念后，我们可以开始学习如何使用它了。

如何开始metadata编程?

TypeScript 已经完整的实现了装饰器，后续的讲解默认都以 TS 环境（虽然 Babel 也可以，但是需要各种配置，比较繁琐）。

Reflect Metadata 是 15 年提出的一个提案，现在我们想要使用这个功能，可以借助仓库 reflect-metadata，先 npm 安装这个库：

npm i reflect-metadata --save

TypeScript 支持为带有装饰器的声明生成元数据。你需要在命令行或 tsconfig.json里启用emitDecoratorMetadata编译器选项：

{
    "compilerOptions": {
        "target": "ES5",
        "experimentalDecorators": true,
        "emitDecoratorMetadata": true
    }
}

当启用后，只要reflect-metadata库被引入了，设计阶段添加的类型信息可以在运行时使用。

基础用法

严格地说，元数据（metadata）和装饰器(Decorator) 是 EcmaScript 中两个独立的部分。然而，如果你想实现像是反射这样的能力，你总是同时需要它们。

比如下方这个例子：

// 要引入这个库
import "reflect-metadata";

@Reflect.metadata('name', 'Person')
class Person {
  @Reflect.metadata('words', 'hello world')
  public speak(): string {
    return 'hello world'
  }
}

Reflect.getMetadata('name', Person) // 'Person'
Reflect.getMetadata('words', new Person(), 'speak') // 'hello world'
// 这里为什么要用 new A()，用 A 不行么？后文会讲到

是不是很简单？对照这个例子，我们再引出 Metadata 的四个概念：

Metadata Key {Any}（后文简写 k）。元数据的 Key，对于一个对象来说，它可以有很多元数据，每一个元数据都对应有一个 Key。一个很简单的例子就是说，你可以在一个对象上面设置一个叫做 'name' 的 Key 用来设置他的名字，用一个 'created time' 的 Key 来表示他创建的时间。这个 Key 可以是任意类型。在后面会讲到内部本质就是一个 Map 对象。
Metadata Value {Any} （后文简写 v）。元数据的类型，任意类型都行。
Target {Object} （后文简写 o）。表示要在这个对象上面添加元数据
Property {String|Symbol} （后文简写 p）。用于设置在哪个属性上添加元数据。大家可能会想，这个是干什么用的，不是可以在对象上面添加元数据了么？其实不仅仅可以在对象上面添加元数据，甚至还可以在对象的属性上面添加元数据。其实大家可以这样理解，当你给一个对象定义元数据的时候，相当于你是默认指定了 undefined 作为 Property。

了解了这 4 个概念，我们阅读对应的 API 就会比较容易。

API设计

最为全面的 API 可以查阅标准文档： https://rbuckton.github.io/reflect-metadata/

API 的设计也是非常清晰明了，metadata 毕竟也属于 “数据”，那么对应的 API 就是跟数据库的 CURD 增删改查的操作相对应的。

先罗列一下完整的 API 声明，然后我们在挨个拆分讲解：

namespace Reflect {
  // 用于装饰器
  metadata(k, v): (target, property?) => void

  // 在对象上面定义元数据
  defineMetadata(k, v, o, p?): void

  // 是否存在元数据
  hasMetadata(k, o, p?): boolean
  hasOwnMetadata(k, o, p?): boolean

  // 获取元数据
  getMetadata(k, o, p?): any
  getOwnMetadata(k, o, p?): any

  // 获取所有元数据的 Key
  getMetadataKeys(o, p?): any[]
  getOwnMetadataKeys(o, p?): any[]

  // 删除元数据
  deleteMetadata(k, o, p?): boolean
}

▐ 创建元数据（Reflect.metadata/Reflect.defineMetadata）

两种方式创建，其最本质都是调用源码中 OrdinaryDefineOwnMetadata 方法，所以结果是一样的，只是使用方式不一样。

一种是通过装饰器声明方式创建，推荐的方式，也是很主流的一种方式：

// 装饰类
@Reflect.metadata(key, value)
class Example {
}

// 装饰静态属性
class Example {
    @Reflect.metadata(key, value)
    static staticProperty;
}

// 装饰实例属性
class Example {
    @Reflect.metadata(key, value)
    property;
}

// 装饰静态方法
class Example {
    @Reflect.metadata(key, value)
    static staticMethod() { }
}

// 装饰实例方法
class Example {
    @Reflect.metadata(key, value)
    method() { }
}

另一种就是 “事后”（类创建完后）再给目标对象创建元数据：

class Example {
    // property declarations are not part of ES6, though they are valid in TypeScript:
    // static staticProperty;
    // property;
    constructor(p) { }
    static staticMethod(p) { }
    method(p) { }
}

// 给 类本身 加元数据
Reflect.defineMetadata("custom:annotation", options, Example);

// 给 类的静态属性 新增元数据
Reflect.defineMetadata("custom:annotation", options, Example, "staticProperty");

// 给 类的实例属性 新增元数据，注意是加在 prototype 上
Reflect.defineMetadata("custom:annotation", options, Example.prototype, "property");

// 给 类的静态方法 新增元数据
Reflect.defineMetadata("custom:annotation", options, Example, "staticMethod");

// 给 类的实例方法 新增元数据，注意是加在 prototype 上
Reflect.defineMetadata("custom:annotation", options, Example.prototype, "method");

这两种方式之间的联系就是，装饰器方法 Reflect.metadata 其实内部就是用 Reflect.defineMetadata 实现的：

function metadata(metadataKey: any, metadataValue: any): Decorator {
    return (target, key?) => Reflect.defineMetadata("custom:annotation", options, target, key);
}

▐ 查询元数据

这里的 “查询” 是加引号的，因为元数据的查询的功能很简单，只要该元数据即可，不需获取要写 SQL 那么复杂。由于涉及到原型链，所以每个 API 都存在一对，用以区分是否包含原型链的操作。

获取元数据（getMetadata/getOwnMetadata）

这里涉及到两个相关的 API，getMetadata/getOwnMetadata 两个方法，它们之间的区别前者会包含原型链查找，后者不会查找原型链。

（类似于 Object.hasProperty 和 Object.hasOwnProperty 这两个方法的区别）

举例如下：

class A {
  @Reflect.metadata('name', 'hello')
  hello() {}
}

const t1 = new A()
const t2 = new A()

// 给 t2.hello 新增元数据内容 otherName -> world
// 此时会新增到 t2.prototype（原型链） 上（注意不是 A.prototype 上）
Reflect.defineMetadata('otherName', 'world', t2, 'hello');

// 首先，t1/t2 自己能获取原本的原型链 name 对应的元数据
Reflect.getMetadata('name', t1, 'hello') // 'hello'
Reflect.getMetadata('name', t2, 'hello') // 'hello'

// t1 自身上没定义 otherName 的元数据
Reflect.getMetadata('otherName', t1, 'hello') // undefined

// t2 自身定义了 otherName 的元数据
Reflect.getMetadata('otherName', t2, 'hello') // 'world'

// t2 自身上只有 otherName 这个元数据，没有 name 元数据（该元数据来自父级）
Reflect.getOwnMetadata('name', t2, 'hello') // undefined
Reflect.getOwnMetadata('otherName', t2, 'hello') // 'world'

判断是否存在元数据（hasMetadata/hasOwnMetadata）

同样的涉及到两个相关的 API，hasMetadata/hasOwnMetadata 两个方法，它们两者调用方式一样，唯一的区别是前者会包含原型链查找，后者不会查找原型链。而且入参含义跟getMetadata/getOwnMetadata 两个方法是一样的：

class Example {
    // property declarations are not part of ES6, though they are valid in TypeScript:
    // static staticProperty;
    // property;
    constructor(p) { }
    static staticMethod(p) { }
    method(p) { }
}

// 类本身 上是否存在元数据
result = Reflect.hasMetadata("custom:annotation", options, Example);

// 类的静态属性 上是否存在元数据
result = Reflect.hasMetadata("custom:annotation", options, Example, "staticProperty");

// 类的实例属性 上是否存在元数据，注意是在 prototype 上
result = Reflect.hasMetadata("custom:annotation", options, Example.prototype, "property");

// 类的静态方法 上是否存在元数据
result = Reflect.hasMetadata("custom:annotation", options, Example, "staticMethod");

// 类的实例方法 上是否存在元数据，注意是在 prototype 上
result = Reflect.hasMetadata("custom:annotation", options, Example.prototype, "method");

获取 metaKeys（getMetadataKeys/getOwnMetadataKeys）

同样的涉及到两个相关的 API，getMetadataKeys/getOwnMetadataKeys 两个方法。

class Example {
    // property declarations are not part of ES6, though they are valid in TypeScript:
    // static staticProperty;
    // property;
    constructor(p) { }
    static staticMethod(p) { }
    method(p) { }
}

// 获取 类本身 的元数据 keys
result = Reflect.getMetadataKeys(Example);

// 获取 类的静态属性 的元数据 keys
result = Reflect.getMetadataKeys(Example, "staticProperty");

// 获取 类的实例属性 的元数据 keys，注意是从 prototype 上获取
result = Reflect.getMetadataKeys(Example.prototype, "property");

// 获取 类的静态方法 的元数据 keys
result = Reflect.getMetadataKeys(Example, "staticMethod");

// 获取 类的实例方法 的元数据 keys，注意是从 prototype 上获取
result = Reflect.getMetadataKeys(Example.prototype, "method");

▐ 删除元数据

用于删除元数据的 API 是 deleteMetadata，如果对象上有该元数据, 则会删除成功返回 true, 否则返回 false。因为比较简单, 就直接上例子了:

const type = 'type'
@Reflect.metadata(type, 'class')
class DeleteMetadata {
  @Reflect.metadata(type, 'static')
  static staticMethod() {}
}

const res1 = Reflect.deleteMetadata(type, DeleteMetadata)
const res2 = Reflect.deleteMetadata(type, DeleteMetadata, 'staticMethod')
const res3 = Reflect.deleteMetadata(type, DeleteMetadata)
console.log(res1, res2, res3) // true true false

（注意并没有 deleteOwnMetadata 这样的 API）

TS福利：design：类型元数据

这里需要提及一点的是，在 TS 中的 reflect-metadata 是经过扩展[5]的（也就是说功能更加强劲），我们看个例子：

import "reflect-metadata";

class Foo {
  @Reflect.metadata("hello", "world")
  public say(a: string): string {
    return 'foo';
  }
}

我们查看其转换出来的 JS 代码，你会发现处理我们自己的元数据 "hello"->"world" 之外，还会额外给我们添加 "design:type"、"design:paramtypes" 和 "design:returntype" 这 3 个类型相关的元数据。

之所以会有，这是因为我们在 TS 中开启了 emitDecoratorMetadata（https://www.typescriptlang.org/tsconfig#emitDecoratorMetadata）编译选项，这样 TS 在编译的时候会将类型元数据自动添加上去。这也是 TS 强类型编程带来的额外好处 —— 换言之如果你用 ES6 编程，需要自己加这 3 个元数据。

（当然，如果你关闭 emitDecoratorMetadata选项，也就没有这 3 个类型元数据了）design:xxx 的内容分别表示什么意思呢[4]?

design:type 表示被装饰的对象是什么类型, 比如是字符串? 数字? 还是函数等
design:paramtypes 表示被装饰对象的参数类型, 是一个表示类型的数组, 如果不是函数, 则没有该 key
design:returntype 表示被装饰对象的返回值属性, 比如字符串,数字或函数等

我们看个例子[4]：

@Reflect.metadata('type', 'class')
class A {
  constructor(public name: string, public age: number) {
  }
  @Reflect.metadata(undefined, undefined)
  method():boolean {
    return true
  }
}

const t1 = Reflect.getMetadata('design:paramtypes', A)
const t2 = Reflect.getMetadata('design:returntype', A.prototype, 'method')
const t3 = Reflect.getMetadata('design:type', A.prototype, 'method')

console.log(...t1, t2, t3)

打印输出为:

但是要注意：

没有装饰的 target 是 get 不到这些 metadata 的
必须手动指定类型, 否则无法进行推断。比如 method 方法如果不指定返回值为 boolean, 那么 t2 将会是 undefined
应用的顺序为 type -> paramtypes -> returntype

按理说本文到此就结束了，如果想看 reflect-metadata 源码是如何的，可以继续阅读下去。

进阶：reflect-metadata源码设计解读

我还是比较推荐阅读源码的，何况 reflect-metadata 的源码（地址：https://github.com/rbuckton/reflect-metadata/blob/master/Reflect.ts）不算多，咋一看有 1.8k 多行，可真正看下来核心源码没几行的。

首先刨除声明 + 注释就已经去了一大半的行数了。

接着就是 polyfill 部分，按照一般的套路，很多 polyfill 库会让你提供一些前置的 polyfill ，但是 reflect-metadata 这个库竟然内部自己实现了很多的 polyfill 和算法 —— 比如 Map, Set, WeakMap, UUID。如果把这部分的 polyfill 源码也刨除掉，真正实现 reflect-metadata 的逻辑就几百行代码，是不是很惊喜意外？

核心源码比较简单，这里就不陈述，这里主要陈述一下 reflect-metadata 中有关源码的设计理念，权当抛砖引玉。

▐ 数据结构[3]

应用该库之后，每个对象都有 [[Metadata]]属性，该属性是一个 Map 对象，该对象内 key 值内容对应目标元素上的 property 名（或为 undefined），那对应的值也是一个 Map 对象（该对象的 key/value 内容就是元数据的 key/value）—— 这其实就阐明了 metadata 存储的数据结构，是理解所有 API 行为的基础。

这里所言“存在于对象下面的 [[Metadata]] 属性下面”，一开始我认为是新建一个 Symbol('Metadata')，然而实际上并非如此，取而代之的是一个 WeakMap 中。主要是利用 WeakMap 不增加引用计数的特点，将对象作为 Key，元数据集合作为 Value，存到 WeakMap 中去，类似这样的结构：

WeakMap<any, Map<any, Map<any, any>>>

从调用的角度来思考就会发现这样的很合理：

weakMap.get(o).get(p).get(k)

先根据对象（object）获取，然后在根据属性（property），最后根据元数据（metadata）的 Key 获取最终要的数据。

这里再展开说明一下具体存储的位置：

当在类 C 本身上使用 metadata 的时候，元数据会存储在 C.[[Metadata]] 属性中，其对应的 property 值是 undefined
定义在类 C 静态成员上的元数据，那么元数据会存储在C.[[Metadata]] 属性中，以该属性（property）名作为 key
定义在类 C 实例成员上的元数据，那么元数据会存储在C.prototype.[[Metadata]] 属性中，以该属性（property）名作为 key

从数据结构上我们可以看出其设计理念也很清晰：给对象添加额外的信息，但是不影响对象的结构 —— 这一点很重要，当你给对象添加了一个原信息的时候，对象是不会有任何的变化的，不会多 property，也不会有的 property 被修改了。但却可以衍生出很多其他的用途（比如可以让装饰器拥有真正装饰对象而不改变对象的能力。让对象拥有更多语义上的功能）

▐ 内置方法API

在阅读标准的时候，你会发现，其实每个对象会拥有一系列的内部方法 [[DefineOwnMetadata]], [[GetOwnMetadata]], [[HasOwnMetadata]] 方法，设计用意是：

这些内部方法可以被 Proxy 重载，支持额外的 trap
这些内部方法将调用一组抽象操作来定义和读取元数据

双方括号代表这是 JavaScript 引擎内部使用的属性/方法，一般是可以 console 到控制台中可以帮助 debug（点一下[[FunctionLocation]]就能跳到定义，点一下[[Scopes]]就能查看闭包，点击 [[proto]] 查看原型链等等），但是正常 JavaScript 代码（就是我们平时写代码的时候）是取不到这些属性的；

比如我们在控制台中输出 Proxy 对象的时候，经常可以看到这样的代码：