如何创建排除特定类型的TypeScript工具类型？以Date为例

你原来的写法失效的核心原因是：泛型默认参数设为any时，any extends Date在TypeScript中会返回any，最终NotDate被解析为any，导致Date实例可以无报错赋值。以下是几种可行的变通方案：

方案一：针对Date的具体实现 #

通过显式包含所有基本类型，再定义一个与Date结构不兼容的对象类型，实现排除效果：

type NonDate = string | number | boolean | null | undefined | symbol | (object & { [K in keyof Date]?: never });

// 测试用例
const validString: NonDate = "2024-01-01"; // ✅ 正常
const validNumber: NonDate = 1704067200000; // ✅ 正常
const validObj: NonDate = { year: 2024, month: 1 }; // ✅ 正常
const invalidDate: NonDate = new Date(); // ❌ 报错：Type 'Date' is not assignable to type 'NonDate'

原理：object & { [K in keyof Date]?: never }要求对象不能拥有Date的任何属性（或属性类型为never），而Date实例自带Date的方法与属性，因此无法兼容该类型；同时显式覆盖所有基本类型，确保它们能正常赋值。

方案二：通用排除类型工具 #

封装成通用工具类型，支持排除任意指定类型：

// 通用排除类型工具
type ExcludeExact<T> = 
  string | number | boolean | null | undefined | symbol | 
  (object & { [K in keyof T]?: never });

// 生成排除Date的类型
type NonDate = ExcludeExact<Date>;
// 生成排除RegExp的类型
type NonRegExp = ExcludeExact<RegExp>;

方案三：函数参数场景的泛型约束 #

如果是在函数参数中需要排除类型，可直接用泛型约束实现：

function handleNonDate<T>(value: T extends Date ? never : T) {
  // 业务逻辑
}

handleNonDate("test"); // ✅ 正常
handleNonDate(new Date()); // ❌ 报错：Argument of type 'Date' is not assignable to parameter of type 'never'

这种方式无需预定义类型，直接在参数层面约束输入类型，拦截目标类型的传入。

需要注意的是，这些方案基于TypeScript的结构类型系统，如果自定义类型与目标类型结构完全一致，会被误排除，这是结构类型的固有特性。

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