从Readonly<Array<MyType>>推导类型未达预期的问题排查

问题根源 #

你遇到的核心问题是类型拓宽和类型注解优先级导致的：

• 当用Readonly<Array<DbLabelMapper>>标注数组时，DbLabelMapper里的dbLabel和screenLabel被定义为string类型，TypeScript会自动把数组里的具体字面量（比如'something'）拓宽成通用的string，不会保留字面量信息。
• as const虽然能强制保留字面量类型，但如果已经给数组指定了Readonly<Array<DbLabelMapper>>这种宽泛类型，TypeScript会优先遵循你标注的类型，忽略as const带来的精确字面量推导，所以最终推导不出'something' | 'anotherThing'这类联合类型。

解决方法 #

方法1：用satisfies运算符（TS 4.9+，推荐） #

satisfies可以让数组元素符合DbLabelMapper的结构约束，同时保留as const带来的字面量类型：

export type DbLabelMapper = Record<'dbLabel' | 'screenLabel', string>;

export const MyMapping = [
  { dbLabel: 'something', screenLabel: 'Something User-friendly' },
  { dbLabel: 'anotherThing', screenLabel: 'Another User-friendly' },
] as const satisfies ReadonlyArray<DbLabelMapper>;

// 推导dbLabel的联合类型
type MyMappingDbLabels = typeof MyMapping[number]['dbLabel'];
// 最终类型为：'something' | 'anotherThing'

方法2：泛型工具约束 + const断言 #

如果你的TS版本低于4.9，可以用泛型函数约束数组结构，同时保留字面量：

export type DbLabelMapper = Record<'dbLabel' | 'screenLabel', string>;

// 泛型工具函数，约束数组元素符合DbLabelMapper，同时返回只读元组
const createDbLabelMapper = <T extends ReadonlyArray<DbLabelMapper>>(mappers: T) => mappers;

export const MyMapping = createDbLabelMapper([
  { dbLabel: 'something', screenLabel: 'Something User-friendly' },
  { dbLabel: 'anotherThing', screenLabel: 'Another User-friendly' },
] as const);

// 推导联合类型
type MyMappingDbLabels = typeof MyMapping[number]['dbLabel'];
// 最终类型为：'something' | 'anotherThing'

方法3：直接从const断言数组提取类型，再做约束 #

先让数组用as const保留字面量，再通过类型工具确保它符合DbLabelMapper的结构：

export type DbLabelMapper = Record<'dbLabel' | 'screenLabel', string>;

export const MyMapping = [
  { dbLabel: 'something', screenLabel: 'Something User-friendly' },
  { dbLabel: 'anotherThing', screenLabel: 'Another User-friendly' },
] as const;

// 编译时检查：确保MyMapping符合ReadonlyArray<DbLabelMapper>类型
type AssertMapper = typeof MyMapping extends ReadonlyArray<DbLabelMapper> ? true : never;
// 如果数组结构不符合，此处会报错

// 推导联合类型
type MyMappingDbLabels = typeof MyMapping[number]['dbLabel'];

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