具有泛型返回类型的Typescript函数

Question

type FuncGenericReturn = <T>() => T;
const funcReturnsNumber: FuncGenericReturn = (): number => 1;

（沙盒）

获取此错误：

类型“number”不可分配给类型“T”“number”可分配给“T”类型的约束，但“T”可以用约束{}的不同子类型实例化。（2322）输入。ts（1，26）：预期类型来自此签名的返回类型。

我希望typescript能够自动推断T为数字，然后直接使用它。为什么它在抱怨？写这样的东西的正确方法是什么？谢谢

Answer 1

这种语法不适合你吗？

type FuncGenericReturn<T> = () => T;
const funcReturnsNumber: FuncGenericReturn<number> = () => 1;

Answer 2

重要的是要注意泛型类型参数在哪里声明以及它们的作用域。类型

type FuncGenericReturn = <T>() => T;

是指泛型函数的具体类型<代码>

declare const funcGenericReturn: FuncGenericReturn;

那么你应该可以这样称呼它：

const someNumber: number = funcGenericReturn<number>(); 
const someString: string = funcGenericReturn<string>();

但是当然在运行时，它们都将编译为

const someNumber = funcGenericReturn();
const someString = funcGenericReturn();

这意味着funcGenericReturn（）只需在运行时“知道”它应该首先返回一个数字，然后返回一个字符串，基于生成JavaScript之前删除的类型信息。因此，正确实现FuncGenericReturn需要神奇的先见之明。

重申：当您有一个泛型函数时，泛型类型参数由调用方指定，而不是由实现者指定。的确，有时编译器会推断这些类型参数，这样编写代码的人就不必把它拼出来，但同样，这些推断是在调用时发生的。对同一泛型函数的两个不同调用可能最终会有两个不同的类型参数选择。

让我们将其与不同但相关的类型定义进行比较：

type FuncConcreteReturn<T> = () => T;

这里，FuncConcreteReturn是指具体函数的泛型类型。更准确地说，funccretereturn实际上不是一种类型；它更像是一个类型运算符，它接受输入类型T，并生成输出类型=

对于任何特定类型T，类型FuncConcreteBack

const funcReturnsNumber: FuncConcreteReturn<number> = () => 1;
const funcReturnsString: FuncConcreteReturn<string> = () => "";

同样，funcReturnsNumber不是泛型函数。它是一个始终返回数字的具体函数。和返回

顺便说一句，泛型函数类型之间的关系

type G = <T, U>(t: T, u: U) => [T, U]

和泛型类型，如

type H<T, U> = (t: T, u: U) => [T, U]

前者的任何实例都将是后者的实例，但反之亦然。这意味着，如果您确实有一个FuncGenericReturn，则可以将其分配给类型为FuncConcreteReturn的值

const fn: FuncConcreteReturn<number> = funcGenericReturn; // okay
const fs: FuncConcreteReturn<string> = funcGenericReturn; // okay

或者，对于上面的G和H类型，您可以这样做：

const g: G = <T, U>(t: T, u: U) => [t, u];
g("a", 1); // okay
g(1, "a"); // okay

const h1: H<string, number> = g; // okay
h1("a", 1); // okay
h1(1, "a"); // error

const h2: H<number, string> = g; // okay
h2(1, "a"); // okay
h2("a", 1); // error

好的，我希望这能让你们理解泛型函数和泛型类型之间的区别。祝你好运

游乐场链接到代码