为什么Ruby模块继承不像类继承那样工作？

Question

假设我有一个名为Flight的模块，包含类和实例方法。 我可以使用include ， extend或两者extend其方法转换为类：

class Bat < Mammal
  # Add Flight's class methods to Bat.
  extend Flight

  # Add Flight's instance methods to Bat.
  include Flight
  ...
end

include会将Flight添加到Bat.ancestors ，但不会extend 。

我的问题是， 为什么模块与课程不同 ？ 当我将Mammal子类化时，我总是同时获得类和实例方法。 但是，当我混合一个模块时，我不能同时获得类和实例方法（除非我使用self.included钩子或类似ActiveSupport :: Concern的东西）。

这种差异背后是否存在语言设计问题？

Answer 1

Module#include和Object#extend都用于将Module的实例方法添加到Object 。 给定模块：

module Flight
    def can_fly?
        true
    end
end

Module#include用于将模块的实例方法添加（或混合 ）到类或模块的实例方法中：

class Bat < Mammal
    include Flight
end

a = Bat.new()
a.can_fly?        # true

它实际上影响了Object#is_a? 方法，所以：

a.is_a? Flight     # true

Module#include是一个私有方法 ，因此只能在定义类或其他模块时使用函数表示法调用它：

class Bat < Mammal
    self.include Flight     # NoMethodError: private method called
end

Object#extend将模块的实例方法作为单例方法添加到调用它的对象，因此您可以这样做：

b = Mammal.new()
b.extend Flight
b.can_fly?           # true
b.is_a? Flight       # true

c = Mammal.new()
c.can_fly?           # NoMethodError: undefined method

只有b才能拥有Flight的实例方法; 其他Mammal不会。

在类定义中调用Object#extend ，方法将添加到您定义的类的本征类中。 这是在类定义中使用它们时两个方法之间的重要区别，因为这些方法是作为类方法添加的：

class Bat < Mammal
    extend Flight
end

Bat.can_fly?     # true

d = Bat.new
d.can_fly?       # NoMethodError: undefined method

Answer 2

“当我将Mammal子类化时，我总是同时获得类和实例方法”

那是因为Bat类作为对象也从Mammal单例类继承了实例方法。

将一个模块包含到一个类中更改方法查找链。 实际上，该类不会继承任何实例方法。

使用模块扩展类与扩展任何对象相同。 该类只是将模块的实例方法作为类实例方法（即类对象本身的方法）获取。

Answer 3

我想谈谈你问题的一部分：

include会将Flight添加到Bat.ancestors ，但不会extend 。

extend与include不同，所以它显然做了不同的事情......你可以认为extend等于类'元类的包含 。

看看下面的例子：

module M
end

class A
  include M
end

# then you will see M within A's ancestors as you know
A.ancestors # => [A, M, Object...]


class B
  # the following is roughly the same as extend M:
  class <<self
    include M
  end
end

# then you will see M within B's metaclass' ancestors
MetaclassOfB = class <<B; self; end
MetaclassOfB.ancestors # => [M, Class, Module...]

因此，因为扩展就像元类的包含一样，你会看到扩展模块出现在元类的祖先链中......