TypeScript中如何关联两个函数参数类型实现类型收窄

这是TypeScript控制流分析的现有局限：当你用独立泛型参数声明两个关联参数时，在分支内判断第一个参数的字面量值，TS只会收窄第一个参数本身的类型，不会自动联动收窄泛型参数的具体类型，自然也不会把第二个映射类型的参数收窄到对应分支的具体类型，所以animal始终会被推导为Cat | Dog联合类型，调用类专属方法时就会抛出类型错误。

把两个关联参数定义为联合类型的元组，每个元组成员对应一组类型完全匹配的参数对，利用TS对可辨识联合的原生收窄能力实现自动类型推导，同时可以100%保留原有调用侧的类型校验能力，不需要额外写类型断言，类型安全完整。

实现代码 #

class Cat { purr() {/*...*/} }
class Dog { bark() {/*...*/} }
interface TypeMap {
    cat: Cat;
    dog: Dog;
}

// 遍历TypeMap生成所有合法参数对的联合类型
type SoundArgs = {
  [K in keyof TypeMap]: [commonName: K, animal: TypeMap[K]]
}[keyof TypeMap];

const makeSound = function(...[commonName, animal]: SoundArgs) {
    if(commonName === 'cat') {
        // 此处animal自动收窄为Cat类型，无类型报错
        return animal.purr();
    } else if (commonName === 'dog') {
        // 此处animal自动收窄为Dog类型，无类型报错
        return animal.bark();
    }
}

调用侧效果 #

原有调用侧的类型检查逻辑完全不受影响，传入不匹配的参数时仍然会正常抛出类型错误：

const caller = function(cat: Cat, dog: Dog) {
    makeSound<'cat'>('dog', dog); // 报错：类型"dog"无法赋值给类型"cat"，符合预期
    makeSound<'cat'>('cat', dog); // 报错：Dog类型无法赋值给Cat类型，符合预期
    makeSound<'cat'>('cat', cat); // 校验通过
    makeSound('cat', cat); // 自动推导类型，无需手动指定泛型参数，校验通过
}

如果不想调整现有参数结构，也可以在分支内手动指定animal的类型做类型断言，但这种方式会丢失部分类型安全性——后续给TypeMap新增成员、或者分支内写错类型时，TS无法主动提示错误，提升维护成本：

const makeSound = function<C extends keyof TypeMap>(
    commonName: C,
    animal: TypeMap[C],
) {
    if(commonName === 'cat') {
        return (animal as Cat).purr();
    } else if (commonName === 'dog') {
        return (animal as Dog).bark();
    }
}

提示：该方案仅适合临时快速修复场景，长期维护的业务代码优先使用可辨识联合元组的实现。

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