【问题标题】:Why instances don't have 'Class' as a parent in Ruby?为什么实例在 Ruby 中没有“类”作为父级?
【发布时间】:2014-07-24 02:01:25
【问题描述】:
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?

【问题讨论】:

  • 因为字符串不是一个类 ;-) 你怎么可能把 string 当作Class,例如得到它的ancestors?跨度>
  • 'a' 不是类,但 String 也不是类,是类 Class 的对象...
  • String 一个类,意味着它是Class的一个实例。 'a' 不是一个类,这意味着它不是Class 的一个实例。如果不是Class 的实例,你称什么为“类”?
  • StringClass 类的对象正是 String 是一个类的意思。
  • 值得注意的是String.singleton_class.ancestors返回[#<Class:String>, #<Class:Object>, #<Class:BasicObject>, Class, Module, Object, PP::ObjectMixin, Kernel, BasicObject]

标签: ruby


【解决方案1】:

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

记住这一点,Class 不是,是String 的祖先。 ClassStringclass

当您在'a' 上调用方法时,ruby 将尝试在'a' 的类String 及其祖先 中找到该方法,这些都不是Class p>

更多讨论

通常来说,当我们没有进行这样抽象的讨论时,你会说'a'String,或者StringClass。但这可能会导致当前情况下的混乱。

这是因为当前上下文中的is a 关系可能意味着至少两个不同的东西。 xY 可能意味着对象 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 关系。 StringClassStringComparable。但是String 不是从Class 继承的,它是Class 的一个实例。而String 不是Comparable 的实例,它继承自Comparable

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

回到“是”关系。 StringObject。现在这适用于两种关系。 String 当然继承自 Object。而且ClassString 是一个实例,继承自 Object。因此 String 也继承了类对象的行为。所以当我们说StringObject 时,它可能意味着任何一种情况。虽然,如果我们谈论继承,我们可能会说“StringObject”,这意味着类String 的实例也是对象。虽然说“StringObject”(注意我删除了文章 'a'),但我们的意思是 String 类本身就是一个对象。

我刚刚意识到别的事情。还记得我们如何在 Ruby 中声明静态方法吗? Ruby on rails - Static method

你说...

class X
  def self.static_method
    ...
  end
end

如果你仔细想想,通过使用关键字self,我们指的是X 的对象性质。因此,当您稍后调用X.static_method 时,您正在将X 作为对象访问并引用与对象X 关联的实例方法。

希望我没有让你们太困惑。

【讨论】:

  • 'a' 不是 字符串。它是 String 的一个实例。你可以说'a' 是一个字符串.. :-) 同样适用于StringClass
  • @ArupRakshit 常说“$value 是 $Type”。就像 5 是一个 int(对不起,一个 Fixnum),eve 是一个 Person,'a' 是一个字符串。 "'a' is String" 会产生误导,但 "is a" 远非如此。
  • 重点在这里 - ancestors 将在列表中列出 class 名称,仅当可能至少存在相应的 receiver i> 有机会调用。否则或NOT
  • 我还在想办法让这个答案更清楚
  • @Spundun 我写了一个答案,但我看到你的就删除了。我的信息可能比你多 30%。但我会给你一些提示,让你的答案更有效。
猜你喜欢
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
  • 1970-01-01
相关资源
最近更新 更多