TypeScript中as const断言嵌套数组的赋值错误及疑问

错误原因 #

当你使用as const断言时，TypeScript会把整个对象结构（包括嵌套数组、对象属性）转换成深层只读的字面量类型。在你的代码里：

export enum RepoType {
  API = 1 << 0,
  UI = 1 << 1,
  Config = 1 << 2,
  ThirdParty = 1 << 3,
}

export const Org: OrgMeta = {
  name: "MyOrg",
  repos: [ {             // 错误出现位置
    name: "some-repo",
    type: RepoType.API,
  } ]
} as const;

export type OrgMeta = {
  name: string;
  repos: RepoMeta[];
};

export type RepoMeta = {
  name: string;
  type: RepoType;
};

as const会让repos的类型变成readonly [{ readonly name: "some-repo"; readonly type: RepoType.API; }]——这是只读数组类型，但你定义的OrgMeta里repos是RepoMeta[]（可变数组类型）。

TypeScript严格区分只读数组和可变数组：可变数组支持push、splice等修改操作，只读数组则不允许。因此TypeScript会报错，阻止你把只读结构赋值给预期为可变的类型。

为什么修改类型的readonly能解决问题 #

你把OrgMeta和RepoMeta的属性都标记为readonly后，相当于声明了类型本身就是只读结构：

export type OrgMeta = {
  readonly name: string;
  readonly repos: RepoMeta[];
};

export type RepoMeta = {
  readonly name: string;
  readonly type: RepoType;
};

此时不需要as const，因为类型已经明确所有属性都是只读的，TypeScript会自动推导对象类型和声明的OrgMeta匹配——这里的readonly是类型层面的约束，而非像as const那样把值强制转换成深层只读的字面量类型，因此不会出现类型不兼容问题。

额外补充：保留as const的替代方案 #

如果不想修改原类型，也可以通过调整类型定义让as const生效：将OrgMeta的repos改为只读数组类型：

export type OrgMeta = {
  name: string;
  repos: readonly RepoMeta[]; // 改为只读数组类型
};

这样as const生成的只读数组就能和类型匹配，不会报错。

内容的提问来源于stack exchange，提问作者Josh M.