TypeScript const断言只读数组无法匹配泛型any[]约束的解决方案

复现代码如下：

export const CHRONIC_CHANNEL_LEVELS = [
  { label: 'one', value: '1' },
  { label: 'two', value: '2' },
] as const;

export type ElementType<T extends any[]> = T extends (infer U)[] ? U : never;

type ChronicChannelLevel = ElementType<typeof CHRONIC_CHANNEL_LEVELS>['value']; // 抛出类型错误

TSC 编译抛出错误信息：

Type 'readonly [{ readonly label: "one"; readonly value: "1"; }, { readonly label: "two"; readonly value: "2"; }]' does not satisfy the constraint 'any[]'.
  The type 'readonly [{ readonly label: "one"; readonly value: "1"; }, { readonly label: "two"; readonly value: "2"; }]' is 'readonly' and cannot be assigned to the mutable type 'any[]'.(2344)

对数组使用as const断言后，生成的readonly只读数组类型无法赋值给泛型参数约束的any[]可变数组类型。
预期目标是得到联合类型'1' | '2'作为ChronicChannelLevel的类型，需要封装类似ElementType的通用工具类型，同时支持从任意普通数组、readonly只读数组中提取元素类型。

调整ElementType的泛型约束与条件匹配逻辑，兼容只读数组类型，修正后代码如下：

export const CHRONIC_CHANNEL_LEVELS = [
  { label: 'one', value: '1' },
  { label: 'two', value: '2' },
] as const;

// 通用数组元素类型提取工具，同时支持普通可变数组、readonly只读数组、as const生成的只读元组
export type ElementType<T extends readonly any[]> = T extends readonly (infer U)[] ? U : never;

// 此时ChronicChannelLevel推导结果为 '1' | '2'，符合预期
type ChronicChannelLevel = ElementType<typeof CHRONIC_CHANNEL_LEVELS>['value'];

• TypeScript 类型系统中，可变数组类型T[]是只读数组类型readonly T[]的子类型：可变数组可以安全赋值给只读数组类型的变量，但只读数组无法赋值给可变数组类型，从类型层面避免只读数据被意外修改。
• 将泛型约束从any[]调整为readonly any[]，不会损失对普通可变数组的兼容性，同时可以接收as const断言生成的只读元组类型。
• 条件类型匹配数组结构时增加readonly修饰，才能正确识别只读数组的类型结构，完成元素类型的自动推导。

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