Warum tut z.B. Object inheritsFrom: fooobar gibt in Smalltalk true zurück?

Question

Es scheint, dass die Methode inheritesFrom: in GNU Smalltalk true für jeden undefinierten Klassennamen zurückgibt, der als Parameter an sie gesendet wird. Dies macht ein Programm sehr schwer zu debuggen, IMHO. Mit Blick auf den Code für diese in der Behavior Klasse, sieht es wie folgt aus:

inheritsFrom: aClass [ 
"Returns true if aClass is a superclass of the receiver" 

<category: 'testing the class hierarchy'> 
| sc | 
aClass isNil ifTrue: [^true]. 

sc := self. 
[sc := sc superclass. 
sc isNil] whileFalse: [sc == aClass ifTrue: [^true]]. 
^false 
] 

Die Linie aClass isNil ifTrue: [^ true] ist der Schuldige, aber ich bin auf der Suche nach einem vernünftigen Grund an, wie es war so codiert. (Ich bin übrigens neu in der Smalltalk-Welt und versuche zu lernen.)

Danke.

Answer 1

Dies ist nicht auf Ausnahmen im Zusammenhang, sondern auf nicht definierte Variablen. In GNU Smalltalks REPL, oder alternativ in einem Transcript oder Workspace für grafische Umgebungen, sind undefinierte Variablen alle null - das ist beispielsweise in Ruby nicht sehr unterschiedlich.

Sie tun tatsächlich "Object inheritsFrom: nil", was wahr ist. Ich wusste nicht, dass es in Squeak falsch ist; das wäre eigentlich eine Abkehr vom Blaubuch.

In einer Methode hätten Sie einen "Variablen fooobaar undefined" Fehler bei der Kompilierung erhalten.

Answer 2

Ich denke, das Denken ist, dass alle Klassenreferenzen eine Klasse von irgendeiner Art implizieren müssen, so dass die Null-Referenz Objekt bedeutet, die die Oberklasse von allem ist.

Squeak tut es so, wie man es erwarten würde:

inheritsFrom: aClass 

|aSuperclass | 
aSuperclass := superclass. 
[aSuperclass == nil] 
    whileFalse: [aSuperclass == aClass 
      ifTrue: [^ true]. 
     aSuperclass := aSuperclass superclass]. 
^ false 

link text