为什么 eigenclass 看起来如此相似，但它不等于 self.class？

Question

我在某个地方错过了备忘录，希望你能向我解释一下。

为什么对象的特征类与 self.class 不同？

class Foo
  def initialize(symbol)
    eigenclass = class << self
      self
    end
    eigenclass.class_eval do
      attr_accessor symbol
    end
  end
end

我将 eigenclass 与 class.self 等同起来的逻辑相当简单：

class << self 是声明类方法而不是实例方法的一种方式。它是 def Foo.bar 的快捷方式。

因此，在对类对象的引用中，返回 self 应该与 self.class 相同。这是因为 class << self 会将 self 设置为 Foo.class 来定义类方法/属性。

我只是很困惑吗？或者，这是 Ruby 元编程的一个鬼把戏？

Answer 1

类<< self 不仅仅是声明类方法的一种方式（尽管它可以这样使用）。也许您已经看到过一些用法，例如：

class Foo
  class << self
    def a
      print "I could also have been defined as def Foo.a."
    end
  end
end

这有效，并且相当于 def Foo.a，但它的工作方式有点微妙。秘密在于，在该上下文中，self 指的是对象 Foo，该对象的类是 Class 的唯一匿名子类。这个子类称为 Foo 的 eigenclass。因此，def a 在 Foo 的特征类中创建了一个名为 a 的新方法，可以通过正常的方法调用语法访问：Foo.a 。

现在让我们看一个不同的示例：

str = "abc"
other_str = "def"

class << str
  def frob
    return self + "d"
  end
end

print str.frob # => "abcd"
print other_str.frob # => raises an exception, 'frob' is not defined on other_str

这个示例与上一个示例相同，尽管一开始可能很难分辨。 frob 不是在 String 类上定义的，而是在 str 的特征类上定义的，它是 String 的唯一匿名子类>。因此，str 有一个 frob 方法，但 String 的实例通常没有。我们还可以重写 String 的方法（在某些棘手的测试场景中非常有用）。

现在我们已经准备好理解您的原始示例了。在 Foo 的初始化方法中，self 引用的不是类 Foo，而是 实例代码>Foo。它的eigenclass是Foo的子类，但它不是Foo；不可能，否则我们在第二个例子中看到的技巧就无法发挥作用。所以继续你的例子：

f1 = Foo.new(:weasels)
f2 = Foo.new(:monkeys)

f1.weasels = 4 # Fine
f2.monkeys = 5 # Also ok
print(f1.monkeys) # Doesn't work, f1 doesn't have a 'monkeys' method.

Answer 2

最简单的答案：特征类无法实例化。

class F
 def eigen
  class << self 
   self
  end
 end
end
F.new.eigen.new #=> TypeError: can't create instance of virtual class

Answer 3

Yehuda Katz 很好地解释了“Ruby 中的元编程：一切都是为了自我"