如何通过Switch语句缩小TypeScript泛型类Token的类型（无需断言）

问题分析 #

你的代码中，testing函数接收的Token<TokenType>是单一泛型类型（泛型参数是整个TokenType联合），而非Token<"A"> | Token<"B"> | Token<"C">这种由具体子类型组成的联合。TypeScript无法对单一泛型类型的属性做进一步的类型收窄，所以即使判断了token.type === "A"，也无法自动推断出token是Token<"A">。

解决方案 #

无需使用as或谓词函数，只需调整函数参数的类型为泛型联合分布类型，就能让TypeScript通过switch语句自动完成类型收窄，同时适配TokenType包含大量选项的场景。

步骤1：生成Token子类型联合 #

通过映射类型自动生成TokenType每个成员对应的Token子类型联合，后续TokenType扩展时这个联合会自动更新：

type TokenUnion = { [K in TokenType]: Token<K> }[TokenType];

这个类型等价于手动写Token<"A"> | Token<"B"> | Token<"C">，但维护成本更低。

步骤2：修改函数参数类型 #

将testing函数的参数类型从Token<TokenType>替换为TokenUnion：

function testing(token: TokenUnion) {
    switch (token.type) {
        case "A":
            token;
            // ^? (parameter) token: Token<"A">
            handleTypeA(token); // 不再报错
            break;
        case "B":
            // 此处token自动收窄为Token<"B">
            break;
        case "C":
            // 此处token自动收窄为Token<"C">
            break;
    }
}

原理 #

当参数是联合类型时，TypeScript的控制流分析会根据switch中对type属性的匹配，自动将变量类型收窄为联合中对应的子类型。这种方式完全依赖TypeScript原生的类型推导，不需要额外的类型断言或自定义类型守卫，同时能轻松适配TokenType新增成员的场景。

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