Ruby冻结嵌套HashWithIndifferentAccess时内部冻结状态异常原因问询

核心根源 #

HashWithIndifferentAccess（以下简称HWA）在初始化时，会对传入哈希内的原生Hash类型嵌套值自动转换生成全新的HWA实例，不会复用原对象的引用；而Ruby原生的.freeze方法仅做浅冻结，只会阻止当前对象本身的修改操作，不会递归修改内部嵌套对象的状态。两个机制叠加就产生了观测到的行为差异。

HWA的内部值转换逻辑有明确的判断规则：

• 当嵌套值是原生Hash类的实例时，自动生成新的HWA实例替换原引用
• 当嵌套值已经是HWA类的实例时，不做额外转换，直接保留原对象引用

逐场景拆解执行逻辑 #

原生哈希的符合预期行为 #

原生Ruby Hash的存储逻辑是直接引用传入的值对象，不会做任何隐式类型转换：

v = { 'a' => { 'b' => 2 }.freeze }.freeze
# v['a'] 直接返回之前已经调用过.freeze的内层哈希引用，因此 frozen? 返回 true
v['a'].frozen? # => true

v1 表现符合预期的逻辑 #

v1的执行流程满足了“嵌套值已被冻结、且被外层HWA直接引用”的条件：

# 1. 先将内层原生哈希转换为HWA实例
inner_hwa = { 'b' => 2 }.with_indifferent_access
# 2. 立刻对这个内层HWA实例调用.freeze，使其进入冻结状态
inner_hwa.freeze
# 3. 外层哈希转换为HWA时，遍历到'a'对应的值已经是HWA实例
# 按转换规则不会生成新对象，直接复用这个已冻结的引用
# 4. 对外层HWA实例调用.freeze，完成外层的冻结
v_1 = { 'a' => inner_hwa }.with_indifferent_access.freeze
v_1[:a].frozen? # => true

v2 表现异常的逻辑 #

v2的执行流程存在隐式的对象替换，最终存储的嵌套值和一开始创建的冻结对象没有引用关系：

# 1. 创建内层原生哈希，调用.freeze使其进入冻结状态
inner_frozen_hash = { 'b' => 2 }.freeze
# 2. 外层哈希调用.with_indifferent_access时，遍历到'a'对应的值是原生Hash实例
# 按转换规则会自动生成一个全新的HWA实例，替换原有的冻结原生哈希引用
# 这个新生成的HWA没有被调用过.freeze，处于可修改状态
# 3. 对外层HWA实例调用.freeze，仅冻结外层对象本身，不会递归修改内部新生成的嵌套HWA的状态
v_2 = { 'a' => inner_frozen_hash }.with_indifferent_access.freeze
# 验证引用关系：拿到的嵌套值和原冻结对象不是同一个引用
v_2[:a].equal?(inner_frozen_hash) # => false
v_2[:a].frozen? # => false

常见误区澄清 #

• .with_indifferent_access不是简单的代理包装：它会对所有嵌套的原生Hash值做深度转换，生成独立的新HWA对象，和原传入的对象没有引用关联。
• .freeze不支持递归冻结：所有Ruby对象的默认freeze实现都是浅冻结，HWA也不例外，仅靠外层单次调用freeze无法阻止内部嵌套值的修改。

如果要实现完全冻结的嵌套HWA结构，需要在转换完成后，递归遍历每一层嵌套的HWA实例分别调用freeze。

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