在 TypeScript 中推断接口类型参数

Question

让我们有以下代码：

interface Action {
  type: string;
}

interface ActionA extends Action {
  type: 'A';
  payload: number;
}

interface ActionB extends Action {
  type: 'B';
  payload: string;
}

interface Processor<T extends Action> {
  action: T;
  process: (action: T) => void;
}

// usage

const actionA: ActionA = { type: 'A', payload: 42 };

const processorA: Processor<ActionA> = {
  action: actionA,
  process(action) {
    // ...
  },
};

现在我认为在const processorA: Processor<ActionA> = ... 中指定类型参数ActionA 是多余的，因为它可以从action: ActionA 中推断出来。不幸的是，如果我只写 const processorA: Processor = ...，Typescript 会报告错误。

是否可以改进接口以便推断Processor 的类型参数？

高级版：

我还希望 action 字段的类型为 T | '*'。在这种情况下，process(action) 的 action 参数应该是 Action 类型（或者在最坏的情况下只是 any）。这可以与上述类型参数推断一起使用吗？

Answer 1

打字稿无法推断变量类型的一部分。对于变量推断是全有或全无，您要么让编译器推断它，要么在类型注释中指定它。

您可以使用函数来推断动作的类型：

function createProcessor<T extends Action>(p: Processor<T>) {
    return p
}
const processorA = createProcessor({
  action: actionA,
  process(action) {
    // ...
  },
});

或者您可以使用 IIFE 作为一种花哨的类型断言：

const processorA = (<T extends Action>(p: Processor<T>) => p)({
  action: actionA,
  process(action) {
    // ...
  },
});