为何TypeScript在泛型联合类型函数中无法正确推断类型？

你的核心问题在于原泛型定义过于宽泛（允许任意函数名参数），且实现分支中TypeScript无法自动推断data的具体类型，同时返回类型存在不匹配风险。以下是无需类型断言的稳健解决方案：

解决方案代码 #

1. 精准定义连接器与工具类型 #

// 定义单个连接器类型
type ConnectorA = {
  slug: 'whatsapp'
  createClient: (id: number) => number
  updateClient: (id: number) => number
}

type ConnectorB = {
  slug: 'messenger'
  createClient: (id: string) => string
  updateClient: (id: string) => string
}

// 联合所有连接器类型
type AllConnectorTypes = ConnectorA | ConnectorB

// 提取所有slug类型
type AllConnectorSlugs = AllConnectorTypes['slug']

// 针对createClient的参数/返回类型工具
type CreateClientParams<T extends AllConnectorSlugs> = 
  Extract<AllConnectorTypes, { slug: T }>['createClient'] extends (arg: infer P) => any ? P : never
type CreateClientReturn<T extends AllConnectorSlugs> = 
  Extract<AllConnectorTypes, { slug: T }>['createClient'] extends () => infer R ? R : never

2. 实现类型安全的管理器 #

// 管理器类型：精准约束createClient方法
type ConnectorManager = {
  createClient<T extends AllConnectorSlugs>(
    connectorSlug: T,
    data: CreateClientParams<T>
  ): CreateClientReturn<T>
}

// 存储连接器的实际实现逻辑（与类型一一对应）
const connectorImplementations: Record<AllConnectorSlugs, Pick<AllConnectorTypes, 'createClient'>> = {
  whatsapp: {
    createClient: (id: number) => id // 替换为实际客户端创建逻辑
  },
  messenger: {
    createClient: (id: string) => id // 替换为实际客户端创建逻辑
  }
}

// 管理器实现：完全类型安全，无需断言
const manager: ConnectorManager = {
  createClient(connectorSlug, data) {
    return connectorImplementations[connectorSlug].createClient(data)
  }
}

// 类型验证测试
const whatsappClient = manager.createClient('whatsapp', 123) // 类型为number
const messengerClient = manager.createClient('messenger', 'abc') // 类型为string
// @ts-expect-error 参数类型不匹配，TypeScript会自动报错
manager.createClient('whatsapp', 'abc')

方案优势 #

1. 精准类型约束：去掉了不必要的泛型参数C，让TypeScript能直接通过slug推断参数和返回类型。
2. 无断言实现：通过连接器映射表存储实际逻辑，TypeScript会自动关联slug对应的函数类型，无需手动分支断言。
3. 可扩展性：新增连接器只需在类型定义和映射表中添加对应项即可，无需修改管理器核心逻辑。

扩展支持多方法（如updateClient） #

如果需要让管理器支持多个连接器方法，可以进一步抽象为通用类型：

// 提取所有连接器方法名
type ConnectorMethodNames = Exclude<keyof AllConnectorTypes, 'slug'>

// 通用方法参数/返回类型工具
type MethodParams<T extends AllConnectorSlugs, M extends ConnectorMethodNames> = 
  Extract<AllConnectorTypes, { slug: T }>[M] extends (arg: infer P) => any ? P : never
type MethodReturn<T extends AllConnectorSlugs, M extends ConnectorMethodNames> = 
  Extract<AllConnectorTypes, { slug: T }>[M] extends () => infer R ? R : never

// 通用管理器类型
type GenericConnectorManager = {
  [M in ConnectorMethodNames]: <T extends AllConnectorSlugs>(
    connectorSlug: T,
    data: MethodParams<T, M>
  ) => MethodReturn<T, M>
}

// 扩展映射表到所有方法
const fullConnectorImplementations: Record<AllConnectorSlugs, Omit<AllConnectorTypes, 'slug'>> = {
  whatsapp: {
    createClient: (id: number) => id,
    updateClient: (id: number) => id + 1
  },
  messenger: {
    createClient: (id: string) => id.toUpperCase(),
    updateClient: (id: string) => id + '_updated'
  }
}

// 实现通用管理器
const genericManager: GenericConnectorManager = {
  createClient: (connectorSlug, data) => fullConnectorImplementations[connectorSlug].createClient(data),
  updateClient: (connectorSlug, data) => fullConnectorImplementations[connectorSlug].updateClient(data)
}

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