看個具體的例子：

InjectionToken 建構函式，需要傳一個型別引數進去。

這個 ActionReducerMap 的定義很講究：

export declare type ActionReducerMap<T, V extends Action = Action> = {
    [p in keyof T]: ActionReducer<T[p], V>;
};

使用這個型別時，需要傳入兩個型別引數 T 和 V，其中 V 的預設值就是 Action.

ActionReducerMap 描述了一個物件，其欄位名必須是 State 欄位的其中之一，該欄位的型別為 ActionReducer<T[p],V>

我們看，State 型別的欄位名稱正好為 ROUTING_FEATURE 即 'router'：

即下圖紅色高亮區域：

那麼 router 的型別呢？
必須為 ActionReducer<State[p],V>

State[p] = State['router'] 即我們自定義的 RouterState

也就是說，ActionReducer 現在第一個型別引數即 T，變成了 RouterState.

ActionReducer =
{
函式
}

括號裡是一個函式，輸入引數有兩個：

• state：型別為 RouterState
• action：引數為 Action

返回引數型別為 RouterState

正好和我們應用程式碼裡定義的一致：

使用 injection Token 的場合

每當你要注入的型別無法確定（沒有執行時表示形式）時，例如在注入介面、可呼叫型別、陣列或引數化型別時，都應使用 InjectionToken.

Token 建構函式裡的型別引數 T:

InjectionToken 在 T 上的引數化版本，T 是 Injector 返回的物件的型別。這提供了更高級別的型別安全性。

下面是 Injection Token 建立的幾種方法。

方法1

const BASE_URL = new InjectionToken<string>('BaseUrl');
const injector =
    Injector.create({providers: [{provide: BASE_URL, useValue: 'http://localhost'}]});
const url = injector.get(BASE_URL);
// here `url` is inferred to be `string` because `BASE_URL` is `InjectionToken<string>`.
expect(url).toBe('http://localhost');
 

方法2：建立可以搖樹優化的 injection token

class MyService {
  constructor(readonly myDep: MyDep) {}
}

const MY_SERVICE_TOKEN = new InjectionToken<MyService>('Manually constructed MyService', {
  providedIn: 'root',
  factory: () => new MyService(inject(MyDep)),
});

const instance = injector.get(MY_SERVICE_TOKEN);
expect(instance instanceof MyService).toBeTruthy();
expect(instance.myDep instanceof MyDep).toBeTruthy();

看一個 Spartacus 例子：

routing.module.ts 裡提供了 reducerToken 和 reducerToken providers 的實現：採取 factory 實現：

reducerProvider 裡維護了 reducerToken 和如何 provide 其的 factory，reducerProvider 什麼時候被引用呢？

答案是配置在了 RoutingModule 裡：

最後我通過下列程式碼拿到 token 對應的執行時例項：

constructor(_injector: Injector){
    const jerry = _injector.get(reducerToken);
    console.log('Jerry token: ', jerry);
  }

就是一個 reducer 函式：

這個函式定義如下：

更多Jerry的原創文章，盡在："汪子熙":