红宝石边缘情况

Nee*_*ngh 3 ruby

ruby有一些边缘情况很难解释,因为解析会带来一些有趣的问题.我在这里列出其中两个.如果你知道更多,那么添加到列表中.

def foo
  5
end

# this one works
if (tmp = foo)
  puts tmp.to_s
end

# However if you attempt to squeeze the above
# three lines into one line then code will fail
# take a look at this one. I am naming tmp2 to 
# avoid any side effect

# Error: undefined local variable or method ‘tmp2’ for main:Object
puts tmp2.to_s if (tmp2 = foo)
Run Code Online (Sandbox Code Playgroud)

这是另一个.

def x
  4
end

def y
  x = 1 if false 
  x + 2
end

# Error: undefined method `+' for nil:NilClass
puts y
Run Code Online (Sandbox Code Playgroud)

但是,如果您注释掉x = 1行,如果为false,则代码将正常工作.

Dig*_*oss 6

程序错误不是边缘情况


嗯.在您的第一个示例中,您分配5tmp,从而定义tmp符号,然后发现class Fixnum实际上确实响应to_s.但是在第一个示例失败的情况下,您尝试点到一个未定义的符号...它是一个单行解释器...并且该语句无法解析.

不完全是一个"边缘案例",我不得不怀疑你是否认为你在比较tmpfoo.

在第二种情况下,您创建一个局部变量x,但nil由于它而离开它if false,然后自然发现nil没有+方法.如果您注释掉该行,则该方法 x可见并被调用.

这被称为词汇范围,而非"边缘案例".

  • 在第一种情况下,如果exp1创建一个新的局部变量,那么边缘情况应该是`如果exp1然后exp2 end`表现不同于`exp2如果exp1`.在第二种情况下,边缘情况应该是完全创建x.请注意,该行不会被解析为`x =(1 if false)`,如果为false,它将被解析为`(x = 1),因此可能会想知道为什么从不执行的赋值会引入新变量.答案当然是这样的事情是在分析时决定的,而不是在运行时决定,但我仍然会说那些符合边缘情况的资格. (2认同)

Cor*_*ook 6

在您的第一个示例中,tmp2在到达if语句之前未分配.

你的第二个例子并不出人意料.即使x从未被赋值,它也会通知解释器你在下一行中讨论变量x而不是函数x.Ruby在确定名称的上下文时会尝试相当松散,但它会在可用的地方获取线索.它有助于具体,例如:

def y
  x = 1 if false
  x() + 2
end
Run Code Online (Sandbox Code Playgroud)