我正在try 创建一个返回从0到n的数字数组的函数，但我希望返回的类型也是已知的静态array.
const makeFoo = (n: number) => [...Array(n).keys()];
const foo1 = [0, 1, 2] as const; // readonly [0, 1, 2]
const foo2 = makeFoo(3); // number[]
console.log(foo1); // [0, 1, 2]
console.log(foo2); // [0, 1, 2]
虽然foo1和foo2在运行时具有相同的值，但它们的类型不同.
如何将makeFoo‘S返回类型定义为类似foo1？(readonly [0, 1, ... n]其中n也是静态已知的，例如makeFoo = <T extends number>(n: T) => ...)
你可以使用一个recursive helper类型，它根据一个generic参数计算返回类型.然而，你需要一个type assertion(我不认为没有办法)，因为[...Array(n).keys()]总是被推断为number[].
type MakeFoo<N extends number, R extends any[] = []> = R["length"] extends N
? R
: MakeFoo<N, [...R, R["length"]]>;
function makeFoo<N extends number>(n: N): MakeFoo<N> {
return [...Array(n).keys()] as MakeFoo<N>
}
const foo3 = makeFoo(3);
// ^? const foo3: [0, 1, 2]
const foo100 = makeFoo(100);
// ^? const foo100: [0, 1, 2, 3, 4, 5, 6, 7, ... , 99]
注意:这只适用于最多999个项目.以上的任何值都将解析为any.
const foo1000 = makeFoo(1000);
// ~~~~~~~~~~~~~
// Type instantiation is excessively deep and possibly infinite.