TypeScript中readonly数组赋值给可变number[]属性报错咨询

问题本质 #

TypeScript里，readonly number[]和number[]是单向兼容的：可变数组可以安全赋值给只读数组（因为只读是更严格的约束，不会破坏原数组的不可变性），但反过来不行。

你的代码中，Student接口的ids定义为number[]（可变类型），意味着后续理论上可以修改student.ids（比如执行student.ids.push(4)）。但你要赋值的ids是readonly number[]，它在运行时是不可修改的数组——如果TypeScript允许这种赋值，后续修改操作就会触发运行时错误，所以编译器直接禁止了这种不安全的赋值。

现有解法的局限性 #

• 移除原ids的readonly：虽然能解决报错，但如果原本需求是让ids保持只读，这种做法会破坏代码约束性，埋下误修改的隐患。
• 用map生成新数组：确实能得到可变数组，但map的语义是“转换数组元素”，用来复制数组语义不符，还会额外创建新数组带来没必要的性能开销。

更优解决方案 #

方案1：修改接口类型（最推荐） #

如果Student的ids本来就不应该被修改，直接把接口里的ids类型改成readonly number[]，从根源上对齐类型约束：

interface Student {
  readonly ids: readonly number[];
}
const ids: readonly number[] = [1, 2, 3];
let student: Student = { ids: ids }; // 编译通过，且符合不可变设计

方案2：类型断言（谨慎使用） #

如果你确定后续绝对不会修改student.ids，可以用类型断言强制让编译器通过，但要注意：如果后续不小心修改了student.ids，运行时会直接报错（因为原数组是只读的）。

let student: Student = { ids: ids as number[] };

方案3：复制数组生成可变版本（语义更清晰） #

如果必须让student.ids是可变数组，用扩展运算符或Array.from复制原数组，语义上比map更明确：

// 扩展运算符
let student: Student = { ids: [...ids] };
// 或者Array.from
let student: Student = { ids: Array.from(ids) };

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