如何在TypeScript中优雅校验值是否匹配指定类型？

最优方案：使用satisfies关键字（TypeScript 4.9+） #

这是最优雅的实现方式，完全不会生成冗余代码，且类型不匹配时错误直接定位在函数定义处：

// 直接在函数定义后添加 satisfies 约束
const tviewEventProcessor = (/* 你的函数参数与实现 */) => {
  // ...函数逻辑
} satisfies OdbEventProcessorFunc;

satisfies会校验值是否符合指定类型，但不会修改变量的自动推断类型，编译后不会留下任何额外代码，完美满足需求。

兼容旧版TypeScript的方案 #

如果你使用的TypeScript版本低于4.9，可以用以下两种方式：

方式1：直接添加类型注解 #

在定义函数时直接指定类型，错误同样会定位在定义处，无冗余代码：

const tviewEventProcessor: OdbEventProcessorFunc = (/* 你的函数参数与实现 */) => {
  // ...函数逻辑
};

方式2：无变量冗余的校验写法 #

如果函数已经定义完成，想事后校验，可使用自执行函数配合void避免未使用变量报错，编译后代码会被简化（摇树优化可彻底移除）：

const tviewEventProcessor = (/* 你的函数参数与实现 */) => {
  // ...函数逻辑
};

// 仅做类型校验，无实际执行逻辑
void ((_: OdbEventProcessorFunc) => {})(tviewEventProcessor);

方案优势 #

• 所有方案都会在OdbEventProcessorFunc定义变更时，将TS2322错误定位到tviewEventProcessor的定义处，而非调用处
• 不会生成多余的可执行代码（satisfies和类型注解编译后无残留，自执行函数可被摇树优化移除）

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