TypeScript如何实现元素无交集的数组参数函数？

问题背景 #

你需要实现一个TypeScript函数，接收两个字符串数组作为参数，要求第二个数组的元素不能出现在第一个数组中。尝试用Exclude<string, T>实现类似StringExcept<T>的类型时失败，因为Exclude<string, 'abc'>仍返回string，无法限制特定字面量。目前TypeScript暂不支持直接定义排除特定字符串字面量的string子类型，相关实验特性PR已关闭。

可行实现方案 #

无需依赖StringExcept类型，可通过泛型约束+条件类型实现编译时检查，结合运行时检查增强可靠性。

方案1：编译时类型约束 #

通过自定义条件类型，强制第二个数组的元素与第一个数组无交集：

// 判断两个类型是否无交集，有交集则返回never，否则返回原类型
type IsDisjoint<T, K> = [Extract<K, T>] extends [never] ? K : never;

function doSomething<
  const T extends string,
  const K extends IsDisjoint<T, K>
>(
  firstArray: T[],
  secondArray: K[]
) {}

// 测试用例
doSomething(['a', 'b'], ['c', 'd']); // 正常通过
doSomething(['a', 'b'], ['c', 'b']); // 编译时报错：类型'"b"'不满足约束'IsDisjoint<"a" | "b", "c" | "b">'

原理：Extract<K, T>会提取同时存在于K和T中的类型，如果结果不是never，说明两个数组有重叠元素，此时IsDisjoint返回never，导致K的泛型约束不满足，触发编译错误。

方案2：编译时+运行时双重检查 #

如果需要兼容动态生成的数组（无法通过const断言推断字面量类型），可结合运行时校验：

function doSomething<
  const T extends string,
  K extends string
>(
  firstArray: readonly T[],
  secondArray: readonly K[]
): asserts secondArray is Exclude<K, T>[] {
  // 运行时检查重叠元素
  const invalidItems = secondArray.filter(item => firstArray.includes(item));
  if (invalidItems.length > 0) {
    throw new Error(`第二个数组包含不允许的元素：${invalidItems.join(', ')}`);
  }
}

// 测试用例
doSomething(['a', 'b'], ['c', 'd']); // 正常执行
doSomething(['a', 'b'], ['c', 'b']); // 运行时抛出错误，同时编译时也会提示类型不匹配（开启strict模式）

说明：asserts关键字用于告诉TypeScript，函数执行后secondArray的类型会被缩小为Exclude<K, T>[]，结合运行时检查，既能在编译时提示错误，也能在运行时拦截非法输入。

关于StringExcept类型的说明 #

目前TypeScript确实不支持直接定义排除特定字符串字面量的string子类型，因为string是开放的无限集合，TypeScript无法枚举所有可能的字符串来排除特定值。相关实验特性已被关闭，暂无官方支持方案。

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