Ruby Crazy: Class vs Object?

W Rubim wszystko jest Object, w tym klasy i moduły. Object jest najbardziej niskopoziomową klasą (cóż, w Rubim 1.9.2 jest też BasicObject, ale to inna historia).

Zobacz następujące wyjście.

> Object.ancestors
# => [Object, Kernel, BasicObject] 
> Class.ancestors
# => [Class, Module, Object, Kernel, BasicObject] 
> Module.ancestors
# => [Module, Object, Kernel, BasicObject] 
> String.ancestors
# => [String, Comparable, Object, Kernel, BasicObject]

Jak widzisz, zarówno Class jak i Module dziedziczą z Object.

Wracając do oryginalnych twierdzeń, musisz zrozumieć różnicę

• is_a?
• kind_of'
• instance_of?

Nie są wymienne. is_a? i kind_of? zwraca true, jeśli other jest tą samą klasą lub przodkiem. Odwrotnie, instance_of? zwraca true tylko wtedy, gdy other jest tą samą klasą.

> Class.is_a? Object
# => true 
> Class.kind_of? Object
# => true 
> Class.instance_of? Object
# => false 

Ramesh, w ruby Wszystko jest obiektem, A klasa nie jest wyjątkiem.

Spróbuj tego w irb

ruby-1.9.2-p136 :001 > o = Object.new
=> #<Object:0x000001020114b0> 
ruby-1.9.2-p136 :002 > o.is_a? Class
=> false 
ruby-1.9.2-p136 :003 > o.is_a? Object
=> true 

W tym przypadku utworzyłem instancję obiektu i sprawdziłem, czy jest to klasa (false) czy obiekt (true).

Klasa w Rubim, jest rodzajem obiektu szablonu używanego do tworzenia instancji tej klasy. Przykro mi, że to nie jest zbyt jasne. Kluczową koncepcją jest to, że ruby jest czystym językiem zorientowanym obiektowo, w przeciwieństwie do Javy.

Hierarchia klasy / metaclass jest zawsze trochę zastanawiająca:) dla porównania, Oto ten w Smalltalku; w Rubim konfiguracja opiera się na tych samych zasadach, z tym, że nie ma rozróżnień Behavior i ClassDescription, A są moduły i eigenclasses do wzięcia pod uwagę.

Pełne wyjaśnienie modelu obiektowego Smalltalk jest dostępne w Pharo na przykładzie , na co wskazuje to powiązane pytanie .

Jak pisze w Ten artykuł

Obiekty nie przechowują metod, tylko klasy mogą.

Pierwsze sekcje mają kilka dobrych punktów o klasach vs obiektach

Jedna z odpowiedzi mówi o tym:

Zasadniczo kluczową rzeczą do zrozumienia jest to, że każda klasa jest instancja klasy klasa i każda klasa jest podklasą obiektu. Więc każda klasa jest obiektem w tym sensie, że jest instancją podklasa obiektu, czyli Klasa.

class Apple
end

Apple jest instancją klasy, czyli jest realizowaną odmianą schematu. Pobiera schemat i wypełnia szczegóły (metody i zmienne) własną zmiennością. Schemat dziedziczy po innym schemacie, którym jest obiekt. Więc każda klasa jest instancją klasy, który jest podklasą obiektu.

class A 
end
A.parent  
=> Object     
A.class  
=> Class

Uwaga klasa ma moduł w swoim łańcuchu dziedziczenia (moduł dołączony do klasy jako mixin może ponieważ rodzicem klasy jest obiekt?).

A.is_a?(Module)
 => true  

Instancje (A. new) klasy A będą miały swoje własne zrealizowane odmiany A. ale są instancjami obiektowymi. Musimy więc rozróżnić instancje klas (np. class A end) i instancje obiektów (a = A. new). Instancje obiektów mają inny łańcuch dziedziczenia. Są one realizowaną odmianą instancji klasy / align = "left" /

Oznacza to, że ich łańcuch dziedziczenia nie jest klasą ani modułem. Ale raczej inne instancje obiektu, więc jeśli A ma instancje obiektu, A B ma instancje obiektu, a a dziedziczy z B, kiedy utworzymy nową instancję obiektu A, ta instancja będzie miała instancje B w swoim łańcuchu dziedziczenia.

Będą również dziedziczyć po obiekcie, ponieważ wszystko w Rubim dziedziczy po obiekcie.

a = A.new
 => #<A:0x007f966449b8d8> 
a.is_a?(Class)
 => false 
a.is_a?(Module)
 => false 
a.is_a?(Object)
 => true 

I to jest najlepszy sposób, aby o tym myśleć wszystkie. Nie wchodź zbyt głęboko w swoje myślenie. Zaakceptuj to tak, jak napisałam.

Myśl o klasach jako o obiektach globalnych.