实例变量继承

Question

有人可以解释一个类如何访问其超类的实例变量以及它不是如何继承？我在谈论'Ruby Programming Language'和示例

class Point
  def initialize(x,y) # Initialize method 
     @x,@y = x, y      # Sets initial values for instance variables
  end

end

class Point3D < Point
 def initialize(x,y,z)
   super(x,y)
   @z = z
 end
 def to_s
   "(#@x, #@y, #@z)"  # Variables @x and @y inherited?
 end
end

Point3D.new(1,2,3).to_s => "(1, 2, 3)"

如果不继承类,那么如何Point3D访问类x和y内部to_s？这本书说:

"它们有时似乎是继承的原因是实例变量是由首先为它们赋值的方法创建的,而这些方法通常是继承或链接的."

但我无法弄清楚它的真正含义.

Answer 1

你是对的,这本书是错的,或至少措辞不好

我认为这本书是完全错误的,或者充其量,这是一个非常混乱的解释.

在所有OO语言中,超类和派生类没有单独的对象.创建派生类的实例时,它也是超类的实例.有一个对象,它同时是两个类.

由于只有一个对象,因此只有一组实例变量.

这与所有其他OO系统相同.本书关于如何运行哪个方法以及方法本身如何实际继承的奇怪论证并没有增加太多的清晰度.

术语的问题是,当然,在动态类型系统中,首先没有声明,因此子类的定义肯定不会继承任何字段声明......因为当然没有任何声明.但是因为没有类型可以继承不会使相反的语句("实例变量不被继承")更加真实,并且它会增加相当多的混淆,因为它暗示父母会以某种方式拥有不同的实例变量,这是试图以他们的方式谈论对象的荒谬结果.

Answer 2

super(x,y)调用基类的构造函数,这是initialize方法.如果super(x,y)取出,则变量@x并@y不会出现在派生类中.