Ruby gsub 然后冻结得到不同的 object_id

Question

我做了一个关于 ruby 冻结的实验：

# example1
a = 'a'.freeze

puts "--Identical object_id--"
puts a.object_id
puts 'a'.freeze.object_id


# example 2
b = 'a'.gsub('a', 'b').freeze
another_b = 'a'.gsub('a', 'b').freeze

puts "--Got three different object_id--"
puts 'b'.freeze.object_id
puts b.object_id
puts another_b.object_id
b.frozen? #=> true

b 和 another_b 是冻结字符串 'b'，为什么它们有不同的 object_id？

Answer 1

Ruby (YARV) 识别冻结的字符串文字并创建优化的指令序列：

$ ruby --dump=insns -e '"a".freeze'
== disasm: #<ISeq:<main>@-e:1 (1,0)-(1,3)>==============================
0000 opt_str_freeze   "a"                                             (   1)[Li]
0002 leave

相对于非冻结字符串：

$ ruby --dump=insns -e '"a"'
== disasm: #<ISeq:<main>@-e:1 (1,0)-(1,3)>==============================
0000 putstring        "a"                                             (   1)[Li]
0002 leave

以这种方式优化的字符串将引用完全相同的对象，即它们具有相同的 object_id。但它只适用于字符串文字，即"...".freeze。通过 send(:freeze) 调用 freeze 或在带有插值的字符串或非文字（如变量）或方法调用的结果上调用 freeze 会导致普通方法调用：

$ ruby --dump=insns -e '"a".to_s.freeze'
== disasm: #<ISeq:<main>@-e:1 (1,0)-(1,15)>=============================
0000 putstring        "a"                                             (   1)[Li]
0002 opt_send_without_block <callinfo!mid:to_s, argc:0, ARGS_SIMPLE>, <callcache>
0005 opt_send_without_block <callinfo!mid:freeze, argc:0, ARGS_SIMPLE>, <callcache>
0008 leave

以这种方式冻结的字符串将是一个具有不同 object_id.

的独特对象

请注意，所有这些都是特定于实现的。您不应依赖这些优化。

Ruby gsub 然后冻结得到不同的 object_id

Ruby gsub then freeze get different object_id

ruby

gsub

freeze