条件类型的矩阵分发：同时匹配多个类型分支

利用分布式条件类型与 never 的过滤特性，实现类似模式匹配的多路分发，一次遍历联合类型中的每个成员。 · 难度：入门 · +10XP

条件类型的矩阵分发：同时匹配多个类型分支

当条件类型的左侧是联合类型时，TypeScript 会自动分发到每个成员。结合 infer 与嵌套条件，可以构建类型级别的 filter、map、reduce。例如 type ExtractStrings = T extends string ? T : never 会过滤联合类型。本教程将演示如何构建类型级矩阵转置与笛卡尔积。

type FilterNever<T> = T extends never ? never : T;
type MatrixTranspose<M extends number[][]> = M extends [infer Row extends number[], ...infer Rest extends number[][]] 
  ? ZipRows<Row, MatrixTranspose<Rest>> : [];
type ZipRows<A extends number[], B extends number[][]> = A extends [infer H, ...infer T] 
  ? [[H, ...MapFirst<B>], ...ZipRows<T, MapRest<B>>] : [];