能否通过单个类型谓词实现多变量的TypeScript类型推断？

问题背景 #

你希望避免重复调用isSet(A) && isSet(B)这类类型谓词，尝试通过检查数组[A,B]是否为Set<unknown>[]来简化代码，但发现原变量A和B无法被TypeScript正确推断为Set类型，只能通过临时变量解构的方式生效，希望找到更简洁的方案。

核心原因 #

TypeScript的数组类型守卫（比如array is Set<unknown>[]）只会对数组本身的类型进行断言，不会自动将数组元素的类型反向推导到原变量A和B上。原变量的类型依然受外部作用域的类型约束，所以在if块内无法识别它们是Set类型。

解决方案：使用元组类型的类型谓词 #

针对固定数量的变量（比如两个），可以定义一个专门的元组类型守卫，让TypeScript能够精准推断每个元素的类型：

1. 定义元组类型守卫 #

function isSetPair<T, U>(pair: [T, U]): pair is [Set<unknown>, Set<unknown>] {
  return isSet(pair[0]) && isSet(pair[1]);
}

2. 使用方式 #

if (isSetPair([A, B])) {
  // 此处A和B会被正确推断为Set<unknown>
  return isSuperSet([...A], [...B]);
}

这种方式直接针对二元组做类型断言，TypeScript会将数组的两个元素类型分别关联到原变量A和B上，不需要额外的临时变量。

通用化方案（针对任意数量变量） #

如果需要处理更多变量，可以定义一个通用的元组类型守卫，借助TypeScript的泛型和条件类型实现：

type AllSets<T extends unknown[]> = {
  [K in keyof T]: Set<unknown>;
};

function allAreSets<T extends unknown[]>(arr: T): arr is AllSets<T> {
  return arr.every(isSet);
}

使用时：

if (allAreSets([A, B, C])) {
  // A、B、C都会被推断为Set<unknown>
  return isSuperSet([...A], [...B], [...C]);
}

为什么临时变量方案可行？ #

临时变量arr被断言为Set<unknown>[]后，解构出的newA和newB是从数组的元素类型直接推断而来，而原变量A和B并没有被绑定到数组的类型断言上，所以必须通过临时变量中转才能让TypeScript识别类型。

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