ruby - 为什么实例在 Ruby 中没有 'Class' 作为父级？

Question

p 'a'.class.ancestors #=> [String, Comparable, Object, Kernel, BasicObject]
p String.class.ancestors #=> [Class, Module, Object, Kernel, BasicObject]

假设我在“a”上调用了一个方法。它首先会在 String 类中查找该对象，如果在那里找不到，它会在 Comparable 等中查找。

现在，如果我在 Class 类上调用一个方法，它首先转到“Class”，然后是“Module”等。

我不明白的是这个。为什么，当我在像“a”这样的字符串实例上调用方法时，它不查找“类”中的方法？为什么“a”在其祖先列表中没有 Class？

Answer 1

因为 'a'不是 class , 'a'是 string ，这就是为什么 'a'是 class 的一个实例String . String是 class , 所以它是 class 的一个实例Class .

记住这一点，Class 不是并且是String的祖先. Class是class的 String .

当您在 'a' 上调用方法时, ruby​​ 将尝试在 'a' 中找到该方法的类(class)String和它的祖先，都不是Class

更多讨论

一般来说，当我们不进行这种抽象的讨论时，你会说'a'是 String , 或 String是 Class .但这可能会导致当前上下文中的混淆。

这是因为 is a当前上下文中的关系可能意味着至少两个不同的事物。 x是 Y可能意味着那个对象 x是类 Y 的实例，或者它可能意味着类 x继承自类 Y . (当然，命名约定表明 x 是一个对象，Y 是一个类..但这些还不够可靠)

is a 的这种模糊性关系是这里困惑的根源。因为在ruby中，所有的类也是对象，Class类型的对象.为了让整个情况既困惑又优雅，Class也是一个对象! ...类型Class !!

[7] pry(main)> 'a'.ancestors
NoMethodError: undefined method `ancestors' for "a":String
from (pry):7:in `__pry__'
[8] pry(main)> 'a'.class.ancestors
=> [String, Comparable, Object, PP::ObjectMixin, Kernel, BasicObject]
[9] pry(main)> String.ancestors
=> [String, Comparable, Object, PP::ObjectMixin, Kernel, BasicObject]
[10] pry(main)> String.class.ancestors
=> [Class, Module, Object, PP::ObjectMixin, Kernel, BasicObject]
[11] pry(main)> Class.ancestors
=> [Class, Module, Object, PP::ObjectMixin, Kernel, BasicObject]
[12] pry(main)> Class.class.ancestors
=> [Class, Module, Object, PP::ObjectMixin, Kernel, BasicObject]

所以如果我们简单地谈论 is a关系。 String是 Class和一个 String是 Comparable .但是String不继承自 Class , 它是 Class 的一个实例.和 String不是 Comparable 的实例, 它继承自 Comparable .

现在是刷新继承自 关系含义的好时机。 String继承自 Comparable ，这意味着所有 String 类型的对象还将从类 Comparable 继承行为.自 String不继承自 Class , String 类型的对象实例不会从类 Class 继承任何行为.

回到"is"关系。 String是一个 Object .现在这适用于两种关系。 String当然继承自 Object .还有Class , 什么 String是一个实例，继承自Object。因此 String 也继承了类对象的行为。所以当我们说 String是一个 Object ，它可能意味着任何事情。虽然，如果我们谈论继承，我们可能会说“String 是一个Object”，这意味着类 String 的实例也是对象。当说“String 是一个Object”(注意我去掉了冠词“a”)时，我们的意思是类String本身就是一个对象。

我刚刚意识到另一件事。还记得我们如何在 Ruby 中声明静态方法吗？ Ruby on rails - Static method

你说...

class X
  def self.static_method
    ...
  end
end

如果您考虑一下，使用关键字 self ，我们指的是 X 的对象性质.所以当你稍后调用 X.static_method ，您正在访问 X作为对象并引用与对象关联的实例方法 X .

希望我没有把你们搞糊涂了。