在学习nestjs时,你肯定听过其框架实现了类与类的解耦,那什么是类与类的耦合呢?
耦合
现在有 A、B 两个类,其中 A 依赖 B,这种依赖关系在日常开发中很容易遇到,如果用传统的编码方式,一般会这么实现:
# b.ts
class B {
constructor() {}
}
# a.ts
class A {
b:B;
constructor() {
this.b = new B();
}
}
# main.ts
const a = new A();
这看上去似乎没有什么问题,然而,当需要对 B类进行改造,需要在初始化时传递一个参数 c。
# b.ts
class B {
c: number;
constructor(c: number) {
this.c = c;
}
}
那问题来了,由于 B 是在 A 的构造函数中进行实例化的,我们不得不在 A 的构造函数里传入这个 c 参数。
但是, A 里面的 c 怎么来呢?
我们当然不能写死它,否则设定这个参数就没有意义了,因此我们只能将 c 也设定为 A 构造函数中的一个参数,如下:
# a.ts
class A {
b:B;
constructor(c: number) {
this.b = new B(c);
}
}
# c.ts
class C {
constructor() {}
}
# main.ts
const a = new A(100);
console.log(a); // A { b: B { c: 100 } }
你发现问题没,当我修改了B类,我需要同时修改A类,本来只是B类变化了,但是因为A和B耦合在一起了,所以要修改两处地方。
如果当我们改完了 A 后,发现 B 所需要的 c 不能是一个 number,需要变更为 string,于是我们又不得不重新修改 A 中对参数 c 的类型修饰。
假设,还有上层类 D 依赖了 A,用的也是同样的方式,那上层类D也要经历同样的修改。
这就是耦合所带来的问题,明明是修改底层类的一项参数,却需要修改其依赖链路上的所有文件,当应用程序的依赖关系复杂到一定程度时,很容易形成牵一发而动全身的现象,为应用程序的维护带来极大的困难。
这就是耦合。
那如何解耦呢?
控制反转
事实上,在上述例子中,真正需要参数 c 的仅仅只有 B,而 A 完全只是因为内部依赖的对象B在实例化时需要 c,才不得不定义这个参数,实际上它对 c 是什么根本不关心。
于是,可以将类所依赖对象的实例化从类本身剥离出来,比如上面的例子我们可以这样改写:
# b.ts
class B {
c: number;
constructor(c: number) {
this.c = c;
}
}
# a.ts
class A {
private b:B;
constructor(b: B) {
this.b = b;
}
}
# main.ts
const b = new B(100);
# 实例化后作为参数传入
const a = new A(b);
console.log(a); // A => { b: B { c: 100 } }
此时,A 不再接收参数 c ,而是选择直接接收其内部所依赖的对象,至于这个对象在哪里进行实例化则并不关心,这样有效解决了我们在上面遇到的问题。
当我们需要修改参数 c 时,我们仅仅只要修改 B 即可,而不需要修改 A ,这个过程中我们就实现了类与类之间的解耦。
虽然我们实现了解耦,但我们仍需要自己初始化所有的类, 比如 new B(), new A(),并以构造函数参数的形式进行传递。
那有没有一个容器能帮我们实现如下功能呢?
- 它预先注册好了我们所需对象的类定义以及初始化参数,每个对象有一个唯一的 key。
- 当需要用到某个对象时,只需要告诉容器这个对象所对应的 key,就可以直接从容器中取出实例化好的对象。
这样开发者就不用再关心对象的实例化过程,也不需要将依赖对象作为构造函数的参数在依赖链路上传递。
也就是说,我们的容器必须具备两个功能:类的注册和类的实例的获取,我们利用Map来简单实现一个容器:
# container.ts
export class Container {
bindMap = new Map();
# 实例的注册
bind(identifier: string, clazz: any, constructorArgs: Array<any>) {
this.bindMap.set(identifier, {
clazz,
constructorArgs
});
}
# 实例的获取
get<T>(identifier: string): T {
const target = this.bindMap.get(identifier);
const { clazz, constructorArgs } = target;
# Reflect.construct它的行为有点像 new 操作符,帮助我们进行对象的实例化
const instance = Reflect.construct(clazz, constructorArgs);
return instance
}
}
有了容器之后,我们就可以彻底抛弃传参实现解耦,如下所示:
# b.ts
class B {
constructor(c: number) {
this.c = c;
}
}
# a.ts
class A {
b:B;
constructor() {
# 通过容器获取依赖的对象
this.b = container.get('b');
}
}
# main.ts
const container = new Container();
# 进行注册
container.bind('a', A);
container.bind('b', B, [100]);
# 从容器中取出a
const a = container.get('a');
console.log(a); // A => { b: B { c: 100 } }
从上面代码中,你能看出什么?
本来A依赖了B,但是在a.ts文件中根本就没有看到B的身影,只有容器 container.get('b')。
这就是控制反转,本来是A控制B,但是现在是由容器来控制了。
也就是本来是A来实例化B,但是现在由容器来实例化了。
到这里为止,其实已经基本实现了控制反转IOC容器,基于容器完成了类与类的解耦。
但从代码量上看似乎并没有简洁多少,关键问题在于容器的初始化以及类的注册仍然让我们觉得繁琐,比如,我每次都要手动的执行container.bind('a', A)来完成类的注册。
如果这部分代码能被封装到框架里面,所有类的注册都能够自动进行,同时,所有类在实例化的时候可以直接拿到依赖对象的实例,而不用在构造函数中手动指定,这样就可以彻底解放开发者的双手,专注编写类内部的逻辑,而这也就是所谓的依赖注入 DI(Dependency Injection)。
依赖注入 DI
需要搞清楚的是,控制反转是一种设计模式,目的是解耦,而依赖注入是控制反转的一种技术手段。
依赖注入简单来说就是可以将依赖注入给调用方,而不需要调用方来主动获取依赖对象。
为了实现 DI,主要要解决以下两个问题:
- 需要注册到 IOC 容器中的类能够在程序启动时自动进行注册;
- 在 IOC 容器中的类实例化时可以直接拿到依赖对象的实例,而不用在构造函数中手动指定, 比如:
this.b = container.get('b');,手动指定了this.b,我希望框架自动帮我完成。
对于前端开发来说,利用 TypeScript 具备的装饰器特性,通过Reflect Metadata元数据的修饰来识别出需要进行注册以及注入的依赖,从而完成依赖的注入。
下面的代码就是对类User添加了一个元数据data,它的值为dataValue。
function TestUser() {
return function (target: any): void {
Reflect.defineMetadata('data', 'dataValue', target);
};
}
@TestUser()
class User {
name = 'lee';
}
console.log(Reflect.getMetadata('data', User)); // dataValue
对于第一个问题,我们需要在应用启动的时候自动对所有的类进行注册,问题是并不是所有的类都需要注册到容器中,我们并不清楚哪些类需要注册的,同时也不清楚需要注册的类,它的初始化参数是什么样的。
这里就可以引入元数据来解决这个问题,只要在定义的时候为这个类的元数据添加特殊的标记,就可以在扫描的时候识别出来。
按照这个思路,我们先来实现一个装饰器标记需要注册的类,这个装饰器可以命名 Provider,代表它将会作为提供者给其他类进行消费。
# provider.ts
import 'reflect-metadata'
export const CLASS_KEY = 'ioc:tagged_class';
export function Provider(identifier: string, args?: Array<any>) {
return function (target: any) {
Reflect.defineMetadata(CLASS_KEY, {
id: identifier,
args: args || []
}, target);
return target;
};
}
可以看到,这里的标记包含了 id 和 args,其中 id 是我们准备用来注册 IOC 容器的 key,而 args 则是实例初始化时需要的参数。
Provider 可以以装饰器的形式直接进行使用,使用方式如下:
// b.ts
import { Provider } from 'provider';
@Provider('b', [100])
export class B {
constructor(c: number) {
this.c = c;
}
}
标记完成后,问题又来了,如何在应用启动的时候拿到这些类的元数据呢?
比较容易想到的思路是在启动的时候对所有文件进行扫描,获取每个文件导出的类,然后根据类上定义的元数据进行注册。
简单起见,我们假设项目目录只有一级文件,实现如下:
# load.ts
import * as fs from 'fs';
import { CLASS_KEY } from './provider';
export function load(container) { # container 为全局的 IOC 容器
const list = fs.readdirSync('./');
for (const file of list) {
if (/\.ts$/.test(file)) { # 扫描 ts 文件
const exports = require(`./${file}`);
for (const m in exports) {
const module = exports[m];
if (typeof module === 'function') {
const metadata = Reflect.getMetadata(CLASS_KEY, module);
# 注册类
if (metadata) {
container.bind(metadata.id, module, metadata.args)
}
}
}
}
}
}
那么现在,我们只要在 main.ts 中运行 load.ts 即可完成项目目录下所有被修饰的类的绑定工作,值得注意的是,load 和 Container 的逻辑是完全通用的,它们完全可以被封装成包,一个简化的 IOC 框架就成型了。
# main.ts
import { Container } from './container';
import { load } from './load';
# 初始化 IOC 容器
const container = new Container();
# 扫描文件,注册需要注册的类
load(container);
console.log(container.get('a')); // A => { b: B { c: 100 } }
解决注册的问题后,现在来看上文中提到的第二个问题:如何在类初始化的时候能直接拿到它所依赖的对象的实例,而不需要在构造函数中手动指定。
其实也很简单,我们已经将所有需要注册的类都放入了 IOC 容器,那么,当我们需要用到某个类时,在获取这个类的实例时可以递归遍历类上的属性,并从 IOC 容器中取出相应的对象并进行赋值,即可完成依赖的注入。
那么,又是类似的问题,如何区分哪些属性需要注入?
同样,我们可以使用元数据来解决。
只要定义一个装饰器,以此来标记哪些属性需要注入即可,这个装饰器命名为 Inject,代表该属性需要注入依赖。
# inject.ts
import 'reflect-metadata';
export const PROPS_KEY = 'ioc:inject_props';
export function Inject() {
return function (target: any, targetKey: string) {
const annotationTarget = target.constructor;
let props = {};
if (Reflect.hasOwnMetadata(PROPS_KEY, annotationTarget)) {
props = Reflect.getMetadata(PROPS_KEY, annotationTarget);
}
props[targetKey] = {
value: targetKey
};
# 在类上添加元素数据,而不是类的原型上添加
Reflect.defineMetadata(PROPS_KEY, props, annotationTarget);
};
}
需要注意的是,这里我们虽然是对属性进行修饰,但实际中,我们把元数据是要定义在类上target.constructor,而不是类的原型上,以维护该类需要注入的属性列表,因此我们必须取 target.constructor 作为要操作的 target。
另外,为了方便起见,这里直接用了属性名(targetKey)作为从 IOC 容器中实例对应的 key。
使用的时候,用 Inject 对需要的属性进行修饰即可:
# a.ts
import { Provider } from 'provider';
@Provider('a')
export class A {
@Inject()
b: B;
}
然后,我们需要修改 IOC 容器的 get 方法,递归注入所有属性:
# container.ts
import { PROPS_KEY } from './inject';
export class Container {
bindMap = new Map();
bind(identifier: string, clazz: any, constructorArgs?: Array<any>) {
this.bindMap.set(identifier, {
clazz,
constructorArgs: constructorArgs || []
});
}
get<T>(identifier: string): T {
const target = this.bindMap.get(identifier);
const { clazz, constructorArgs } = target;
# 获取类的元数据
const props = Reflect.getMetadata(PROPS_KEY, clazz);
# 实例化类本身,不是依赖类的实例
const instance = Reflect.construct(clazz, constructorArgs);
# 递归注入所有属性所依赖的实例
for (let prop in props) {
# 依赖的类所对应的 key
const identifier = props[prop].value;
# 获取依赖的对象
inst[prop] = this.get(identifier);
}
return instance;
}
}
经过上述调整后,最终我们的业务代码成了这样:
# b.ts
# 通过provider把类注册到容器中
@Proivder('b', [100])
class B {
constructor(c: number) {
this.c = c;
}
}
# a.ts
3 通过provider把类注册到容器中
@Proivder('a')
class A {
# 通过inject把依赖的类进行标记,最后注入到装饰的属性中
@Inject()
private b:B;
}
# main.ts
const container = new Container();
load(container);
console.log(container.get('a')); // => A { b: B { c: 100 } }
可以看到,代码中不会再有手动进行实例化的情况,无论要注册多少个类,框架层都可以自动处理好一切,并在这些类实例化的时候注入需要的属性。
所有类可提供的实例都由类自身来维护,即使存在修改也不需要改动其他文件。
nestjs 就是一个 IOC 容器
我们现在再看一下nestjs中的代码:
# son.controller.ts
@Controller('son')
export class SonController {
# 下面两种写法一样
# constructor(private readonly sonService: SonService) {}
@Inject(SonService)
private readonly sonService: SonService;
@Post()
create(@Body() createSonDto: CreateSonDto) {
return this.sonService.create(createSonDto);
}
}
# son.service.ts
@Injectable()
export class SonService {
create(createSonDto: CreateSonDto) {
return 'This action adds a new son';
}
}
-
通过装饰器
Controller,Injectable把类注册到 IOC 容器中。 -
类
SonController依赖了类SonService,但是我们并没有在SonController中去new SonService(),而是使用装饰器@Inject(SonService)进行了标注,在实例化SonController类时,框架nestjs就会自动对依赖的类进行实例化,并注入到对应的属性中。
这就是nestjs框架的作用。
声明:本文内容来源于网易技术团队写的文章《如何基于 TypeScript 实现控制反转》,只是加入了自己的一些理解,之所以写这篇文章,主要是为了加深对依赖注入的理解。