TypeScript中如何将已声明类型的数组转换为值的字面量联合类型

问题核心原因 #

你给数组显式声明了Readonly<Array<string>>宽类型，TypeScript会优先使用你手动指定的类型，覆盖as const推导出的字面量窄类型，所以最终元素类型被拓宽为string。

解决方案1：使用satisfies操作符（推荐，TS 4.9+） #

satisfies是TS4.9推出的特性，作用是校验值是否符合指定类型的同时，保留值本身的原始字面量类型，完美匹配你的需求：

// 既校验数组符合 Readonly<Array<string>> 类型，又保留元素的字面量信息
const someArray = ['hello', 'world'] as const satisfies Readonly<Array<string>>;
type SomeType = typeof someArray[number]; // 推导结果为 'hello' | 'world'

如果数组中出现不符合string类型的元素，TS会直接抛出类型错误，不会丢失你需要的类型校验能力。如果是第三方定义的复杂对象类型，只需要把satisfies后面的类型替换为对应的第三方类型即可。

解决方案2：泛型辅助函数（兼容TS 4.9以下版本） #

如果你的项目TS版本低于4.9，无法使用satisfies，可以通过泛型约束的工具函数实现同样效果：

// 泛型约束要求传入的数组元素必须符合string类型，同时返回值保留原始字面量类型
function defineReadonlyStringArray<T extends string>(arr: readonly T[]) {
  return arr;
}

const someArray = defineReadonlyStringArray(['hello', 'world'] as const);
type SomeType = typeof someArray[number]; // 推导结果为 'hello' | 'world'

如果是第三方复杂类型，只需要修改泛型约束即可，示例：

// 假设第三方定义的数组元素类型为 ThirdPartyItem
function defineThirdPartyArray<T extends ThirdPartyItem>(arr: readonly T[]) {
  return arr;
}

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