Ruby "defined?" 运算符出错？

Question

所以，我们有代码：

class Foo
  def bar
    puts "Before existent: #{(defined? some_variable)}"
    puts "Before not_existent: #{(defined? nonexistent_variable)}"

    raise "error"

    some_variable = 42
  rescue
    puts "exception"
  ensure
    puts "Ensure existent: #{(defined? some_variable)}"
    puts "Ensure not_existent: #{(defined? nonexistent_variable)}"
  end
end

并从 irb 调用它：

> Foo.new.bar

然后，就是 return:

Before existent:
Before not_existent:
exception
Ensure existent: local-variable
Ensure not_existent:
=> nil

现在问题来了——为什么？我们在 before than some_variable 被定义之前引发异常。为什么会这样？为什么 some_variable 被定义在 ensure 块中？（顺便说一句，它定义为零）

更新： 感谢@Max 的回答，但是如果我们更改代码以使用实例变量：

class Foo
  def bar
    puts "Before existent: #{(defined? @some_variable)}"
    puts "Before not_existent: #{(defined? @nonexistent_variable)}"

    raise "error"

    @some_variable = 42
  ensure
    puts "Ensure existent: #{(defined? @some_variable)}"
    puts "Ensure not_existent: #{(defined? @nonexistent_variable)}"
  end
end

它按预期工作：

Before existent:
Before not_existent:
Ensure existent:
Ensure not_existent:

为什么？

Answer 1

首先要注意的是defined?是一个关键字，而不是一个方法。这意味着解析器在编译期间构建语法树时 specially handled（就像 if、return、next 等），而不是动态查找运行时间。

这就是为什么 defined? 可以处理通常会引发错误的表达式：defined?(what is this even) #=> nil 因为解析器可以从正常的评估过程中排除它的参数。

真正令人困惑的一点是，即使它是关键字，它的行为也是 still determined at runtime。它使用解析器魔术来确定它的参数是否是实例变量、常量、方法等。但是随后调用普通的Ruby方法来确定这些特定类型是否已经定义在运行时间：

// ...
case DEFINED_GVAR:
if (rb_gvar_defined(rb_global_entry(SYM2ID(obj)))) {
    expr_type = DEFINED_GVAR;
}
break;
case DEFINED_CVAR:
// ...
if (rb_cvar_defined(klass, SYM2ID(obj))) {
    expr_type = DEFINED_CVAR;
}
break;
case DEFINED_CONST:
// ...
if (vm_get_ev_const(th, klass, SYM2ID(obj), 1)) {
    expr_type = DEFINED_CONST;
}
break;
// ...

rb_cvar_defined 函数与 Module#class_variable_defined? 调用的函数相同。

所以 defined? 很奇怪。真奇怪。它的行为可能会因参数而异，我什至不敢打赌它在不同的 Ruby 实现中是相同的。基于此，我建议不要使用它，而是尽可能使用 Ruby 的 *_defined? 方法。

Ruby "defined?" 运算符出错？

Ruby "defined?" operator works wrong?

ruby

behavior

exception

defined