为何TypeScript编译器不允许这段看似合法的代码？

报错原因 #

这段代码报错的核心是TypeScript无法在泛型索引访问时，建立函数与输入值的类型关联：

• 当使用泛型T extends keyof FnMap时，fnMap[key]会被推断为所有函数类型的联合（Fn<number, number> | Fn<number, string> | Fn<string, number> | Fn<string, string>），而input是对应输入类型的联合（number | string）。
• TypeScript的类型检查器会认为：联合类型的函数可能和联合类型的输入不匹配（比如用接受number的函数去处理string输入），因此会抛出类型不兼容的错误，甚至把参数类型推断为never（因为不同函数的参数类型交集为空）。

虽然自动补全能正常工作（补全是基于泛型T的具体分支），但类型检查是基于泛型的整体约束，所以会出现矛盾报错。

可行解决方案 #

方案1：类型断言（快速解决） #

既然逻辑上能保证fn和input类型匹配，直接用类型断言跳过TypeScript的严格检查：

function doWork<T extends keyof FnMap>(key: T, input: FInput<FnMap[T]>): FOutput<FnMap[T]> {
  const fn = fnMap[key]
  return fn(input as never) as FOutput<FnMap[T]>
}

注意：断言要确保逻辑正确，别滥用导致运行时错误。

方案2：函数重载（类型安全最高） #

为每个FnMap的key定义重载签名，让TypeScript明确每个分支的类型对应关系：

// 重载签名：明确每个key对应的输入输出类型
function doWork(key: 'numToInt', input: number): number;
function doWork(key: 'numToStr', input: number): string;
function doWork(key: 'strToNum', input: string): number;
function doWork(key: 'strToStr', input: string): string;
// 实现签名：处理所有分支的通用逻辑
function doWork(key: keyof FnMap, input: number | string) {
  return fnMap[key](input as never)
}

这种方式类型最严谨，但如果FnMap的key很多，维护起来会比较麻烦。

方案3：重构映射类型（显性关联类型） #

重新定义FnMap，让每个key的输入输出类型显性绑定，TypeScript就能自动推断匹配关系：

// 重构类型：每个key明确输入输出
type FnMap = {
  numToInt: { input: number; output: number }
  numToStr: { input: number; output: string }
  strToNum: { input: string; output: number }
  strToStr: { input: string; output: string }
}

// 函数实现不用改，类型自动匹配
const fnMap = {
  numToInt: (x: number) => Number(x.toFixed(0)),
  numToStr: (x: number) => x.toString(10),
  strToNum: (x: string) => parseInt(x),
  strToStr: (x: string) => x.toUpperCase(),
} as const

function doWork<T extends keyof FnMap>(key: T, input: FnMap[T]['input']): FnMap[T]['output'] {
  const fn = fnMap[key]
  return fn(input) // 这里不会报错，TypeScript能正确推断
}

方案4：用satisfies约束（TS 4.9+） #

如果用TypeScript 4.9及以上版本，用satisfies替代类型注解，既保留as const的精确类型，又约束fnMap符合FnMap结构：

type Fn<I, O> = (value: I) => O
type FnMap = {
  numToInt: Fn<number, number>
  numToStr: Fn<number, string>
  strToNum: Fn<string, number>
  strToStr: Fn<string, string>
}

// satisfies确保fnMap符合FnMap类型，as const保留精确类型
const fnMap = {
  numToInt: (x: number) => Number(x.toFixed(0)),
  numToStr: (x: number) => x.toString(10),
  strToNum: (x: string) => parseInt(x),
  strToStr: (x: string) => x.toUpperCase(),
} as const satisfies FnMap

// 用内置工具类型替代自定义的FInput/FOutput
function doWork<T extends keyof FnMap>(key: T, input: Parameters<FnMap[T]>[0]): ReturnType<FnMap[T]> {
  const fn = fnMap[key]
  return fn(input) // 类型自动匹配，无需断言
}

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