如何基于数组长度自动生成TypeScript的Shadow类型范围？

可行，但需要满足特定条件才能实现

核心要求 #

你的shadows数组必须让TypeScript能推导其精确的字面量长度，而不是宽泛的number类型。普通数组的length类型会被推断为number，无法适配IntRange需要具体数字字面量的要求，所以需要做以下处理：

具体实现步骤 #

1. 为数组添加as const断言，锁定其长度和元素类型：

// 示例阴影数组，添加as const让TS保留精确长度
const shadows = [
  '0px 1px 3px rgba(0,0,0,0.12)',
  '0px 1px 2px rgba(0,0,0,0.24)',
  // ... 其余阴影样式
] as const;

2. 基于数组的字面量长度定义Shadow类型：

export type Shadow = IntRange<0, typeof shadows.length>;

此时typeof shadows.length会被TS推导为数组的实际长度，完全符合IntRange的参数要求，既能自动适配数组长度变化，又能保留智能提示和类型校验。

例外情况 #

如果shadows是动态生成的数组（比如运行时从接口获取、后续会修改元素），TS无法推导其精确长度，shadows.length的类型只能是number，这种情况下无法用它生成精确的IntRange类型，只能选择硬编码最大值，或者用number类型配合运行时的范围校验。

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