TypeScript泛型函数声明的参数类型被忽略推断为any如何处理？

问题原因 #

你遇到的隐式any警告并非TypeScript忽略了类型定义中的参数类型，核心原因是你在实现泛型函数时重复声明了泛型标识，相当于创建了一个独立的、未指定参数类型的新泛型函数，再赋值给对应类型的变量。TypeScript只会校验两者的类型兼容性，不会自动把父类型的参数类型推导到你手动声明的新泛型函数上。

修复方案 #

简化示例修复

两种写法都可以消除any警告：

1. 实现时不重复声明泛型，直接复用类型定义的泛型和参数约束，TypeScript会自动推导参数类型：

type GenericResult = <T>(input: number) => T
// input会自动推导为number类型，无需额外标注
export const returnWhatever: GenericResult = (input) => input as T

2. 显式标注实现函数的参数类型：

type GenericResult = <T>(input: number) => T
export const returnWhatever: GenericResult = <T>(input: number) => input as T

实际场景修复

和简化示例逻辑一致，修复后参数会获得正确的类型约束，同时不影响调用时指定返回值泛型：

1. 复用类型定义自动推导参数：

type GetOneResult = <T>(sql: string, id: number | string) => Promise<T>
// sql自动推导为string，id自动推导为number | string
const getOne: GetOneResult = async (sql, id) => {
  const { rows } = await query(sql, [id])
  return rows[0] as T
}

2. 显式标注参数类型：

type GetOneResult = <T>(sql: string, id: number | string) => Promise<T>
const getOne: GetOneResult = async <T>(sql: string, id: number | string) => {
  const { rows } = await query(sql, [id])
  return rows[0] as T
}

给固定类型参数加约束是完全合理的需求，TypeScript本身支持该能力，只需注意不要重复声明泛型导致类型推导中断即可。修复后调用getOne<User>('SELECT * FROM users WHERE id = $1;', 33)的逻辑完全不受影响，同时参数会获得正确的类型校验。

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