快捷導(dǎo)航

TypeScript實(shí)現(xiàn)類型安全的EventEmitter

更新時(shí)間：2023年03月06日 16:05:47 作者：前端西瓜哥

這篇文章主要為大家介紹了TypeScript實(shí)現(xiàn)類型安全的EventEmitter示例詳解有需要的朋友可以借鑒參考下，希望能夠有所幫助，祝大家多多進(jìn)步，早日升職加薪

正文

最近個(gè)人項(xiàng)目用 EventEmitter 模塊越來越多了，因?yàn)轭愋筒粔虬踩?，寫起來要很小心。所以打算改良一下，?shí)現(xiàn) TypeScript 類型安全的 EventEmitter，解決事件名和函數(shù)類型不能做檢驗(yàn)的問題。

Nodejs 的 EventEmitter 是一個(gè)發(fā)布訂閱模塊。

利用該類，我們可以實(shí)現(xiàn)事件的監(jiān)聽，被監(jiān)聽對(duì)象會(huì)在合適的時(shí)機(jī)觸發(fā)事件，調(diào)用監(jiān)聽對(duì)象提供的方法，是模塊間解耦的常用實(shí)現(xiàn)。

配合越來越流行的 TypeScript，我們可以通過安裝 @types/node，我們能夠進(jìn)一步獲得類型能力，減少低級(jí)錯(cuò)誤的出現(xiàn)。但 EventEmitter 的類型實(shí)現(xiàn)并不出色，稱不上是類型安全。

通常來說，不同事件對(duì)應(yīng)的響應(yīng)函數(shù)類型是不同的，但 @types/node 的 EventEmiiter 類型沒有提供高級(jí)類型，而是給一個(gè)異常寬松的值。

class EventEmitter {
  constructor(options?: EventEmitterOptions);
  // 類型過于寬泛
  on(eventName: string | symbol, listener: (...args: any[]) => void): this;
  emit(eventName: string | symbol, ...args: any[]): boolean;
  // ...其他
}

可以看到，on 方法傳入的事件名類型是 string | symbol，listener 則是隨意任何類型的一個(gè)函數(shù)即可。emit 傳入的參數(shù)也是 any[]。

因?yàn)檫^于寬松的類型，如果事件名拼錯(cuò)了，TypeScript 并不會(huì)報(bào)錯(cuò)，當(dāng)一個(gè) eventEmitter 的事件類型變得非常多，我們就和裸寫 JavaScript 沒什么區(qū)別了。

自己動(dòng)手，豐衣足食，我們不妨 自己實(shí)現(xiàn)一個(gè)類型安全的 EventEmitter。

EventEmitter 實(shí)現(xiàn)

因?yàn)槲移鋵?shí)是在前端用的 EventEmitter，所以寫了一個(gè) EventEmitter 簡(jiǎn)易 JavaScript 實(shí)現(xiàn)。

class EventEmitter {
  eventMap = {};

  // 添加對(duì)應(yīng)事件的監(jiān)聽函數(shù)
  on(eventName, listener) {
    if (!this.eventMap[eventName]) {
      this.eventMap[eventName] = [];
    }
    this.eventMap[eventName].push(listener);
    return this;
  }

  // 觸發(fā)事件
  emit(eventName, ...args) {
    const listeners = this.eventMap[eventName];
    if (!listeners || listeners.length === 0) return false;
    listeners.forEach((listener) => {
      listener(...args);
    });
    return true;
  }

  // 取消對(duì)應(yīng)事件的監(jiān)聽
  off(eventName, listener) {
    const listeners = this.eventMap[eventName];
    if (listeners && listeners.length > 0) {
      const index = listeners.indexOf(listener);
      if (index > -1) {
        listeners.splice(index, 1);
      }
    }
    return this;
  }
}

如果你是 nodejs，繼承 EventEmitter 然后改它的類型或許是更好的做法，或者可以 “基于組合而不是繼承” 的方式實(shí)現(xiàn)一個(gè)。

類型安全的 EventEmitter

接著是將上面的代碼改為 TypeScript。

我們希望的效果是：

const ee = new EventEmitter<{
  update(newVal: string, prevVal: string): void;
  destroy(): void;
}>();


const handler = (newVal: string, prevVal: string) => {
  console.log(newVal, prevVal)
}
ee.on("update", handler);
ee.emit('update', '前端西瓜哥上班前的精神狀態(tài)', '前端西瓜哥上班后的精神狀態(tài)')
ee.off("update", handler);

// 以下報(bào)錯(cuò)
// 'number' is not assignable to parameter of type 'string'
ee.emit('update', 1, 2)
// (val: number) => void' is not assignable to parameter of type '() => void
ee.on('destroy', (val: number) => {})

