TypeScript通过参数条件类型推断函数返回类型报错

在TypeScript开发中通过条件类型实现函数返回类型自动推断，预期规则：

• 传入参数类型继承自AudioConfig<T>时，返回类型为Audio<T>
• 传入参数类型继承自VideoConfig<T>时，返回类型为Video<T>
• 两类均不匹配时返回never类型

初始实现代码：

interface Audio<T extends string> {}
interface Video<T extends string> {}

type AudioConfig<T extends string> = {
    type: 'Audio'
}
type VideoConfig<T extends string> = {
    type: 'Video'
}

type Params<T extends string> =
    | AudioConfig<T>
    | VideoConfig<T>

type Configuration<T extends string, P extends Params<T>> =
    P extends AudioConfig<T> ? Audio<T> :
    P extends VideoConfig<T> ? Video<T> :
    never

type InitConfigurationFn = <T extends string, P extends Params<T>>(params: P) => Configuration<T, P>

const initConfiguration: InitConfigurationFn = (params) => {
    switch (params.type) {
        case 'Audio':
            return { type: 'Audio' }
        case 'Video':
            return { type: 'Video' }
    }
}

initConfiguration函数抛出TS2322类型错误：

Type '<T extends string, P extends Params>(params: P) => { type: string; }' is not assignable to type 'InitConfigurationFn'.
Type '{ type: string; }' is not assignable to type 'Configuration<T, P>'.(2322)

• TypeScript不会在泛型函数内部通过控制流收窄泛型参数本身，条件类型Configuration<T, P>属于依赖泛型的类型，编译器无法自动将分支返回值和条件类型的分支做匹配。
• 分支返回的{ type: 'Audio' }/{ type: 'Video' }被推导为{type: string}类型，和空接口Audio<T>、Video<T>的结构没有显式关联，编译器无法确认其符合返回类型要求。
• 定义的泛型参数T在AudioConfig、VideoConfig类型中没有被实际使用，属于冗余泛型，会干扰类型推导流程。
• switch分支未覆盖所有返回路径，存在隐式返回undefined的问题。

方案1：使用函数重载（推荐，类型安全无冗余断言） #

去掉冗余的未使用泛型，通过重载签名明确不同入参对应的返回类型：

// 给泛型加默认值方便后续扩展
interface Audio<T extends string = string> {}
interface Video<T extends string = string> {}

type AudioConfig<T extends string = string> = {
    type: 'Audio'
}
type VideoConfig<T extends string = string> = {
    type: 'Video'
}

// 重载签名
function initConfiguration<T extends string>(params: AudioConfig<T>): Audio<T>
function initConfiguration<T extends string>(params: VideoConfig<T>): Video<T>
// 实现签名
function initConfiguration(params: AudioConfig | VideoConfig): Audio | Video {
    switch (params.type) {
        case 'Audio':
            // 若后续Audio接口新增字段，在此处填充对应属性即可
            return {}
        case 'Video':
            return {}
        default:
            throw new Error('Invalid configuration type')
    }
}

方案2：保留原条件类型结构，添加类型断言 #

如果需要保留原有泛型条件类型的写法，可在分支返回时通过类型断言明确类型，同时补全分支逻辑：

interface Audio<T extends string> {}
interface Video<T extends string> {}

type AudioConfig<T extends string> = {
    type: 'Audio'
    value: T // 实际消费泛型T，避免冗余
}
type VideoConfig<T extends string> = {
    type: 'Video'
    value: T
}

type Params<T extends string> =
    | AudioConfig<T>
    | VideoConfig<T>

type Configuration<T extends string, P extends Params<T>> =
    P extends AudioConfig<T> ? Audio<T> :
    P extends VideoConfig<T> ? Video<T> :
    never

type InitConfigurationFn = <T extends string, P extends Params<T>>(params: P) => Configuration<T, P>

const initConfiguration: InitConfigurationFn = <T extends string, P extends Params<T>>(params: P) => {
    switch (params.type) {
        case 'Audio':
            return {} as Audio<T>
        case 'Video':
            return {} as Video<T>
        default:
            throw new Error('Invalid configuration type')
    }
}

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