如何用TypeScript类型谓词批量校验Maybe类型元素？

先明确基础定义：

type Maybe<T> = T | Error;

function isValid<T>(val: Maybe<T>): val is T {
  return !(val instanceof Error);
}

针对多不同类型的Maybe变量批量校验后无法推导类型的问题，提供以下几个简洁方案：

方案一：自定义元组批量校验函数 #

编写一个专门处理元组的类型守卫函数，让TypeScript能精准推导每个元素的类型：

// 定义Maybe元组类型，把每个元素映射为对应的Maybe<T>
type MaybeTuple<T extends any[]> = { [K in keyof T]: Maybe<T[K]> };

function areAllValid<T extends any[]>(tuple: MaybeTuple<T>): tuple is T {
  return tuple.every(isValid);
}

使用示例：

const a: Maybe<string> = "hello";
const b: Maybe<number> = 42;

if (areAllValid([a, b])) {
  // 此处a自动推导为string，b自动推导为number
  console.log(a.length, b.toFixed(2));
}

这个函数通过元组类型映射，告诉编译器：当返回true时，输入的Maybe元组已经完全转换为原始类型元组，完美解决类型推导问题。

方案二：断言+解构简化写法 #

如果不想新增函数，可结合类型断言和解构，适合变量数量较少的场景：

const values = [a, b] as const;
if (values.every(isValid)) {
  const [validA, validB] = values as [string, number];
  // validA为string，validB为number
}

手动指定断言类型虽然少了点灵活性，但写法足够简洁。

方案三：TS 4.9+用satisfies关键字优化 #

若你的TypeScript版本在4.9及以上，可利用satisfies关键字辅助类型推导：

const maybeValues = [a, b] satisfies MaybeTuple<[string, number]>;
if (maybeValues.every(isValid)) {
  const [validA, validB] = maybeValues;
  // 此处validA和validB的类型会被正确识别
}

satisfies既能约束数组类型符合Maybe元组要求，又能保留原始元组的类型信息，让编译器在校验通过后自动推导每个元素的类型。

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