打字稿：在泛型类型约束中推断泛型类型

Question

我有一个通用接口，它接受一个必须扩展另一个通用类型的类型参数。 例如 ：

export interface IPoint<TX, TY>
{
    x: TX;
    y: TY;
}

export interface ISeries<TPoint extends IPoint>
{
    points: Array<TPoint>;
}

在这里，我必须为IPoint指定TX和TY。

我的问题是：有没有办法自动推断这些类型，例如像这样？

export interface ISeries<TPoint extends IPoint<infer TX, infer TY>>
{
    points: Array<TPoint>;
}

我现在发现的唯一方法是添加TX和TY作为ISeries的类型参数，但这很不切实际，因为每次使用接口时我都必须指定这三种类型.

我也可以使用IPoint<any, any>，但是我丢失了关于x 和y 的真实类型的信息。

编辑：为了澄清我想要实现的目标，让我们考虑以下示例：

export interface ISeries<TPoint extends IPoint<infer TX, infer TY>>
{
    points: Array<TPoint>;
    transformYValues?: (yValue: TY) => number;
}

在这里我需要TY来强类型transformYValues。

谢谢你的帮助

Answer 1

考虑这个例子：

export interface Point<X, Y> {
  x: X;
  y: Y;
}

type Values = string | number

export interface Series<Points extends Point<Values, Values>[]> {
  points: Points;
  transformYValues: (yValue: Points[number]['y']) => number;
}

const inference = <
  X extends Values,
  Y extends Values,
  Points extends Point<X, Y>[]
>(data: Series<[...Points]>) => void 0


inference({
  points: [{ x: 1, y: 2 }, { x: 1, y: 9 }],
  transformYValues: (arg) => {
    arg // 2 | 9
    return 42
  }
})

PLayground

我添加了 Values 类型作为允许的 x 和 y 数据类型的约束。

另外，我添加了一个函数inference，因为类型推断适用于通用条件类型和函数参数。

要推断文字类型x:1 y:2，我使用了variadic tuple types，请参阅[...Points]