Ruby'陷阱'之: '||=' 的真正展开式-优快云博客

本文通过具体的Ruby代码示例探讨了在Ruby中a||=b这一复合操作的真实含义及其等效表达方式，揭示了该表达式的陷阱，并给出了正确的展开式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

[i]前一段时间,我在这里[url]http://rubynroll.iteye.com/blog/192547[/url]展示了一个空格带来的'陷阱', 今天又见到另一个'陷阱'(http://dablog.rubypal.com/2008/3/25/a-short-circuit-edge-case by David).[/i]

之所以为陷阱加引号, 是因为大部分情况下我们都没有机会掉进去 :)

[b]大多数Ruby教科书在解释 "a ||= b" 这个复合操作时,都说她等效于: "a = a || b", 实际上真的如此么?[/b]

让我们在irb里面来看看:

h = Hash.new(1)  # 生成一个新的Hash,缺省值为1
=> {}
h[:x]
=> 1    # h[:x]未定义,所以返回1
h[:x] ||= 2
=> 1
h
=> {}   # 啊? '陷阱'?
h[:x] = h[:x] || 2
=> 1
h
=> {:x=>1}  # 啊!

David提到,[b]Matz在RubyConf 2007上的解释是"a ||= b"真实的等价应该是: "a or a = b", 但是David后来认为"a || a = b"应该更恰当些[/b].

果真的如此么? 不!

一个简单的例子可以反驳, 如果a未定义,则:

irb(main):001:0> a || a = 2
NameError: undefined local variable or method `a' for main:Object
        from (irb):1
        from :0

所以, [b]看来"a ||= b"正确的展开应该是: "a = b unless a"[/b]

对了么? 还是不对!

"a ||= b"表达式最终返回的是a, 而"a = b unless a"在a非真时返回nil.

所以, [size=large]"a ||= b"的正确展开式应该为: "if a then a else a = b end"
[/size]

想不到吧?

＝＝＝补充＝＝＝

鉴于此帖较长，且中间夹杂着不少因我的疏忽和错误造成的无谓争论，因此把最终的到的结论列在这里，免得看起来太累，或者有些人没有耐心看完而增加更多的无谓的争论。

结论如下：
1) a ||= b 不等效于: a = a || b
2) 归纳起来,准确的展开式应该是:
if defined?(a) then (a || a = b) else a = b end

特别感谢[b]lllyq[/b], 这个结论的credit应归于他／她。

若大家发现有更好的展开形式，欢迎讨论。