TypeScript库类型校验：如何编写表达式验证类型检查失败场景

嘿，这个问题我太有共鸣了——在TypeScript库开发里，类型安全真的容不得半点马虎！尤其是any类型偷偷溜进来的时候，简直是隐形炸弹。下面我分享两个实用的解决方案，帮你搞定这两个痛点：

一、编写表达式确保类型不是any #

TypeScript里的any兼容性极强，常规的类型检查很难发现它。我们可以利用类型系统的特性，写个简单的类型工具和表达式，强制触发编译错误当类型是any时：

方法1：利用工具类型精准识别any #

首先定义一个工具类型，用来判断某个类型是否是any：

type IsAny<T> = 0 extends (1 & T) ? true : false;

原理是：any和任何类型的交集都是any，而0 extends any是成立的；如果T不是any，1 & T就是T本身，0 extends T只有当T是number时成立，结合判断逻辑就能精准识别any。

然后写一行代码触发检查：

// 假设你要检查的变量是myVar
type MustNotBeAny = IsAny<typeof myVar> extends true ? never : unknown;
const _checkType: MustNotBeAny = true;

如果myVar的类型是any，MustNotBeAny会变成never，而true不能赋值给never，TypeScript就会抛出编译错误，完美帮你揪出隐形的any！

方法2：简化版直接检查 #

如果你不想写工具类型，也可以用一行代码快速验证：

// 当myVar是any时，这行代码会报错
const _ensureNotAny: never = (() => {
  type Check = IsAny<typeof myVar> extends true ? never : typeof myVar;
  const check: Check = myVar;
  return check;
})();

本质和方法1一致，只是把逻辑封装在了立即执行函数里，省去单独定义类型的步骤。

二、验证重载集合对合法类型的有效性 #

验证重载的有效性，核心是确保每个重载签名都能被正确识别，且实现逻辑能覆盖所有重载的输入输出。这里有两种实用方式：

方法1：编写类型测试用例 #

直接写测试代码，强制指定返回值类型，验证每个重载是否正常工作：

// 假设你的重载函数是这样的
function processInput(input: string): string;
function processInput(input: number): number;
function processInput(input: string | number): string | number {
  return typeof input === 'string' ? input.toUpperCase() : input + 1;
}

// 测试合法输入：应该通过编译
const strOutput: string = processInput("hello"); // ✅ 正确匹配string重载
const numOutput: number = processInput(42); // ✅ 正确匹配number重载

// 测试非法输入：应该触发编译错误
const boolOutput = processInput(true); // ❌ 没有boolean类型的重载，报错

这种方式直观，能直接验证重载的边界情况，确保不允许非法类型输入。

方法2：用类型工具校验重载与实现的兼容性 #

如果你想更严谨地检查重载签名是否和实现逻辑兼容，可以用类型断言来验证：

// 定义重载的类型
type ProcessString = (input: string) => string;
type ProcessNumber = (input: number) => number;
// 定义实现的类型
type ProcessImplementation = (input: string | number) => string | number;

// 检查每个重载是否能被实现兼容（即实现是否覆盖了重载的逻辑）
type IsStringOverloadValid = ProcessString extends ProcessImplementation ? true : false;
type IsNumberOverloadValid = ProcessNumber extends ProcessImplementation ? true : false;

// 触发编译检查：如果重载无效，这里会报错
const _checkStringOverload: IsStringOverloadValid = true;
const _checkNumberOverload: IsNumberOverloadValid = true;

如果某个重载的签名和实现不兼容（比如重载返回boolean但实现返回string | number），对应的IsXXXOverloadValid会变成false，赋值给true就会触发编译错误，帮你提前发现重载的问题。

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