TypeScript中as const数组传给readonly接口数组参数报错如何解决？

核心报错来源：MyPartials 类型定义错误 #

• 你原本的目标是生成以Types联合的每个字面量（'a'、'b'）为可选键的对象类型，正确的映射写法应该是直接遍历联合类型本身，不需要额外加keyof。
• 你实际写的[P in keyof Types]逻辑有误：对'a' | 'b'这类字符串字面量联合使用keyof时，TS会提取所有字符串内置属性的公共键（比如字符串原型上的length、charAt、trim等方法/属性名），根本不会提取你期望的'a'、'b'作为合法键。
• 这种错误定义生成的MyPartials，是一个只允许存在上述内置字符串属性的对象，不允许出现自定义的'a'、'b'键。你myIs里的myPartials带的a: 5属性，在这个类型定义下属于不被允许的多余属性，自然无法匹配MyI的结构，传入函数时就会触发冗长的类型不兼容对比报错。

关于as const与readonly数组的兼容问题 #

• 修完上面的类型定义错误后，你之前疑惑的“加了as const的只读数组无法传入readonly MyI[]参数”的问题会自动消失。TS本身支持将更具体的只读元组/只读数组，赋值给更宽泛的同结构只读数组类型，只要数组内的每个元素都符合MyI的结构约束。

完整修复代码示例 #

export type Types = 'a' | 'b';

// 修正映射类型：直接遍历Types联合，不要误用keyof
export type MyPartials = {
  readonly [P in Types]?: number;
};

export interface MyI {
  readonly name: string;  
  readonly myPartials: MyPartials;
}

export const myIs = [
  {
    name: 'A',
    myPartials: {a: 5},
  },
  {
    name: 'B',
    myPartials: {},
  },
  {
    name: 'C',
    myPartials: {},
  },
] as const;

const typeCheck = (arr: readonly MyI[]): void => {};

// 此时传参不会触发报错
typeCheck(myIs);

可选的体验优化 #

• 如果你希望在定义myIs的位置就完成结构校验，而不是等到调用typeCheck时才暴露问题，可以直接给myIs加上类型标注：

  export const myIs: readonly MyI[] = [ ...原数组内容 ] as const;
  

  这种写法会让TS在你写数组字面量的阶段就检查每一项是否符合MyI结构，报错位置会更靠前，也更容易定位。

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