TypeScript中枚举与接口映射作函数参数时switch内类型收窄失效问题

为什么函数内部类型收窄失效，调用时却正常？ #

核心原因 #

• 调用阶段：调用func(Kind.A, {a: 'string'})这类代码时，TypeScript会根据传入的具体kind值，直接推断出泛型参数T的具体类型（比如Kind.A），此时info的类型被精确绑定到KindMap[Kind.A]，类型检查完全正常。
• 函数内部：泛型函数中的T是一个范围类型（T extends Kind表示它可以是Kind的任意子类型），TypeScript无法通过switch (kind)的分支判断，自动将泛型T收窄到具体的Kind.A。因此info的类型始终是KindMap[T]，无法和当前分支的Kind.A做关联，导致访问info.a时报错。

可行解决方案 #

方案1：使用函数重载替代泛型 #

放弃泛型，通过函数重载明确每个kind对应的info类型，函数内部的switch分支就能正常收窄类型：

export enum Kind {
    A,
    B,
    C,
}

export interface KindMap {
    [Kind.A]: { a: string }
    [Kind.B]: { b: number }
    [Kind.C]: { c: string[] }
}

// 定义重载签名
function func(kind: Kind.A, info: KindMap[Kind.A]): void;
function func(kind: Kind.B, info: KindMap[Kind.B]): void;
function func(kind: Kind.C, info: KindMap[Kind.C]): void;

// 实现函数逻辑
function func(kind: Kind, info: KindMap[Kind]) {
    switch (kind) {
        case Kind.A: {
            info.a; // 类型收窄生效，无报错
            break;
        }
        case Kind.B: {
            info.b;
            break;
        }
        case Kind.C: {
            info.c;
            break;
        }
    }
}

// 调用依然保持类型安全
func(Kind.A, { a: 'string' })
func(Kind.B, { b: 1 })
func(Kind.C, { c: ['string'] })

方案2：手动类型断言 #

在switch分支中，通过类型断言将info强制转换为对应分支的类型：

const func = <T extends Kind>(kind: T, info: KindMap[T]) => {
    switch (kind) {
        case Kind.A: {
            (info as KindMap[Kind.A]).a; // 手动断言后可正常访问
            break;
        }
    }
}

方案3：自定义类型守卫 #

创建一个类型守卫函数，明确关联kind和info的类型关系：

function isKindA(kind: Kind, info: KindMap[Kind]): info is KindMap[Kind.A] {
    return kind === Kind.A;
}

const func = <T extends Kind>(kind: T, info: KindMap[T]) => {
    if (isKindA(kind, info)) {
        info.a; // 类型守卫生效，自动收窄类型
    }
}

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