ruby - 如何让模块 mixin 为静态方法工作？

Question

可以说我有两个模块。是否可以在另一个行为类似于 mixin 的模块中包含一个模块？

例如：

module A
  def self.foo
    puts "foo"
    bar
  end
end

module B
  include A
  def self.bar
    puts "bar"
  end
end

B.bar
B.foo

编辑：我意识到我最初将代码复制错了。这些方法必须是静态的。更正的代码在上面（并且不起作用）。

Answer 1

正如您所了解的那样，它不起作用，但为什么它不起作用是关于 Ruby 对象模型的一个非常好的课程。

当您创建一个对象的实例时，您创建的是一个新对象，它具有一组实例变量和一个指向对象类的指针（以及其他一些东西，例如对象 ID 和指向超类的指针），但是方法本身不在对象的实例中。类定义包含方法列表及其代码（以及指向其自身类的指针、指向其超类的指针和对象 ID）。

当您调用实例上的方法时，Ruby 会查找实例的类，并在该类的方法列表中查找您调用的方法。如果它没有找到它，那么它会在类的超类中查找。如果它在那里找不到它，它会在该类的超类中查找，直到它用完超类。然后它回到第一个类并寻找 method_missing 方法。如果它没有找到它，它会转到超类，依此类推，直到它到达根对象，它被设计为引发错误。

例如，假设您有一个 Person 类，并使用变量 bubba 创建该类的实例，如下所示：

class Person
  attr_accessor :dob, :name
  def age
    years = Time.now.year - @dob.year
    puts "You are #{years} year#{"s" if years != 1} old"
  end
  def feed
    puts "nom, nom, nom"
  end
end
bubba = Person.new
bubba.name = "Bubba"
bubba.dob = Time.new(1983,9,26)

类图看起来像这样：

那么当你创建一个静态方法，一个类/模块方法时会发生什么？好吧，请记住，在 Ruby 中几乎所有东西都是一个对象，而模块定义是类 Class 的一个实例。是的，您输入的代码实际上也是一个实例，它是实时代码。当您使用 def self.method_name 创建类方法时，您是在作为类/模块定义的对象实例中创建一个方法。

太好了，那么你问的那个类方法在哪里定义？它是在一个匿名类（又名单例、特征、幽灵类）中定义的，正是出于这个原因而创建的。

回到我们的 Person 类，如果我们在实例 bubba 上添加一个类方法，如下所示：

def bubba.drive_pickup
  puts "Yee-haw!"
end

该方法被放入为该实例创建的特殊单例类中，单例的超类现在是 Person 类。这使得我们的方法调用链看起来像这样：

在实例对象 bubba 上定义的任何其他方法也将被放入该单例类中。每个实例对象永远不会超过一个单例类。

因此，总结一下它不起作用的原因是模块中的静态方法是在模块定义实例的单例类中定义的。当您包含或扩展模块时，您添加的是指向模块的方法表的指针，而不是模块的单例类的实例对象的方法表。

可以这样想：如果你创建了一个类型为 Z 的实例 x 和一个类型为 Z 的实例 y，x 应该知道 y 吗？不，除非特别告知，否则不会。因此，混入另一个模块的模块也不应该知道恰好将第一个模块作为其超类的其他对象。

要更好地解释 Ruby 对象模型，请观看由博学多才的Dave Thomas（不，不是 Wendy's 的人）制作的精彩免费视频：http:
//scotland-on-rails.s3.amazonaws.com/2A04_DaveThomas-SOR .mp4

看完那个视频后，我从 Pragmatic 购买了 Dave Thomas关于 Ruby 对象模型的整个系列，这非常值得。

PS任何人都请随时纠正我忘记的任何内容；就像一个对象中的具体内容。

Answer 2

使用 extend 而不是 include 来添加类方法。

module A
  module ClassMethods
    def foo
      puts "foo"
      puts bar
    end    
  end
  extend ClassMethods    
end

module B
  extend A::ClassMethods
  def self.bar
    puts "bar"
  end
end

B.bar
B.foo

Answer 3

您发布的确切代码完全符合您的要求。所以，答案是肯定的。

自己执行它真的那么难吗？