TypeScript中函数后的占位符<T>有何作用？

我编写了如下简单函数：

function functionName<T>(parameters: U): V {
    // Function body
}

我不理解此处为何需要<T>。仅声明参数类型U和返回类型V的如下函数是否可行？

function functionName(parameters: U): V {
    // Function body
}

解答 #

<T>是TypeScript的泛型参数，核心作用是让函数具备类型通用性，同时维持类型约束——简单说就是让一个函数能适配多种类型的输入输出，还不用丢掉类型检查的优势。

先直接给结论：第二种写法（去掉<T>）不是完全不可行，但有严格前提，且适用场景非常有限：
你必须在函数外部提前定义好U和V这两个具体类型（比如type U = string; type V = number;），而且这个函数只需要处理这一种固定的类型组合。

但如果你的函数需要适配多种类型，或者输入、返回类型之间存在依赖关系，那泛型<T>就是必不可少的。举两个实际例子：

例子1：返回输入值本身的函数

泛型写法：

function identity<T>(arg: T): T {
  return arg;
}

这里<T>相当于一个“类型占位符”，调用函数时TypeScript会自动推断出T的具体类型——比如传"hello"，T就是string，返回值也会被推断为string；传123，T就是number，返回值也是number。全程保持类型一致，还能复用同一个函数。

如果换成第二种写法：

type U = string;
type V = string;
function identity(arg: U): V {
  return arg;
}

这个函数就只能处理string类型，完全失去了通用性，要是想处理number，你得再写一个几乎一样的函数，或者用any（但那样就没了类型检查的意义）。

例子2：获取数组第一个元素的函数

泛型写法：

function getFirst<T>(arr: T[]): T {
  return arr[0];
}

不管你传string[]、number[]还是自定义对象数组，函数都能正确返回对应类型的元素，调用时IDE还能给出准确的类型提示。

如果不用泛型，你要么把数组类型固定死（比如arr: string[]），要么用any[]，返回值也只能是any，这样就没法享受TypeScript的类型安全特性了。

总结 #

• 若函数只需要处理固定的、提前定义好的类型组合，第二种写法可行；
• 若函数需要适配多种类型，或者输入输出类型有依赖关系，泛型<T>（或其他泛型参数）是必须的——它能在保证类型安全的前提下，让函数更灵活、更通用。

内容的提问来源于stack exchange，提问作者Santhosh