TypeScript联合元组类型的泛型条件约束与类型推断问题

核心认知确认 #

你关于TypeScript不支持根据其他泛型参数的类型动态决定某个泛型参数是否可选的认知是正确的，目前TS仅支持通过预设默认值的方式定义可选泛型参数，无法实现基于其他参数类型的动态必填规则。

原有方案的问题 #

你采用元组联合作为泛型参数的方案存在两个固有缺陷：

• 类型推断时TS无法自动将infer N约束为Network类型，需要额外加一层类型判断
• VSCode的类型补全逻辑不会识别未输入完成的元组前缀，因此不会主动提示可选的元组值，使用体验差

最优实现方案 #

推荐直接使用可辨识联合类型实现需求，无需使用泛型，类型补全和校验体验最好，完全符合你提出的所有规则：

type Tool = 'network_query' | 'cluster'
type Network = 'one' | 'two' | 'three'

class QueryOneParams { a!: string }
class QueryTwoParams { b!: string }
class QueryThreeParams { c!: string }
class ClusterParams { d!: string }

const queryParamsLookup = {
    'one': QueryOneParams,
    'two': QueryTwoParams,
    'three': QueryThreeParams
} as const

// 自动生成network_query对应所有场景的联合类型
type NetworkQueryJob = {
    [N in keyof typeof queryParamsLookup]: {
        id: string
        tool: 'network_query'
        network: N
        params: InstanceType<typeof queryParamsLookup[N]>
    }
}[keyof typeof queryParamsLookup]

// 定义cluster场景的类型
type ClusterJob = {
    id: string
    tool: 'cluster'
    params: ClusterParams
}

// 总Job类型
type Job = NetworkQueryJob | ClusterJob

使用效果 #

• 输入const job: Job = {id: '1', tool: 时，会自动提示cluster和network_query两个可选值
• 选择tool: 'network_query'后，会自动提示需要补全network字段，可选值自动提示one/two/three，选中对应值后params自动匹配对应的参数类型
• 选择tool: 'cluster'后，不会出现network字段的补全提示，也不允许传入该字段，完全规避非法类型

泛型兼容方案 #

如果你的场景必须使用泛型写法，可以通过泛型默认值+条件类型实现：

type JobParams<T extends Tool, N extends Network = never> = 
    T extends 'network_query'
        ? N extends Network ? InstanceType<typeof queryParamsLookup[N]> : never
        : N extends never ? ClusterParams : never

type Job<T extends Tool, N extends Network = never> = {
    id: string
    params: JobParams<T, N>
}

校验效果 #

• JobParams<'network_query', 'one'> 正确解析为QueryOneParams
• JobParams<'cluster'> 正确解析为ClusterParams
• JobParams<'cluster', 'one'> 返回never类型，使用时会直接抛出类型错误

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