EventEmitter 支持接受一個(gè)對(duì)象結(jié)構(gòu)的 interface 作為類型參數(shù)，指定不同的 key 對(duì)應(yīng)的函數(shù)類型。

然后我們?cè)僬{(diào)用 on、emit、off 時(shí)，如果事件名、函數(shù)參數(shù)不匹配，編譯就不能通過。

代碼實(shí)現(xiàn)：

class EventEmitter<T extends Record<string | symbol, any>> {
  private eventMap: Record<keyof T, Array<(...args: any[]) => void>> =
    {} as any;

  // 添加對(duì)應(yīng)事件的監(jiān)聽函數(shù)
  on<K extends keyof T>(eventName: K, listener: T[K]) {
    if (!this.eventMap[eventName]) {
      this.eventMap[eventName] = [];
    }
    this.eventMap[eventName].push(listener);
    return this;
  }

  // 觸發(fā)事件
  emit<K extends keyof T>(eventName: K, ...args: Parameters<T[K]>) {
    const listeners = this.eventMap[eventName];
    if (!listeners || listeners.length === 0) return false;
    listeners.forEach((listener) => {
      listener(...args);
    });
    return true;
  }

  // 取消對(duì)應(yīng)事件的監(jiān)聽
  off<K extends keyof T>(eventName: K, listener: T[K]) {
    const listeners = this.eventMap[eventName];
    if (listeners && listeners.length > 0) {
      const index = listeners.indexOf(listener);
      if (index > -1) {
        listeners.splice(index, 1);
      }
    }
    return this;
  }
}

讀者朋友可自行拷貝上面兩段代碼到 TypeScript Playground 測(cè)試一下。

簡(jiǎn)單講解一下。

首先是開頭的類型參數(shù)。

class EventEmitter<T extends Record<string | symbol, any>> {
  //
}

這里的 extends 作用是限定類型范圍，防止提供一個(gè)不符合規(guī)則的類型參數(shù)。

Record 是 TypeScript 自帶的高級(jí)類型，根據(jù)傳入的 key 和 value 創(chuàng)建一個(gè)對(duì)象結(jié)構(gòu)（后面說到的 T 就是它）。

Record<string | symbol, any>
// 等價(jià)于
{
  [key: string | symbol]: any
}

value 本來的類型應(yīng)該是 (...args: any[]) => void，好限制為函數(shù)。但在不是非字面量類型直傳的情況下無法通過類型檢測(cè)，只好改成 any 了。（坑爹的 Index signature for type 'string' is missing 報(bào)錯(cuò)）

然后是 eventMap，它的實(shí)際內(nèi)容是這樣的：

eventMap = {
  event1: [ handler1, handler2 ],
  event2: [ handler3, handler4 ]
}

所以 key 需要為傳入對(duì)象類型參數(shù)的 key。

函數(shù)則不用指定特定類型，因?yàn)樗撬接械?，無法被類外部訪問，沒有做過多的類型推斷，就寬松一些，設(shè)置為任何函數(shù)類型。

private eventMap: Record<keyof T, Array<(...args: any[]) => void>> =
  {} as any;

這里我用了對(duì)象字面量，讀者朋友也可以考慮用 Map 數(shù)據(jù)結(jié)構(gòu)。

然后是 on 方法，首先 eventName 必須為 T 的 key 的其中之一，因?yàn)橐茢?K 這么個(gè)內(nèi)部類型變量，所以我們要在 on 后面加上 <K extends keyof T>，listener 就是對(duì)應(yīng)的 T[K]。

on<K extends keyof T>(eventName: K, listener: T[K]): this

off 方法同理，不展開講。

然后是 emit，第一個(gè) eventName 用 keyof T 沒問題，后面需要取出 handler 的參數(shù)，作為剩余參數(shù)。

emit<K extends keyof T>(eventName: K, ...args: Parameters<T[K]>): boolean

這里用了 TS 自帶的 Parameters 高級(jí)類型，作用是取出函數(shù)的參數(shù)返回一個(gè)數(shù)組類型。

臨時(shí)擴(kuò)展自定義事件

如果要給一個(gè)已經(jīng)固定了類型的實(shí)例，臨時(shí)加一個(gè)事件，可以用 & 交叉類型擴(kuò)展一下。

interface Events {
  update(newVal: string, prevVal: string): void;
  destroy(): void;
}
const ee = new EventEmitter<Events>();

// 用 & 擴(kuò)展
const ee2 = ee as EventEmitter<
  Events & {
    customA(a: boolean): void;
  }
>;
// 不報(bào)錯(cuò)
ee2.emit('customA', true)

// 或者
(ee as EventEmitter<
  Events & {
    customA(a: boolean): void;
  }
>).emit('customA', true)