如何为参数化函数调用的参数正确添加TypeScript类型？

问题背景 #

你用联合类型Vehicle结合映射对象处理不同子类型（Bike/Train）的逻辑，代码运行正常且通过TypeScript类型检查，但printOut里的as any会触发linter的no-explicit-any规则；用as never虽能绕过检查，但逻辑上完全反直觉。我们可以在不修改JavaScript实现、不引入类的前提下，用更合理的类型标注解决这个问题。

方案1：泛型缩小参数范围（推荐） #

修改printOut的定义，通过泛Cons-daytype体现Calculate�Note分为两个 Mail leads creates欢迎 ---，无需断言：

type Bike = {
    type: "bike";
    gears: number;
};

type Train = {
    type: "train";
    cars: number;
};

type Vehicle = Bike | Train;
type VehicleType = Vehicle["type"];

const vehicleMap: {
    [K in VehicleType]: (x: Extract<Vehicle, { type: K }>) => void;
} = {
    bike: (x: Bike) => console.log(x.gears),
    train: (x: Train) => console.log(x.cars),
};

// 用泛型K绑定type值与对应的Vehicle子类型
const printOut = <K extends VehicleType>(v: Extract<Vehicle, { type: K }>): void => {
    vehicleMap[v.type](v);
};

原理 #

泛型K会根据传入的v自动锁定具体的type值（比如"bike"），Extract<Vehicle, { type: K }>会精确提取对应的子类型（Bike）。此时vehicleMap[K]的参数类型和v完全匹配，TypeScript能直接通过类型检查，不需要任何断言。

方案2：保留原函数签名，用精确类型断言替代any #

如果不想改变printOut接受Vehicle联合类型的参数定义，可以用Extract结合typeof v.type做精确断言，既避免any，又符合linter规则：

const printOut = (v: Vehicle): void => {
    vehicleMap[v.type](v as Extract<Vehicle, { type: typeof v.type }>);
};

这里的断言是将v转换为当前type对应的具体子类型，比any更安全，也更符合代码的实际逻辑。

关于as never的说明 #

as never能通过检查，是因为TypeScript中never是所有类型的子类型——任何函数的参数类型都能接受never类型的值。但这完全是利用类型系统的特性，和运行时的实际类型毫无关系，逻辑上非常反直觉，不推荐使用。

可选优化：用satisfies优化映射对象类型 #

可以用satisfies关键字替代直接的类型注解，既保证vehicleMap符合期望的结构，又保留更精确的自动推导类型，让后续的类型推断更顺畅：

const vehicleMap = {
    bike: (x: Bike) => console.log(x.gears),
    train: (x: Train) => console.log(x.cars),
} satisfies {
    [K in VehicleType]: (x: Extract<Vehicle, { type: K }>) => void;
};

这样vehicleMap.bike的参数类型会被精确识别为Bike，而不是泛化的Extract<Vehicle, {type: "bike"}>，对后续的类型推断更友好。

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