TypeScript调用带类型守卫的工厂时如何识别精确返回类型

核心问题本质是原工厂函数没有建立入参字面量类型和返回实例类型的绑定关系，TS只能把返回值推断为Car | Plane的联合类型，自然无法根据传入的具体参数收窄类型。下面是两种生产环境常用的解决方式：

方案1：函数重载（最直观、适配简单场景） #

函数重载是TS专门为这类「不同入参对应不同返回类型」的场景设计的特性，只需要在函数实现前声明所有入参和返回值的匹配规则即可，原有业务逻辑几乎不用改动：

class Car{
    drive(){
        console.log('Driving!')
    }
}

class Plane{
    fly(){
        console.log('Flying!')
    }
}

type PossibleObjects = 'car' | 'plane';

// 重载签名：逐个声明入参和返回值的对应关系
function vehicleFactory(wantedObject: 'car'): Car;
function vehicleFactory(wantedObject: 'plane'): Plane;
// 函数实现签名，类型兼容所有重载分支即可
function vehicleFactory(wantedObject:PossibleObjects){
    if(wantedObject === 'car')return new Car()
    if(wantedObject === 'plane')return new Plane()
    return new Car()
}

// 调用时TS会自动匹配重载签名
const bmw = vehicleFactory('car') // 类型被推断为Car
bmw.drive() // 无类型报错
const airbus = vehicleFactory('plane') // 类型被推断为Plane
airbus.fly() // 无类型报错

如果工厂支持的类型数量不多（2-3个），优先用这个方案，代码可读性最高，不需要额外的类型断言。

方案2：泛型+类型映射（易扩展、适配多类型场景） #

如果后续需要持续新增工厂支持的类型，写一堆重载签名会让代码变得冗余，可以用泛型约束入参，再通过映射表类型关联返回值，后续新增类型只需要改两处：映射表加一行、函数逻辑加一个分支：

class Car{
    drive(){
        console.log('Driving!')
    }
}

class Plane{
    fly(){
        console.log('Flying!')
    }
}

// 入参字面量到对应类的映射表
type VehicleClassMap = {
  car: Car
  plane: Plane
}

// 泛型约束入参必须是映射表的key，返回值直接取映射表对应key的类型
function vehicleFactory<T extends keyof VehicleClassMap>(type: T): VehicleClassMap[T] {
  switch(type){
    case 'car':
      return new Car() as VehicleClassMap[T]
    case 'plane':
      return new Plane() as VehicleClassMap[T]
    default:
      throw new Error(`不支持的交通工具类型: ${type}`)
  }
}

// 调用效果和重载完全一致
const bmw = vehicleFactory('car') // 类型为Car
bmw.drive()

这里实现里的as类型断言是安全的：因为我们的分支逻辑已经保证了入参和返回实例的一一对应，TS在函数内部无法跨分支推断泛型的匹配关系，用断言跳过内部检查即可。

注意：原代码里兜底返回new Car()的写法并不推荐，工厂函数收到非法入参时应该直接抛出错误，避免返回不符合预期的实例隐藏bug。

内容的提问来源于stack exchange，提问作者i.brod