我有一个工具来创建一个静态大小的数组:
export type StaticArray<T, L extends number, R extends any[] = []> = R extends {
length: L;
}
? R
: StaticArray<T, L, [...R, T]>;
我可以验证它的工作:
let myVar: StaticArray<number, 3>;
// ^? let myVar: [number, number, number]
然而，我想让它与sum类型一起工作，但我不确定它如何可能.我希望这个案子能有这样的结果:
let myVar: StaticArray<number, 3 | 2 | 1>;
// ^? let myVar: [number, number, number] | [number, number] | [number]
但我似乎不工作，因为我的StaticArray类型停止在它看到的最小数字.
你是说你想要StaticArray<T, L>比distribute比unions比L，所以StaticArray<T, L1 | L2>等于StaticArray<T, L1> | StaticArray<T, L2>.
一般的方法是使用distributive conditional type. 当你写一个T extends U ? V : W形式的条件类型，其中T是一个generic类型参数，TypeScript会自动分布在T中的联合体上. 如果你只想把一个非分布类型转换成分布类型，你可以用一个"no-op"分布条件类型来包装它，比如T extends any ? ⋯ : never.这看起来像什么都没做(T总是延伸any)，但它有分配给unions 的效果.
所以这就 bootstrap 我们写下
type StaticArray<T, L extends number, R extends any[] = []> =
L extends any ? R extends { length: L; } ? R : StaticArray<T, L, [...R, T]> : never;
你可以看到它是按需要工作的
let myVar: StaticArray<number, 3>;
// ^? let myVar: [number, number, number]
let myVar2: StaticArray<number, 3 | 2 | 1>;
// ^? let myVar2: [number] | [number, number] | [number, number, number]
注意，T extends any ? ⋯ : never中的any可以替换为任何你确定T会扩展它的值.你可以使用unknown，或T，或一些约束(如number代替L)，这取决于你的偏好.