如何推断 TypeScript 中泛型的子类型？

Question

我有一个带有一些参数类型的 function：

function func<T extends {field1: string}>(arg1: T) {
 // function's code
}

我有一个熟悉的泛型接口，如下所示：

interface SomeInterface<T> {
    field1: string;
}

现在我想推断接口的通用参数并将其分配给函数的返回类型：

const value1: SomeInterface<number> = {field1: "Hello"};

const res1 = func(value1);

我需要res1的类型是number 。

我需要使用什么函数签名？

function func<T extends {field1: string}>(arg1: T) : T extends ???? { // What?

Answer 1

如果类型没有被任何属性引用，那么在接口中使用泛型类型是没有意义的。

这是一个接收泛型类型并将该类型应用于其属性之一的接口：

interface SomeInterface<T> {
    field1: T;
}

另一方面，如果要创建具有通用返回类型的 function：

function func<T>(): T {
 // code
}

// function call
const res1 = func<number>();

最后，如果您希望您的 function 接收一个泛型类型作为参数并返回另一个泛型类型：

function func<T, R>(arg: T) : R {
 // code
}

// function call
const res1 = func<SomeInterface, number>(value1);