Ruby 类层次结构中“前置”的行为

Question

我有一个类Base，还有两个类Derived 和Derived2 继承自Base。它们每个都定义了一个函数foo。

我还有一个模块Gen，它是prepend-ed 到Base。它也是prepend-ed 到Derived2 但不是Derived。

当我在Derived2 的实例上调用foo 时，结果好像Gen 模块只是prepend-ed 到Base 而不是Derived2。这是预期的行为吗？

这是上述场景的代码：

module Gen
  def foo
    val = super
    '[' + val + ']'
  end
end

class Base
  prepend Gen

  def foo
    "from Base"
  end
end

class Derived < Base
  def foo
    val = super
    val + "from Derived"
  end
end

class Derived2 < Base
  prepend Gen
  def foo
    val = super
    val + "from Derived"
  end
end

Base.new.foo     # => "[from Base]"

Derived.new.foo  # => "[from Base]from Derived"

Derived2.new.foo # => "[from Base]from Derived"

我预计上述语句的最后一个输出：

[[from Base]from Derived]

Answer 1

为了帮助您理解，有一个方法Class#ancestors，它告诉您搜索方法的顺序。在这种情况下：

Base.ancestors     # => [Gen, Base, Object, Kernel, BasicObject]
Derived.ancestors  # => [Derived, Gen, Base, Object, Kernel, BasicObject]
Derived2.ancestors # => [Gen, Derived2, Gen, Base, Object, Kernel, BasicObject]

因此，当您在作为所述类的实例的对象上调用方法时，将按该顺序在相应的列表中搜索该方法。

• 前置会将模块置于该列表的前面。
• 继承将父链放在子链的末尾（不完全是，但为了简单起见）。
• super 只是说“去更远的链中找到我同样的方法”。

---

对于Base，我们有两个foo 的实现——在Base 和Gen。 Gen 将首先找到，因为该模块是预先添加的。因此在Base 的实例上调用它会调用Gen#foo =[S]，它也会向上搜索链（通过super）=[from Base] em>。

对于Derived，模块没有前置，我们有继承。因此，第一个找到的实现是在Derived =Sfrom Derived 和super 将搜索来自Base 的链的其余部分（又名上述段落播放） =[from Base]from Derived.

对于Derived2，模块是前置的，所以会先找到那里的方法=[S]。然后那里的super 会在Derived2 中找到下一个foo =[Sfrom Derived]，而那里的super 将再次播放Base 的情况=@ 987654350@.

---

编辑：似乎直到最近，prepend 才会首先在祖先链中搜索并仅在模块不存在时才添加该模块（类似于include）。更令人困惑的是，如果您首先创建父级，从其继承，在子级中添加前缀，然后在父级中添加前缀，您将获得较新版本的结果。