5

在“红宝石编程语言”一书的第 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>
4

2 回答 2

7

这本书（重点和补充我的）：

如果子类使用与其祖先之一使用的 [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引入了一个错误，因为它无意中使用了与用于保存堆栈内容的超类数组相同的名称。如果您不熟悉超类的实现，这将导致混乱和错误，直到您深入挖掘以了解意外行为的来源。

超类的实例就是：超类的实例，谈论子类的实例将如何影响它是没有意义的，因为它们完全不相关。

这是一个改写：

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

于 2013-01-26T14:16:51.010 回答
1

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

于 2013-01-26T13:45:44.410 回答