Understanding the Object Model

Camilo Reyes

Structure and hierarchy background

Have you ever wondered why Ruby behaves like this?

class A
  def self.my_method
    'hello'
  end
  def my_other_method
    'hello again'
  end
end

A.my_method # => "hello"

a = A.new
a.my_other_method # => "hello again"

a.my_method # => NoMethodError: undefined method

If you come from a classical language such as Java, you may consider that my_method is much like a static method. But, there are key differences:

  • Class methods get invoked only from the class and get inherited.
  • Instance methods get invoked only through an instance of the class and get inherited.
  • Instance objects can also declare “class” methods.

Confused yet?

In this article, we’ll explore the object model. This will give you a deeper insight into the way Ruby stacks and manages objects. For the purposes of this article, we’ll be using Ruby MRI 2.1. If interested, I recommend firing up irb in a console and getting your feet wet. Don’t forget to wear floaties as we’ll be going to the deep end of the pool. I’ll have mine on, too.

What is a Singleton Method?

What if I told you that every method in Ruby is a singleton method? If what I am saying to you is true, then every singleton method must belong to a “class” singleton object. Now, if you know the singleton design pattern in a classical language, forget everything you have learned. If you have never heard of singleton methods, then you are already one step ahead. Let’s have a look:

class D; def method_one; 'hello from method_one'; end; end
def D.method_two; 'hello from method_two'; end
D.method_two
# => "hello from method_two"
d = D.new
d.method_one
# => "hello from method_one"

From Ruby’s perspective, these two method invocations would be similar. In theory, what we would have are singleton methods of a singleton object invoked. So, when the receiver D or d invokes a method, there must be a lookup in Ruby that goes one step right to the “class” and up the ancestors chain. But wait, you say, isn’t one an instance method and one a class method?

Let’s take a closer look and see how deep this rabbit hole goes:

d.class
# => D
d.class.instance_methods.grep(/method_one/)
# => [:method_one]

So far, so good. The method lookup in receiver d is going one step right to the “class” and finding method_one. Keep in mind that, in Ruby, classes are singleton objects, too. But, what about D?

D.class
# => Class
D.class.instance_methods.grep(/method_two/)
# => []

Wait a second, something is amiss. My method is not defined in Class so there must be more to this than meets the eye.

Well, something doesn’t feel quite right so how about this:

def d.method_three; 'hello from method_three'; end;
d.method_three
# => "hello from method_three"
d.class
# => D
d.class.instance_methods.grep(/method_three/)
# => []

Wait another second! method_three is not defined in class D, either. Maybe there is something critical we are not seeing from this. One thing is for sure, with these last two invocations, they are both missing from their supposed class. For our singleton method hypothesis to make any sense, these methods must belong to a “class”. Let’s see if we can find these elusive classes.

Enter Eigenclasses

In Ruby, the terminology seems to be at odds on what to call these metaclasses. Yukihiro “Matz” Matsumoto hasn’t announced an official name yet. But he seems to like the mathematician-friendly name of eigenclass. Another accepted term is singleton class.

The word eigen in German (pronounced: AYE-gun), roughly means “one’s own”. In this case, meaning an object’s “own class.” In this article, we’ll stick with eigenclass for our terminology.

To find these elusive UFOs in Ruby, you can do:

d.singleton_class
# => #<Class:#<D:0x007ff882b629c0>>

Or, if you want to impress your friends with your mad Ruby skills, hack up:

class Object; def eigenclass; class << self; self; end; end; end
d.eigenclass
# => #<Class:#<D:0x007ff882b629c0>>

With this code, we are reopening Object, which is up in the ancestors chain (more on this later) and adding a method. This method goes right into the eigenclass and returns “self” which is the eigenclass of the receiver. Neat trick, huh?

Now that we have found our eigenclasses, let’s check to see if my theory makes any sense:

D.eigenclass.instance_methods.grep(/method_two/)
# => [:method_two]
d.eigenclass.instance_methods.grep(/method_three/)
# => [:method_three]

Tada! We have found our methods. Notice how this method lookup is not any different from the lookup on method_one. To recap, it is one step right to the “class” and up the ancestors chain. Ruby seems to wrap this code for us in a lookup method called singleton_methods, but now we know it is all smoke and mirrors.

