字符串不可变性使V8通过驻留、Rope结构、OneByteString降级和模板预分配实现内存共享与性能优化，运行时拼接不自动驻留，修改操作均返回新字符串。
字符串不可变性不是一句空话，它直接塑造了 V8 如何分配、复用和优化字符串内存。理解这一点，关键在于看清“内容不改”和“引用可变”的分工：字符串值一旦生成就锁死在堆中，而变量只是指向它的轻量级指针。
不可变性如何触发内存共享
V8 对相同字面量字符串（如 "hello"）默认启用字符串驻留（String Internalization）：首次创建时存入全局字符串表；后续遇到相同字面量，不再分配新内存，而是复用已有地址。这意味着：
- const a = "test"; const b = "test"; → a 和 b 指向堆中同一块内存
- 这种共享对开发者完全透明，也无需手动干预
- 但仅适用于编译期确定的字面量，运行时拼接出的相同字符串（如 "te" + "st"）不会自动驻留
引擎如何借不可变性做深度优化
因为内容永不改变，V8 可以大胆采用多种激进优化：
- Rope 结构：对 str1 + str2 这类操作，V8 不立刻拷贝拼接，而是构造一个“绳索节点”，只存两个子串引用；直到真正需要读取内容（如 .length 或 .charAt()）才按需展开——大幅减少中间字符串对象和内存拷贝
- OneByteString 降级：若字符串只含 ASCII 字符（如纯英文、数字），V8 用 1 字节/字符存储；一旦出现中文、emoji 等双字节字符，才升为 2 字节格式。这使短英文字符串内存占用减半
- 模板字面量预分配：`Hello ${name}!` 在编译阶段就能算出总长度，V8 直接申请一块连续内存，逐段写入，跳过所有中间字符串对象
不可变性带来的实际约束与应对
不可变 ≠ 不能“看起来变”。所有修改操作（.replace()、.slice()、+）都返回新字符串，原值毫发无损：
- 函数内修改字符串必须 return，否则调用方收不到结果
- 循环拼接大量字符串时，避免用 +=（每次新建对象，O(n²) 复杂度），改用 数组 push + join() 或模板字面量
- 频繁截取子串（如解析 URL 参数）时，V8 的 Rope 机制已为你兜底，不必手动缓存子串
本质上，V8 把“不可变”当作信任前提，从而放手做共享、延迟计算、紧凑编码——你写的每行字符串操作，背后都是引擎在帮你省内存、压 GC、抢时间。不复杂但容易忽略。
