TypeScript 字典中的类型推断

Question

想象一个对汽车商店建模的虚构示例：

type Vehicle<TClass extends string, TSpecs> = {
    class: TClass,
    specs: TSpecs
}

type Truck =     Vehicle<'truck',      { horsePower: number, maxLoad: number }>
type MotorBike = Vehicle<'motor-bike', { maxSpeed: number }>
type Boat =      Vehicle<'boat',       { name: string, type: 'fishing' | 'cargo' }>

type SalesCatalog<TClasses extends string> = {
    [vehicleClass in TClasses]: Vehicle<vehicleClass, any>[]
}

我可以通过以下方式创建示例商店：

let localStore: SalesCatalog<'truck' | 'boat'> = {
    boat: [
        { class: "boat", specs: { name: 'Gunnar', type: 'fishing' } },
        { class: "boat", specs: { name: 'Titanic', type: 'cargo' } }
    ],
    truck: [
        { class: 'truck', specs: { horsePower: 300, maxLoad: 5000 } }
    ]
}

我从 TypeScript 中获得两个好处：

• 联合类型'truck' | 'boat' 'truck' | 'boat'确保localStore必须包含两个键
• 字典的键与包含的值对齐。 所以前。 关键boat下只允许使用class: "boat"对象。

但是， specs属性仍然是any类型，我找不到一种方法来告诉 TypeScript， boat类推断{ name: string, type: 'fishing' | 'cargo' }的有效负载。 { name: string, type: 'fishing' | 'cargo' }在SalesCatalog 。 理想情况下，我想通过以下方式声明 SalesCatalog

let localStore: SalesCatalog<Truck|Boat> = ...

但这不起作用。 所以我的问题是：这可能吗..？

Answer 1

如果不使用具体的类，就无法判断哪个规范属于哪个类，因此您能做的最好的事情就是使用它们：

type SalesCatalog<T extends Truck|MotorBike|Boat> = {
  [vehicleClass in T['class']]:  (T&{class:vehicleClass})[]
}

有了这个，您可以使用SalesCatalog<Truck|Boat>并对规格进行适当的类型检查