如何将as const satisfies用于对象数组，兼顾const断言优势与类型检查

问题原因 #

这个报错的核心在于只读类型与可变类型的不兼容：

• as const 会把数组转换成只读元组类型，同时将数组内对象的所有属性标记为只读；
• 而 ExampleB[] 是普通的可变数组类型，数组元素 ExampleB 的属性也是可变的。
  TypeScript 严格禁止将只读类型赋值给可变类型，以此避免意外修改只读数据的风险。

解决方案 #

方案1：使用只读数组类型作为约束 #

如果你不需要数组或元素属性具备可变性，直接将目标类型改为只读数组即可，这也是最贴合 as const 语义的方案：

interface ExampleB {
  id: number;
  name: `S${string}`;
}
export const exampleB = [
  {
    id: 8455,
    name: 'Savory'
  }
] as const satisfies readonly ExampleB[];

这样既保留了 as const 带来的精确字面量类型推导（比如 name 会被推导为 "Savory" 而非宽泛的 S${string}），又满足了类型约束，同时数组和属性都会被锁定为只读。

方案2：保持数组可变性，单独对属性使用const断言 #

如果需要数组或元素属性可以修改，不用对整个数组加 as const，只针对需要精确推导的属性（比如 name）使用 as const 即可：

interface ExampleB {
  id: number;
  name: `S${string}`;
}
export const exampleB = [
  {
    id: 8455,
    name: 'Savory' as const
  }
] satisfies ExampleB[];

这种方式下，数组本身是可变的（可以push、修改元素），每个元素的 name 会被推导为字面量类型，同时整体满足 ExampleB[] 的约束。

方案3：强制转换为可变数组（谨慎使用） #

如果必须使用可变数组，同时又想保留 as const 的全量精确推导，可以先满足只读数组的约束，再强制断言为可变数组。但这种方式会绕过TypeScript的只读检查，修改数组或属性时不会得到类型警告，需谨慎使用：

interface ExampleB {
  id: number;
  name: `S${string}`;
}
export const exampleB = [
  {
    id: 8455,
    name: 'Savory'
  }
] as const satisfies readonly ExampleB[] as ExampleB[];

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