Ruby中Hash.new({})嵌套赋值异常原理、场景及优化方案问询

异常表现复现 #

当用Hash.new({})创建哈希时，会出现看似矛盾的行为：

a = Hash.new({})
# => {}
a.default
# => {}

# 查询不存在的键返回空哈希
a[:foo]
# => {}

# 尝试给嵌套键赋值
a[:foo][:bar] = 'baz'
# => "baz"

# 原哈希仍为空
a
# => {}

# 再次查询:foo却返回嵌套哈希
a[:foo]
# => {:bar=>"baz"}

# 默认值被修改了
a.default
# => {:bar=>"baz"}

# 其他不存在的键也返回这个被修改后的哈希
a[:biz]
# => {:bar=>"baz"}

底层原理 #

Hash.new(obj)的核心机制是：所有不存在的键都会返回同一个obj对象的引用，而非为每个缺失键创建新的对象实例。

当执行a[:foo][:bar] = 'baz'时，a[:foo]返回的是全局共享的默认空哈希，你修改的是这个共享哈希的内容，并没有给原哈希a添加:foo这个键。因此原哈希a本身仍为空，但共享的默认哈希被修改后，所有后续查询缺失键的操作都会返回这个被修改后的哈希。

这和带块的Hash.new { |h, k| h[k] = {} }完全不同：带块的形式会为每个缺失键新建独立对象，并自动把键与新对象绑定到原哈希中。

适用场景 #

Hash.new({})仅适用于需要所有缺失键共享同一个固定哈希对象的有限场景，比如：

• 临时共享一个不会被修改的配置集合
• 测试场景中模拟所有缺失键返回同一个空哈希的情况

由于修改默认哈希会影响所有缺失键的返回值，极易引发意外bug，日常开发中很少使用。

解决方案与优化 #

基础解决方法 #

要给嵌套键赋值并正确添加到原哈希，可先检查键是否存在，不存在则手动创建空哈希：

a[:foo] = {} unless a.key?(:foo)
a[:foo][:bar] = 'baz'
a
# => {:foo=>{:bar=>"baz"}}

实现"存储时创建，查询时不创建"的需求 #

要实现仅在给嵌套键赋值时自动创建父键对应的哈希，单纯查询缺失键时不创建键，可通过以下两种方式：

方法1：使用||=

a = {}
a[:foo] ||= {} # 仅当:foo不存在时创建空哈希
a[:foo][:bar] = 'baz'
a
# => {:foo=>{:bar=>"baz"}}

# 单纯查询缺失键不会创建键
a[:biz]
# => nil
a
# => {:foo=>{:bar=>"baz"}}

方法2：使用fetch的块形式（赋值时才创建）

a = {}
a.fetch(:foo) { |k| a[k] = {} }[:bar] = 'baz'
a
# => {:foo=>{:bar=>"baz"}}

# 单纯查询缺失键用普通方式不会创建键
a[:biz]
# => nil
a
# => {:foo=>{:bar=>"baz"}}

注意：带块的Hash.new { |h,k| h[k] = Hash.new(&h.default_proc) }会在查询缺失键时自动创建键并绑定空哈希，不符合"查询时不创建"的需求，因此不适用。

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