TypeScript泛型函数类型与函数表达式：如何正确声明函数匹配泛型类型？

为什么两种写法存在差异？ #

函数声明语法 function doSomething<T>(t: T): void 里的 <T> 是函数自身的泛型参数——它属于这个函数的签名，调用时TypeScript会自动推断T的具体类型，作用域完全绑定到函数本身。

而你尝试的变量赋值写法 const doSomething: DoSomething<T> = ... 中，DoSomething<T> 里的 T 是在当前全局/模块作用域中查找的类型变量，但你并没有在这个作用域定义T，所以TypeScript会报错“找不到名称'T'”。核心问题是你混淆了泛型参数的作用域：DoSomething<T> 的 T 需要被某个泛型上下文包裹，不能直接裸写在变量类型里。

正确的实现方式 #

写法1：让变量成为泛型函数类型 #

直接把泛型参数绑定到变量的函数类型上，和函数声明的逻辑对齐：

type DoSomething<T> = (t: T) => void;

// 把泛型参数<T>提升到变量的类型层面
const doSomething: <T>(t: T) => void = (t) => {
  console.log(t);
};

或者复用你已经定义好的DoSomething类型，写成更简洁的形式：

const doSomething: <T>DoSomething<T> = (t) => {
  console.log(t);
};

写法2：捕获已有函数的类型（更推荐） #

如果你已经用函数声明写好了doSomething，可以直接用typeof来捕获它的类型，完全不需要手动定义DoSomething：

function doSomething<T>(t: T): void {
  console.log(t);
}

// 直接捕获函数的泛型类型
type DoSomething = typeof doSomething;

这样DoSomething就完全等价于你手动定义的泛型函数类型，后续可以直接用它来定义其他变量或复杂类型。

写法3：类型断言（不推荐，仅作备选） #

如果坚持先写函数表达式再绑定类型，可以用类型断言，但这种写法不够直观，通常不推荐：

type DoSomething<T> = (t: T) => void;

const doSomething = ((t) => {
  console.log(t);
}) as <T>DoSomething<T>;

内容的提问来源于stack exchange，提问作者Marcus Junius Brutus