Ruby:关于定义一个类的结果

Question

在 Ruby 中，为什么定义一个类的结果是 nil ?定义方法也是如此:为什么它的计算结果为 nil ?如果定义一个类将评估为该类，这不是很有用吗？

Answer 1

In Ruby, why does defining a class evaluate to nil?

它没有。

首先，在 Ruby 中，您不定义类，而是执行类主体。其次，执行类主体不会评估为 nil正如您声称的那样，它的计算结果为类体内最后一个表达式的值。这与执行模块体和执行方法体完全一致。

参见，例如:

class Foo
  'Hello'
end
# => 'Hello'

Same goes for defining a method: why does it evaluate to nil?

事实上，它也没有。定义方法的结果是实现定义的值。它评估为实现定义的值的原因是到目前为止，Ruby 社区还没有就它应该返回什么达成共识。

有些人认为它应该评估为 CompiledMethod该方法对应的对象。这就是鲁比纽斯所做的。但是，这存在一个问题:并非所有 Ruby 实现都编译它们的方法。并不是所有编译它们的人都在定义时编译它们。例如，JRuby 只在它们被执行时才编译它们，更准确地说是在它们被执行 20 次之后。有时它根本不编译它们，例如在 Google App Engine 等禁止编译的环境中。此外，并非所有 Ruby 实现都为它们的编译方法提供 Ruby 表示。即使他们这样做了，它们的编译方法也大不相同:Rubinius 的编译方法是 Rubinius 字节码，YARV 的编译方法是 YARV 字节码，JRuby 的编译方法是 JVM 字节码，IronRuby 的编译方法是 DLR 树。当然，使用最广泛的实现，MRI，甚至没有编译器。

其他人说，它应该评估为 UnboundMethod该方法对应的对象。在这里，问题是没有一个 UnboundMethod方法对应的对象。它们的数量无穷无尽。 Ruby 方法不是对象。它们可以转换为对象，但它们本身不是对象。并且当它们转换为对象时，它们每次都会生成一个新对象。所以， UnboundMethod将返回的对象实际上与定义的方法没有直接关系。另外，您想用未绑定(bind)的方法做什么？我使用未绑定(bind)方法的唯一情况是包装一个我无法修改的现有方法；但是如果我无论如何都可以访问定义，那么我不需要包装它。

第三组说定义一个方法应该评估它的名字。这似乎是一个有点随意的选择。事实上，我没有看到任何令人信服的理由来说明为什么会这样。从字面上看，唯一的论点是这可以让您使 Ruby 看起来更像 Java:

# here's how you make a single method private today
def foo(bar) end
private :foo

# instead you could do this:
private def foo(bar) end

所以，基本上，方法定义返回一个实现定义的值(在大多数实现中只是 nil )的原因是没有人提出更好的建议。

有趣的是， Module#define_method确实会返回一些有用的东西。如果使用方法定义方法，则返回旧方法。如果您使用 proc 来定义一个方法，它会返回该 proc 的一个变体。如果你使用一个 block 来定义一个方法，它会返回一个与该 block 对应的过程。换句话说，它返回一个对应于方法体的可执行对象:

class Foo
  $bar  = ->{}
  $baz  = define_method :baz, $bar

  $qux  = instance_method :baz
  $quux = define_method :quux, $qux

  define_method :corge do;end
end
# => #<Proc:0x1cda900@(irb):8 (lambda)>

$bar.eql?   $baz  # => true
$bar.equal? $baz  # => false
$qux.equal? $quux # => true

Wouldn't it be useful if defining a class would evaluate as the class?

为什么？按照现在的方式，类体可以返回任何你想要的东西，包括类。根据您的建议，它只能返回类，因此严格来说它的功能会减弱。

此外，唯一的情况是我需要一个类主体来返回类本身，是为了获取对对象的单例类的引用，如下所示:

foo = Object.new
foo_singleton_class = class << foo; self end

或者更广为人知的模式:

class Object; def singleton_class; class << self; self end end end

但现在， Object#singleton_class是核心库的一部分，不再需要。