从类型参数进行打字稿类型推断

Question

我不明白为什么 Typescript 在以下涉及从类型参数推断的情况下无法正确推断类型。（这个问题与类似，但情况有所不同。答案可能相同，但我只是运气不好！）

// A base class for a dialog taking parameter of type P
// and returning result of type R.
class BaseDialog<P, R> { p: P; r: R; }

class ValueDialog extends BaseDialog<string, number> {}

// A function that shows the dialog
show<T extends BaseDialog<P, R>, P, R>(dlg: Type<T>, param: P): Promise<R> {}

注意：为了简化方法签名，我使用 Angular 的 Type:

export interface Type<T> extends Function {
  new (...args: any[]): T;
}

现在，当我调用方法show时，如下所示，无法正确推断出R类型：

show(ValueDialog, "name").then(r => console.log(r));

编译器推断：

T = ValueDialog
P = string
R = {}

由于 T 被正确推断，您认为编译器可以从 ValueDialog 的定义中推断出 P 和 R，但事实并非如此。

当然，我可以通过手动指定类型来解决这个问题，但这很难看。我也可以通过使 P 和 R 相同来修复它，但这不是我想要的功能。

如何定义 show() 以便它正确推断 R？

Answer 1

您可以使用条件类型从基本类型中提取类型 R 参数。您需要以某种方式使用 R 类型才能使其工作：

export interface Type<T> extends Function {
    new (...args: any[]): T;
}
class BaseDialog<P, R> {
    value: R //we need to use R in some  way for the parameter to make a difference
}

class ValueDialog extends BaseDialog<string, number> {}


type ExtractResult<T extends BaseDialog<any, any>> = T extends BaseDialog<any, infer R> ? R : never; 
// A function that shows the dialog
declare function show<T extends BaseDialog<P, any>, P>(dlg: Type<T>, param: P): Promise<ExtractResult<T>>;

show(ValueDialog, "name").then(r => console.log(r)); // r is now string

从类型参数进行打字稿类型推断

Typescript type inference from type parameters

type-inference

typescript