CSC/ECE 517 Fall 2010/ch5 5e mf

The Dependency Injection Pattern

An explanation by way of example

The dependency injection pattern is a design pattern for fully decoupling one class from the instantiation of another class upon which it depends. In this sense, it is similar to the factory and service locator patterns which are also concerned with abstracting object creation away from the dependent class. The utility of and differences between these patterns will be demonstrated through example. Suppose, that Syd has a strategy for making statements about objects illustrated in the following Ruby code.

# A strategy for remarking on things.
class Syd
  def remark
    if @thing.got_it?
      puts "I've got a #{@thing}."
    else
      puts "I know a #{@thing}."
    end
  end
end

With this method, Syd can make a statement about any object thing that implements the methods got_it? and to_s. The Bike class shown below is an example.

# An example of a thing upon which to remark.
class Bike
  def to_s
    "bike"
  end
  def got_it?
    return true
  end
end

In order for Syd to use his strategy, he must get ahold of a thing. The simplest way to do this is to instantiate a thing directly.

# An example of direct object instantiation.
class Syd
  def initialize
    @thing = Bike.new
  end
end

However, now all that Syd can talk about is his bike. This is because, although Syd has a strategy for talking about a wide variety of things, Syd depends on the concrete class Bike for thing creation. A common technique for encapsulating object instantiation is the factory pattern. The following example uses a factory to allow Syd to talk about an array of things. In this case, thing creation is random, but a more complex factory might be configurable through constructor arguments or some external resource like an XML file.

# An example of the factory pattern.
class ThingFactory
  def initialize
    # An array of thing classes.
    @things = [Bike, Cloak, Mouse, GingerbreadMen, Room]
  end
  def create_random_thing
    # Pick a random thing and create an instance of it.
    @things.sort_by { rand }[0].new
  end
end

$thing_factory = ThingFactory.new

class Syd
  def initialize
    # Use the factory to create a random thing
    @thing = $thing_factory.create_random_thing
  end
end

One major drawback of using the factory pattern is that each abstraction needs its own factory. In this case, the only abstraction is thing, but if there were many abstractions this could lead to a lot of unnecessary code duplication, since factories are often similar to one another. This may result in code that is difficult to maintain. Consider the case where object instantiation is configured by some outside resource like an XML file. If each factory must independently obtain information from this resource, then every time that the format of the XML file changes, every factory implementation must be modified as well.

The service locator pattern addresses the problem of factory proliferation by centralizing object instantiation. In a sense, the service locator consolidates a collection of factories into a single repository from which other objects may request dependencies. However, the role of the service locator is somewhat different from the factory. Whereas factories are specifically concerned with object creation, the service locator is concerned with supplying dependencies to objects. Consider several classes which all depend on a common abstraction. Whereas a factory would typically create an instance of the abstraction for each of the classes, the service locator might create a single instance and supply it to all of the classes.

The example problem is not complex enough to truly benefit from a service locator, but the following example code demonstrates how a service locator can facilitate code reuse. The class_eval method is used to add methods procedurally for each of the abstractions ("services") that the service locator provides. If the method of random object creation needs to be modified at some point in the future, there is only a single definition that needs to be changed.

# An example of the service locator pattern.
class ServiceLocator
  def initialize
    # Several arrays of abstractions
    @things = [Bike, Cloak, Mouse, GingerbreadMen, Room]
    @charms = [Heart, Star, Horseshoe, Clover]
    @triffles = [Tiramisu, StrawberryShortcake, TipsyLaird]
  end
end
# Add a get_random method for each abstraction
[:thing, :charm, :trifle].each do |abstraction|
  ServiceLocator.class_eval "def get_random_#{abstraction}
      @#{abstraction}s.sort_by { rand }[0].new
    end"
end

$service_locator = ServiceLocator.new

class Syd
  def initialize
    # Use the service locator to get a random thing
    @thing = $service_locator.get_random_thing
  end
end

However, the factory and service locator patterns share a common disadvantage. Namely, a class which uses a factory or a service locator necessarily depends on the factory or service locator. This has potentially serious implications for code maintainability. A class which uses a service locator must know the name and calling conventions of the service locator in order to use it. If the name or calling conventions of the service locator are modified, all classes which use the service locator must also be modified. The same is true of factories.

Dependency injection eliminates the dependency between a class and the mechanism used to supply its dependencies. Rather than make an object responsible for acquiring its own dependencies (directly, through factories, or through a service locator), dependency injection places the responsibility on the code that uses the object to provide the dependencies that the object needs. This is usually accomplished either by passing dependencies as arguments to the object's constructor or to a setter method. The following code demonstrates dependency injection via a constructor argument.

# An example of the dependency injection pattern.
class Syd
  def initialize(thing)
    # Constructor injection.
    @thing = thing
  end
end

Dependency injection is an example of the inversion of control principle. Rather than giving a class control of the creation of its own dependencies, control is abstracted out to higher-level code (an "assembler") which creates the dependencies and provides them to the class.

This method of decoupling a class from its dependencies makes the dependency injection pattern fundamentally different from the factory and service locator patterns. Whereas the factory and service locator patterns encapsulate object instantiation so as to hide the concrete class from the dependent object, the dependency injection pattern pulls the act of object instantiation outside of the dependent object through inversion of control.