readonly和?是typescript编译期类型工具：readonly禁止属性重赋值，?表示字段可选；二者组合可建模“存在即不可变”的语义，常用于函数式编程与状态管理。
在 TypeScript 中，readonly 和可选修饰符（?）是构建不可变数据结构的两个基础但关键的工具。它们不改变运行时行为，而是在编译期强化类型约束，帮助你提前捕获对只读属性的非法赋值，或明确标识哪些字段允许缺失——这对函数式编程、状态管理（如 Redux）、配置对象、API 响应解析等场景尤其重要。
用 readonly 锁定属性与数组元素
readonly 修饰符用于类属性、接口/类型别名中的字段、以及元组类型，表示该值在初始化后不可被重新赋值（注意：它不递归冻结嵌套对象，仅限制“引用层面”的修改）。
- 在接口中声明只读字段：// 编译期禁止修改 user.name
interface User { readonly name: string; age: number; }const u: User = { name: 'Alice', age: 30 };// u.name = 'Bob'; // ❌ 类型错误：无法分配到 "name" ，因为它是只读属性 - 用于类字段：
class Point { readonly x: number; readonly y: number; constructor(x: number, y: number) { this.x = x; this.y = y; } }
实例创建后point.x = 5将报错。 - 修饰元组类型实现“只读数组”语义：
type RGB = readonly [number, number, number];
此时rgb[0] = 255或rgb.push(1)均不被允许；配合as const可推导出更严格的只读字面量类型。
用可选修饰符 ? 表达字段的“存在不确定性”
可选修饰符表明该属性可能不存在（即 undefined），它本身不提供不可变性，但和 readonly 组合使用时，能精准建模“一旦存在就不可变”的语义，常见于部分初始化或条件字段。
- 接口中混合使用：
interface Config { readonly endpoint: string; readonly timeout?: number; }
这意味着timeout要么不存在，要么存在且不可改；config.timeout = 5000仍会报错，即使它曾被传入。 - 与解构默认值配合提升安全性：
function init({ endpoint, timeout = 3000 }: Config) { ... }
调用方传入{ endpoint: '/api' }是合法的，timeout自动取默认值，且函数体内无法意外覆盖原始对象的timeout字段（因它是readonly）。
组合技巧：构建真正稳健的不可变结构
单独用 readonly 或 ? 力度有限，组合并辅以类型工具，才能逼近“深度不可变”效果。
- 只读 + 可选 +
as const推导字面量只读类型：const defaults = { host: 'localhost', port: 8080 } as const;type Defaults = typeof defaults; // { readonly host: 'localhost'; readonly port: 8080; } - 用
Readonly<t></t>工具类型批量转为只读：type ApiResponse = { id: number; data: string[] };const response: Readonly<apiresponse> = { id: 1, data: ['a'] };</apiresponse>// response.id = 2; // ❌// response.data.push('b'); // ✅ 运行时仍可变 —— 因为 Readonly 不递归 - 若需深度只读，可借助第三方类型（如
ts-essentials的DeepReadonly<t></t>）或手动定义递归只读类型，但要注意性能与可读性权衡。
注意事项与常见误区
readonly 是开发期保障，不是运行时防护。JavaScript 仍可通过 Object.defineProperty 或类型断言绕过，因此它本质是协作契约而非安全围栏。
- 不要混淆
readonly和const：后者作用于变量绑定，前者作用于属性；const obj = { x: 1 };中obj引用不可变，但obj.x仍可改，除非显式声明readonly x。 - 数组方法如
map、filter返回新数组，适合不可变更新；而push、sort等原地修改方法在readonly T[]上会报错，强制你选择函数式风格。 - 构造函数中必须初始化所有
readonly非可选字段，否则编译失败；可选字段则无需初始化。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