I should mention a word on duck-typing, since some folks get horrified by singleton methods in Ruby. Duck typing is: “If it walks like a duck and quacks like duck, then it must be a duck.” In Ruby, the “type” of an object is a set of singleton methods to which it responds. It is not bound to a class definition.

I know, you might be hearing Spiderman’s Uncle Ben in your head: “With great power, comes great responsibility.” Ruby always assumes that you are responsible in wielding this powerful technique.

Method Lookup in Action

Armed with our sure knowledge of Ruby, we should be able to paddle our way towards the deep end. Let’s draft a quick “lab rat” program so we can verify the object model at work:

class C; def an_instance_method; end; end
def C.a_class_method; end
class E < C; end
obj = E.new
def obj.a_singleton_method; end

Now, let’s go one step right to the “class” and up the ancestors chain to see how everything arranges:

arr = [:an_instance_method, :a_class_method, :a_singleton_method]
obj.eigenclass
# => #<Class:#<E:0x007f8b2a85cd40>>
obj.eigenclass.instance_methods.select { |m| arr.include?(m) }
# => [:a_singleton_method, :an_instance_method]
obj.eigenclass.superclass
# => E
obj.class
# => E
E.superclass
# => C
C.instance_methods.select { |m| arr.include?(m) }
# => [:an_instance_method]
C.superclass
# => Object
Object.superclass
# => BasicObject
BasicObject.superclass
# => nil

An important thing to note is the superclass of an eigenclass of an object is the object’s class. I recommend repeating that last sentence over and over until everything just clicks. The ancestors chain stays on the classes which is why we can find the methods inside obj’s eigenclass. As shown, :an_instance_method belongs to C. Also, instance_methods pulls methods from the ancestors chain as well.

What about the eigenclasess of our classes?

E.eigenclass
# => #<Class:E>
E.eigenclass.superclass
# => #<Class:C>
C.eigenclass.instance_methods.select { |m| arr.include?(m) }
# => [:a_class_method]
C.eigenclass.superclass
# => #<Class:Object>
Object.eigenclass.superclass
# => #<Class:BasicObject>
BasicObject.eigenclass.superclass
# => Class
Class.superclass
# => Module
Module.superclass
# => Object

Looking at the above example, the superclass of an eigenclass of a class is the eigenclass of the class’s superclass. Now, repeat that last sentence, super-fast! The ancestors chain for classes and eigenclasses merge at Object. See, it is not so tough to swim with the “big boys” after all.

But, What About Modules?

Turns out, in Ruby modules aren’t much different than classes. The key difference being that they don’t show up in the ancestors chain when you type up superclass. Let’s see if there is a way to track modules, try:

module F; def a_module_method; end; end
class E; include F; end
E.superclass
# => C
E.ancestors
# => [E, F, C, Object, Kernel, BasicObject]

As you can see, when you add a module it gets appended to the ancestors chain. We can verify this with:

E.instance_methods.include?(:a_module_method)
# => true

In Conclusion

Okay, it is now time for a Pop Quiz!

Can you tell me what happens when I do this?

module F; class G; end; end

How does that look like in the ancestors chain? Is there a way to instantiate class G? If you get completely lost, leave comments.

The Ruby object model is one that is mysteriously captivating and simple. Once you wrap your head around it, the entire language feels like it falls right into place. I hope that you have now gained more insight into mastering this beautiful language.

Happy hacking!

Free book: Jump Start HTML5 Basics

Grab a free copy of one our latest ebooks! Packed with hints and tips on HTML5's most powerful new features.

  • kristeraxel

    good stuff.

  • Stuart Hannig

    With the code:

    module F; def a_module_method; end; end
    class E; include F; end
    E.superclass

    I get => Object, not C

    • Bheeshmar

      That is true in isolation, but if you had run his previous examples, specifically where he defines “class E < C; end", then you get C.

      • Stuart Hannig

        Okay, I was wondering if that was the issue. I wasn’t under the impression it was reliant on the previous code, but that makes general sense. Thanks.

  • jonnysnip3r

    Great post!

  • JimmyBourassa

    Well written, thanks for sharing.