Ruby 子类实例变量可以_overwrite_ 超类的（同名）吗？

Question

在“ruby 编程语言”一书的第 7.3.5 章“继承和实例变量”中说：

因为与实例变量无关 继承，因此子类使用的实例变量不能“隐藏” 超类中的实例变量。如果子类使用具有相同的实例变量 名称作为其祖先之一使用的变量，它将覆盖其>祖先的值 多变的。这可以有意地改变祖先的行为，或者它可以 不经意间就完成了。在后一种情况下，几乎可以肯定会导致错误。与 继承前面描述的私有方法，这也是为什么它只是 当您熟悉（并控制）Ruby 类时，可以安全地扩展 超类的实现。

我做了自己的测试，但似乎子类中的实例变量不会影响超类

我的 Ruby 版本

bob@bob-ruby:~$ ruby --version
ruby 1.9.3p194 (2012-04-20 revision 35410) [i686-linux]
bob@bob-ruby:~$ 

下面是代码

class Point
   attr_accessor :x,:y
   def initialize(x,y)
     @x,@y=x,y
   end
end

class Point3D < Point
   attr_accessor :x,:y,:z
   def initialize(x,y,z)
     @x=x
     @y=y
     @z=z
   end
end

irb(main):052:0> p=Point.new(1,2)
=> #<Point:0x87e8968 @x=1, @y=2>
irb(main):053:0> q=Point3D.new(4,5,6)
=> #<Point3D:0x87e423c @x=4, @y=5, @z=6>
irb(main):054:0> q.x
=> 4
irb(main):055:0> p.x
=> 1
irb(main):056:0> 

Answer 1

这本书（强调和补充我的）：

如果 子类 使用与其祖先之一使用的 [n 实例] 变量同名的 instance 变量，它将覆盖其祖先的值变量。

我知道你没有同一个类的两个实例；我们正在专门讨论继承。

当子类使用与超类使用的实例变量同名的实例变量时，只有一个实例变量。如果子类更改了该实例变量的值，并且超类访问它，它会获取子类设置的值。

当一个子类被实例化时，它“好像”它是也是超类的一个实例。 Ruby 的实现方式意味着如果超类有一个实例变量@foo，子类可以访问它。这使得子类的@foo 和超类的@foo 之间的区别毫无意义。

这就是子类可以改变超类行为的方式：通过设置超类可能使用的值。如果子类设置@foo = 42，并且超类方法访问@foo，它会看到42。这可能是有意的，也可能不是有意的，因此发出警告。这可能会导致令人沮丧的调试会话。

class MyStack
  def initialize
    @my_array = []
  end

  def push(item)
    @my_array << item
  end
end

# Stack class that keeps a list 
# of every item ever pushed.
class TrackingStack < MyStack
  def initialize
    super
    @my_array = []
  end

  def push(item)
    super
    @my_array << item
  end

  def all_items_ever_pushed
    @my_array
  end
end

TrackingStack 引入了一个错误，因为它无意中使用了与用于保存堆栈内容的超类数组相同的名称。如果您不熟悉超类的实现，这会导致混乱和错误，直到您深入挖掘以了解意外行为的来源。

超类的一个实例就是：超类的一个instance，说子类的一个instance是什么意思是没有意义的> 会影响它，因为它们完全不相关。

这里是一个改写：

当您无法控制或不熟悉超类的实现时，子类化可能会有风险。一个原因是因为在子类中引入实例变量可能会覆盖超类实例变量的值，从而导致意外行为。

Answer 2

实例变量属于实例，而不属于类。 “继承”的整个概念在这里甚至没有意义，继承只适用于类。