generics - 如何在 Typescript 中为箭头函数创建泛型类型

Question

我尝试以最接近功能的风格编写 typescript 函数。对于简单的功能，我可以写:

type A = (value: number) => string;
const a: A = value => value.toString();

但是我可以用泛型类型做什么？我怎样才能以这种简单的方式键入以下功能？

function a<T>(value: T): T {
  return value;
}

如果我尝试简单地添加一个泛型类型，它什么也没有:

type A = <T>(value: T) => T;
const a: A = value => value; // `value` implicitly has an `any` type

有什么办法吗？

Answer 1

在您的最后一个片段中:

type A = <T>(value: T) => T;
const a: A = value => value;

你告诉编译器 a是 A 类型，但您没有将它绑定(bind)到特定的泛型类型，这就是它使用 any 的原因.

例如，您可以像这样设置泛型类型:

const a: A = (value: string) => value;

你也可以这样做:

type A<T> = (value: T) => T;
const a: A<string> = value => value;

如果你想要a再具体一点。

如果你想要a为了保持通用性，您还需要在其上声明通用约束:

const a: A = <T>(value: T) => value;