扩展模块和类变量访问？

Question

我不明白为什么在下面的例子中访问模块的类变量会失败：

module M
  @@xyz = 123
end
M.class_variables    # [:@@xyz]
M.class_variable_get :@@xyz    # 123 , so far so good

class C
  extend M
end
C.singleton_class.class_variables    # [:@@xyz]
C.singleton_class.class_variable_get :@@xyz # NameError:
                      # uninitialized class variable @@xyz in Class

谁能解释为什么 @@xyz 的类变量在 C 的单例类中突然无法访问/未定义？

更新： 我用不同的 Ruby YARV 版本重新测试了上面的代码，发现它是最新的回归。

更新 2：

在最新一代的 Ruby 中，Module#class_variables 方法的定义发生了变化。

• Ruby 到 1.9.3 的定义是

  class_variables → 数组

  返回 mod 中类变量名称的数组。

• Ruby 2.0.0 最新稳定版

  class_variables(inherit=true) → 数组

  返回 mod 中类变量名称的数组。这 在任何包含的模块中包含类变量的名称， 除非inherit参数设置为false。

所以在最新的 Ruby 版本中，class_variables 默认返回包含模块的类变量。只是好奇这个功能有什么用，或者它是否仍然与 include 而不是 extend “包含”的模块有关。

谁能解释一下？

Answer 1

关于特定的代码示例，它在我的 Ruby 1.9.3p194 上的工作方式不同：

module M
  @@xyz = 123
end
M.class_variables    # [:@@xyz]
M.class_variable_get :@@xyz    # 123 , so far so good

class C
  extend M
end
C.singleton_class.class_variables    # [] - HERE BE THE DIFFERENCE
C.singleton_class.class_variable_get :@@xyz # NameError:

当然，这就是我所期望的。 C.singleton_class 是 Class Class 的直接子类，我在任何地方都没有看到您在 Class 或其后代上设置任何类变量...但我相信您的代码按照您在机器上编写的方式工作。

Answer 2

这不是答案，只是问题的一些问题。

如果我们在C 类中包含模块M，C 会获取在M 中定义的类变量：

module M
  @@xyz = 123
end

class C
  include M
end

C.class_variables   #=> [:@@xyz]
C.class_variable_get(:@@xyz)  # 123

在类定义中调用extend M 等同于在该类的特征类（或单例类）中调用include M。

module M
  @@xyz = 123
end

eigenclass = class C
  class << self
    include M
    self
  end
end

eigenclass.class_variables            #=>[:@@xyz]
eigenclass.class_variable_get(:@@xyz) #=>NameError: uninitialized class variable @@xyz in Class

似乎区别在于 Ruby 对待普通类和特征类的方式不同。

Answer 3

简而言之，您观察到的差异是因为模块的工作方式与类不同。不久前我向我的上级提出了这个问题：Inheriting class methods from mixins

我得出结论，虽然 Module 在某些方面类似于 Class，但在其他方面，Ruby 将其简单地视为普通对象。特别是，在其他对象（单例方法等）中，被称为“类东西”的类（类方法、类变量......）只是被称为“单例东西”。模块的单例类在很多方面都有像模块一样被视为普通对象。

Answer 4

不确定这些是否是答案，但我确实找到了这些

C::M.class_variables #=> ["@@xyz"]
# (but gives "warning: toplevel constant M referenced by C::M")

和

class D
  include M
end
D.class_variables #=> ["@@xyz"]

（来自 Ruby 1.8.7，目前手头没有更高版本）。

include 使模块的实例方法成为类的实例方法。根据 Pickaxe 的说法，“就好像模块成为使用它的类的超类一样”。

同时，extend 打算将模块的方法添加到 对象；在类定义中调用时，它相当于self.extend。看来他们是不等价的。

HTH。