Ruby gsub然后冻结获取不同的object_id

Question

我已经进行了有关红宝石冻结的实验：

# 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。但是它仅适用于字符串 literal ，即"...".freeze。通过freeze调用send(: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的不同对象。

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