TypeScript 泛型声明语法

Question

在下面的代码中，Action = Action 是什么意思？

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

Answer 1

这是该被约束到延伸的通用参数Action （即，它可以是Action或任何亚类Action ），以及它的默认值，如果未提供，是Action 。

假设你声明：

const myReduceMap : ActionReducerMap<SomeType> = ...

省略第二个泛型类型参数，这里将默认为Action 。

Answer 2

V 扩展 Action - 这意味着 V 必须是扩展 Action 的类型。

= Action -> 这意味着如果未提供类型 V，则默认值为 Action 本身。