关于||=与变量定义

在Ruby里，给可能未定义或值为nil的变量设置一个默认初始值时，惯用法是使用||=的办法，例如：

a ||= []
a << 'first'

这个例子里，无论a原本有没有定义，或者定义是什么都好，都会被当作是一个变量。如果原本a是一个有非nil非false值的变量，那么a的值不变；如果a原本是一个方法，那么作为方法名的a会被作为变量名的a所屏蔽，并且a被赋值为[]。
看下面这个例子：

a ||= 1
puts a               # 1

def b
  2
end

puts b               # 2
puts b || 3          # 2

b ||= 3
puts b               # 3
puts method(:b).call # 2

可以看到变量名屏蔽方法名的行为。

OK，那有什么好说的呢？Ola Bini最近做过一个关于在JVM上创造自己的语言的讲演，其中有一部分是向与会者介绍Ruby。他演示的时候提到诸如a ||= 1没问题，但他一时以为在a还没定义的时候a = a || 1不行，在演示的时候稍微卡了一下。乍一看，要是根据他当时的思路，确实会觉得这个不行。
思路是：如果单独写a || 1，在a还没定义的时候，访问a的值会得到“未定义局部变量或方法”的错误；把这个放在赋值的右手边，就应该会在能够赋值之前就先遇到错误了。

但实际上，a ||= 1就是a = a || 1的简写，这两者在运行时的行为是一样的。那为什么单独写a || 1会出问题，而放在赋值的右手边就没事了呢？
因为Ruby要想办法知道一个名字到底是变量还是方法调用。最直观的判断依据是，执行到当前位置时这个名字有没有出现在赋值符号的左手边，有的话就把这个名字当作变量，没有的话就默认把这个名字当作方法；后一种情况中如果没有这个名字的方法，那就出错了。
像这样就会出错：

def foo
  puts b  # undefined local variable or method `b'
  b = 1 if false
end

foo

而这样就不会：

def foo
  b = 1 if false
  puts b  # nil
end

foo

也就是说不用真的执行赋值，只要Ruby解析器能看到某个名字出现在赋值符号的左边就够了，就会创建一个这个名字的变量，未赋值时值为nil。

回到a = a || 1。这里Ruby先看到了a出现在赋值符号的左手边，于是创建出变量a，值为nil；接下来对赋值符号右手边求值，nil || 1的结果是1；然后完成赋值，a的值就是1了。单独的a || 1则没这待遇，得看前面有没有别的地方让a存在，不然就会出错。

以前在好多地方都有人提到过Ruby的这个行为。昨晚跟NS老兄聊的时候突然想起||的问题一时没想通，多得他提醒才又想起来了。记下来免得以后又糊涂……

评论

2 楼 RednaxelaFX 2009-04-07  

night_stalker 写道

油头粉面的 Ola 被卡住的时候真尴尬……

嗯 XDD
顺带一提，那段录像可以在Ola Bini的blog上找到链接，在这里
对应的幻灯片在这里

1 楼 night_stalker 2009-04-05  

油头粉面的 Ola 被卡住的时候真尴尬……

其实这个特性有好处的：如果不小心写错了一个字母，就会弹出一个error

def fun very_long_parameter_nameeeeeeeeeeeee
  very_long_parameter_nameeeeeeeeeeee || 'bastard!'
end