所以,我们有代码:
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
而且,那就是会返回:
Before existent:
Before not_existent:
exception
Ensure existent: local-variable
Ensure not_existent:
=> nil
现在的问题是——为什么?我们在定义 some_variable
之前引发了异常
before。 为什么会这样?为什么
some_variable
定义在ensure块中? (顺便说一句,它定义为 nil)
更新: 感谢@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:
为什么?
首先要注意的是
defined?
是一个关键字,而不是一个方法。这意味着它是在构建语法树时由解析器在编译期间特殊处理的(就像if
、return
、next
等),而不是在运行时动态查找。
这就是为什么
defined?
可以处理通常会引发错误的表达式: defined?(what is this even) #=> nil
因为解析器可以将其参数从正常的求值过程中排除。
真正令人困惑的是,即使它是一个关键字,它的行为仍然是在运行时确定的。它使用解析器魔法来确定其参数是否是实例变量、常量、方法等。 但随后调用普通的 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?
方法。