如何用TypeScript asserts断言数组元素均为NonNullable类型？

当然可以实现，关键是要让TypeScript明确知晓数组中的每个元素都已被校验为非空类型。以下是具体的实现方案：

1. 先回顾单个值的断言函数 #

这是你已经实现的基础版本，用于校验单个值：

function assertIsDefined<T>(val: T): asserts val is NonNullable<T> {
  if (val === undefined || val === null) {
    throw new Error(`Expected value to be defined, but received ${val}`);
  }
}

2. 数组批量断言函数 #

针对数组场景，我们需要编写一个断言函数，明确告知TypeScript：经过校验后，数组的所有元素都不再是null或undefined。

function assertAllDefined<T>(arr: T[]): asserts arr is NonNullable<T>[] {
  for (const val of arr) {
    if (val === undefined || val === null) {
      throw new Error(`Array contains null/undefined value: ${val}`);
    }
  }
}

使用示例 #

假设你有带可选属性的对象，批量提取属性后校验：

interface User {
  name: string | null;
  age: number | undefined;
  email: string | null | undefined;
}

const user: User = {
  name: "Alice",
  age: 30,
  email: "alice@example.com"
};

// 批量提取可能为空的属性
const values = [user.name, user.age, user.email];

// 执行批量断言
assertAllDefined(values);

// 此时TypeScript会自动推断values的类型为(string | number)[]，可安全赋值给非空类型
const [name, age, email]: [string, number, string] = values;

3. 元组类型的严格校验（可选） #

如果需要严格保留原属性的类型结构（比如元组的位置对应关系），可以调整函数为元组泛型版本：

function assertAllDefinedTuple<T extends readonly any[]>(
  arr: T
): asserts arr is { [K in keyof T]: NonNullable<T[K]> } {
  for (const val of arr) {
    if (val === undefined || val === null) {
      throw new Error(`Tuple contains null/undefined value: ${val}`);
    }
  }
}

// 使用元组的示例
const valuesTuple = [user.name, user.age, user.email] as const;
assertAllDefinedTuple(valuesTuple);

// 此时valuesTuple的类型被推断为readonly [string, number, string]
const [nameTuple, ageTuple, emailTuple] = valuesTuple;

为什么之前的写法报错？ #

你之前的数组断言函数可能没有明确指定asserts arr is NonNullable<T>[]这类类型断言，导致TypeScript无法追踪到数组元素类型的变化，依然认为元素可能是null或undefined，从而抛出类型不兼容的错误。只要在断言函数中明确声明校验后的数组类型，就能解决这个问题。

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