W3School TIY Editor

const names: readonly string[] = ["Dylan"]; names.push("Jack"); // 错误：类型 'readonly string[]' 上不存在属性 'push' // 尝试移除 readonly 修饰符，看看是否能正常运行？ console.log(names);