TypeScript：无需类型转换，从非泛型类获取泛型字段值

1. 创建类型映射，关联枚举与具体类型 #

首先定义类型映射，让TypeScript能将VehicleType枚举值与对应的车辆、车辆列表类型绑定：

// 关联VehicleType枚举与对应的Vehicle子类
type VehicleTypeToClass = {
  [VehicleType.Car]: Car;
  [VehicleType.Truck]: Truck;
};

// 关联VehicleType枚举与对应的VehicleList子类
type VehicleListByType = {
  [K in VehicleType]: VehicleList<VehicleTypeToClass[K]>;
};

这个映射会自动推导为{ [VehicleType.Car]: CarList; [VehicleType.Truck]: TruckList }，因为CarList继承自VehicleList<Car>，TruckList继承自VehicleList<Truck>。

2. 实现类型安全的泛型获取方法 #

修改RentalCompanyAssets类，利用类型映射实现无需转换的泛型方法：

class RentalCompanyAssets {
  readonly cars = new CarList();
  readonly trucks = new TruckList();

  // 类型安全的泛型方法，返回值自动匹配传入的VehicleType
  getVehicleListOfType<K extends VehicleType>(type: K): VehicleListByType[K] {
    const listMap: VehicleListByType = {
      [VehicleType.Car]: this.cars,
      [VehicleType.Truck]: this.trucks,
    };
    return listMap[type];
  }
}

泛型K约束为VehicleType，返回值VehicleListByType[K]会根据K的具体值自动推断为CarList或TruckList，TypeScript能完全识别这种关联，不会出现类型不匹配错误。

3. 优化Allocator类，无需类型转换 #

修改抽象Allocator类，直接使用新的泛型方法获取类型匹配的列表：

// 抽象Allocator类，泛型约束为VehicleType枚举值
abstract class VehicleTypeAllocator<K extends VehicleType> {
  protected readonly _vehicleList: VehicleListByType[K];

  constructor(
    readonly type: K,
    readonly assets: RentalCompanyAssets,
  ) {
    // 直接获取类型匹配的列表，无需任何转换
    this._vehicleList = assets.getVehicleListOfType(type);
  }

  abstract specialProcessingAfterAllocation(): void;
}

// CarAllocator无需额外声明_vehicleList类型
class CarAllocator extends VehicleTypeAllocator<VehicleType.Car> {
  constructor(assets: RentalCompanyAssets) {
    super(VehicleType.Car, assets);
  }

  override specialProcessingAfterAllocation() {
    // 直接访问CarList专属属性，类型完全安全
    if (this._vehicleList.smallCarAvailabilityLow) {
      // this.sendAlert();
    }
  }
}

class TruckAllocator extends VehicleTypeAllocator<VehicleType.Truck> {
  constructor(assets: RentalCompanyAssets) {
    super(VehicleType.Truck, assets);
  }

  override specialProcessingAfterAllocation() {
    // 直接访问TruckList专属属性
    if (this._vehicleList.pickupCount === 0) {
      // this.restockPickups();
    }
  }
}

这里VehicleTypeAllocator的泛型K绑定了VehicleType枚举值，_vehicleList的类型会自动推导为对应的列表子类，子类可以直接访问专属属性，完全不需要类型转换或declare声明。

原方法报错原因 #

之前的泛型方法中，TypeScript无法将T extends Vehicle和传入的VehicleType参数建立可靠关联——你可以传入VehicleType.Car但指定T=Truck，导致类型不安全。通过类型映射，我们强制让枚举值和返回类型一一绑定，从根本上解决了类型关联问题。

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