Modules are wonderfully flexible language constructs which can be applied to a wide variety of use cases, such as namespacing, inheritance, and decorating. However, some developers are still confused about how modules work and how they interact with their own code. This article aims to shed some light on Modules and their usage.
The Ruby Object Model (ROM)
As with most things Ruby, modules are very easy to use, once we understand how they fit into the Ruby Object Model (ROM). The ROM is populated by objects that are classes (class-objects, a.k.a. Classes) and objects that are instances of classes (instance-objects). Oh, and Modules too! Let’s create a couple of classes:
class Car def drive "driving" end end class Trabant < Car end
If we visualize the ROM on a 2D plain, then the object hierarchy looks like this:
The class-objects our class is derived from live above our class. The class-objects deriving from our class live below it. To the right of our class, lives its eigenclass (a.k.a singleton class or meta-class). Eigenclasses are class-objects, too, and as such, they have superclasses, usually the eigenclass of our class’s superclass or, in the case of instance objects, the class of the object itself. A full description of eigenclasses is beyond the scope of this article and deserves an article in itself. For now, don’t worry too much about them, just know that they are there and that they have a purpose.
So, what happens when we instantiate an object based on our class?
my_car = Car.new
Ruby will create our object’s eigenclass directly under our Car class. It will place our new instance (
my_car) to the left of its eigenclass and outside the object hierarchy.
We can actually verify all this in Ruby’s
my_car.class => Car > my_car.singleton_class => #<Class:#<Car:0x0000000165e568>> > my_car.singleton_class.class => Class > my_car.singleton_class.superclass => Car
Let’s call a method on our object?
The object we call a method on (
my_car) is called the receiver object. Ruby has a very simple algorithm for looking up methods:
receiver –> look to the right –> look up
When we call the
drive method on
my_car, Ruby will first look to the right in
my_car‘s eigenclass object. It won’t find the method definition there, so it will look up to the Car objects, where it will find the definition of
drive. Knowing this makes understanding how to use modules easy.
Modules in Their Environment
There are three things we can do with a module:
- Include it in our class-objects
- Prepend it to our class-objects
- Extend our class objects or instance objects with it
The Helicopter Rule
Ruby slots Modules into the ROM by following what I call the Helicopter rule. I call it that because in my warped imagination the diagram looks like a helicopter, as shown in the above image. The Helicopter Rule means:
- Including a module in our object will place it directly above our object.
- Prepending a module to our object will place it directly below our object.
- Extending our object with a module will place it directly above our object’s eigenclass.
Let’s verify this in code:
module A; end module B; end module C; end class MyClass include A prepend B extend C end MyClass.ancestors => [B, MyClass, A, Object, Kernel, BasicObject] MyClass.singleton_class.ancestors => [#<Class:MyClass>, C, #<Class:Object>, #<Class:BasicObject>, Class, Module, Object, Kernel, BasicObject]
We observe that module A is placed directly above
MyClass (included), module B is placed directly below
MyClass (prepended) and module C is placed directly above
MyClass‘s eigenclass (extended)
Learn PHP for free!
Make the leap into server-side programming with a comprehensive cover of PHP & MySQL.
RRP $11.95 Yours absolutely free
NOTE: Calling the superclass method on a class object will give us the next higher class in the ancestor chain above our class. However, as Modules aren’t technically Classes,
superclass won’t show us any modules directly above our class. For that, we need to use the
Let’s open our Car class and include a Module:
module V12Engine def start; "...roar!"; end end class Car include V12Engine end
When we include a module in our class, Ruby places it directly above our class. This means that when we call a method on our instance object, Ruby will find it in the object hierarchy and run it:
my_car.start => ...roar!"
This is the usual way to implement multiple inheritance in Ruby, as we can include many modules in our class, thereby giving it a lot of extra functionality. Modules used to that effect are known as “mixins”.
Note: It also means that if we define a method with the same name in our Car class, Ruby will find and run this instead and our Module method will never be called.
When we prepend a module to our class, Ruby places it directly below our class. The means that, during method lookup, Ruby will encounter the methods defined in the Module before the methods defined in our Class. As a result, any module methods will effectively override any class methods with the same name. Let’s try this:
module ElectricEngine def drive; "eco-driving!"; end end class Car prepend ElectricEngine end my_car = Car.new my_car.drive => eco-driving!
Observe that if we now call the
drive method on
my_car, we’re getting the prepended module’s implementation of the method, instead of the
Car class implementation. Prepending modules can be very useful when we want to scope our method logic according to various external conditions. Say, for example, we want to measure our methods’ performance when running in a test environment. Instead of polluting our methods with
if statements and instrumentation code, we can put our specialized methods in a separate module and prepend the module to our class only if we’re in a test environment:
module Instrumentable require 'objspace' def drive puts ObjectSpace.count_objects[:FREE] super puts ObjectSpace.count_objects[:FREE] end end class Car prepend Instrumentable if ENV['RACK_ENV'] = 'test' end my_car = Car.new.drive => 711 => driving => 678
Including and Prepending with Instances
As instance objects are placed outside the ROM hierarchy, there is no ‘above’ or ‘below’ them where we can place modules (see the Method Lookup diagram). This means that we cannot include or prepend modules to instance objects.
When we extend our class object with a module, Ruby places it directly above our object’s eigenclass:
module SuperCar def fly; "flying!"; end end class Car extend SuperCar end
Our Car instances can’t access the
fly method, as the method lookup will start at the car instance,
my_car, move right to the eigenclass
my_car and then up to the
Car class and its ancestors. The
fly method will never be found in that path:
my_car.fly => NoMethodError: undefined method `fly' for #<Car:0x000000019ae8d0>
But what if we call the method on our class object instead?
Car.fly => flying
Our receiver object is now the
Car class itself. Ruby will first look to the right (
Car) and then up to
SuperCar module where, lo and behold, it will find the
fly method. So, extending a Class with a Module, effectively gives our Class new class methods.
We can extend a specific instance of our Class, like so:
This will place the SuperCar module above our object’s eigen-class.
We can now call
fly on our car:
my_car.fly => flying
But not on any other car:
another_car.fly => NoMethodError: undefined method `fly' for #<Car:0x000000012ae868>
Extending an instance object with a Module is a great way to dynamically decorate specific Class instances. I use it all the time in Rails applications to easily and quickly implement the Presenter pattern (i.e. model objects that I want to show in my views)
<%= my_article.extend(Presentable).title %>
There’s much more to Modules than can be covered in a single article. Understanding how Modules fit into the Ruby Object Model is essential in order to use them fully and creatively. Let us know how Modules fit into your designs and all the cool things you do with them!
Fred is a software jack of all trades, having worked at every stage of the software development life-cycle. He loves: solving tricky problems, Ruby, Agile methods, meta-programming, Behaviour-Driven Development, the semantic web. Fred works as a freelance developer, and consultant, speaks at conferences and blogs here .
Jump Start Git, 2nd Edition
Visual Studio Code: End-to-End Editing and Debugging Tools for Web Developers