TypeScript可辨识联合类型映射表调用时报never类型错误的咨询

这是TypeScript当前版本对关联类型与动态索引匹配的已知推导限制，并非你的类型设计逻辑存在问题。

当你直接用applicable.type（类型为联合字面量'truncate' | 'append'）作为索引访问applicableMap时，TypeScript会把所有索引命中的函数签名做交叉合并：
((base: string, applicable: Truncate) => string) & ((base: string, applicable: Append) => string)
要让入参同时满足这个交叉签名，参数必须同时是Truncate和Append类型，自然会被推导为never，最终触发你看到的参数不兼容报错。这种跨索引值和入参的一一对应关系，TypeScript没法在直接动态索引的场景下自动完成关联对齐。

你不需要修改原有applicableMap的类型定义，完全可以保留两个核心特性：

• 新增联合类型成员时，映射表会自动触发缺项的穷举检查
• 映射表每个键对应的函数内部，依然能精确推导applicable参数为对应联合成员的类型

只需要对apply函数做调整即可，常用的实现有两种：

方案1：用泛型建立类型关联 #

给apply函数添加泛型约束，把入参的类型和它的type属性做显式绑定：

function apply<K extends Applicable['type']>(
  s: string,
  applicable: Extract<Applicable, { type: K }>
): string {
  return applicableMap[applicable.type](s, applicable);
}

传入具体的applicable值时，TypeScript会自动把泛型K收窄为当前入参对应的type字面量，此时取到的映射函数签名会和当前入参的类型完全匹配，不会再生成交叉的never类型。

方案2：通过分支逻辑完成类型收窄 #

如果不想引入额外的泛型，也可以在函数内通过switch分支对applicable.type做显式判断，让TypeScript在每个分支里完成自动类型收窄：

function apply(s: string, applicable: Applicable): string {
  switch (applicable.type) {
    case 'truncate':
      return applicableMap.truncate(s, applicable);
    case 'append':
      return applicableMap.append(s, applicable);
  }
}

这种方式同样保留完整的类型安全能力：当你新增联合类型成员却忘了在映射表补充对应实现、或者忘了在switch分支添加处理逻辑时，TypeScript的穷举检查都会直接抛出类型报错，和你原来的预期完全一致。

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