SAP Spartacus RouterState

定义文件的位置：src/routing/store/routing-state.ts

是一个interface：

扩展自fromNgrxRouter.

而fromNgrxRouter：

import * as fromNgrxRouter from '@ngrx/router-store';

这个文件是自动生成的：

而RouterState在NgrxRouter的state基础上，增添了一个新字段nextState：

运行时数据：

由此可见，虽然RouterState不包含navigationId字段，但是常量initialState里引入了这个RouterState并不存在的字段，TypeScript编译器也不认为这是一个语法错误。