CSC/ECE 517 Fall 2011/ch2 2c ac: Difference between revisions
Line 105: | Line 105: | ||
== Multiple Inheritance Support== | == Multiple Inheritance Support== | ||
===Mix and match=== | ===Mix and match=== | ||
Mixin can inherit behavior of modules while Interface only inherit method signature. | Mixin can inherit behavior of modules while Interface only inherit method signature. |
Revision as of 18:28, 19 September 2011
Ruby mixins versus Java interfaces
To inherit from multiple sources Ruby uses mixins while Java uses interfaces. This article explains both mechanisms, finds similarities and highlights differences between the two. Some code samples show the practical use of both mechanisms. The article also tries to remark situations where the use of one mechanism would be more appropriate than the other.
Ruby mixins
In Ruby a mixin happens when a module is included/mixed into a class or into another module.
A module is "a way of groping together methods, classes and constants." (Thomas 76) Not only can modules contain class methods; they can also contain instance methods. (From lecture 6 note)
# module Introspect defines a method named 'kind' module Introspect def kind puts "#{self.class.name}" end end
A module cannot be instanciated but it can be included/mixed into another class that inherits anything that the module defines.
# The Animal and the Car classes include/mix in the module Introspect class Animal include Introspect end class Car include Introspect end
The class that includes a module inherits anything that the module defines.
d = Animal.new c = Car.new # the method 'kind' is inherited from the Introspect module puts d.kind puts c.kind # outputs Animal Car
Notice that the code in the module has access to variables of the host class. In this sample the kind method defined in the Introspectmodule accesses the self variable of the host class (either Animal or Car).
Also notice that the include “statement makes a reference to a module. If multiple classes include that module they’ll all point to the same thing. If you change the definition of a method within that module, even while your program is running, all classes that include the module will exhibit the new behavior.” (Thomas 79)
Java interfaces
In its most common form, an interface is a group of related methods with empty bodies. A bicycle's behavior, if specified as an interface, might appear as follows:
interface Bicycle { void changeCadence(int newValue); // wheel revolutions per minute void changeGear(int newValue); void speedUp(int increment); void applyBrakes(int decrement); }
To implement this interface, the name of your class would change (to a particular brand of bicycle, for example, such as ACMEBicycle), and you'd use the implements keyword in the class declaration:
class ACMEBicycle implements Bicycle { // remainder of this class implemented as before }
Comparison
From the above code samples, besides the syntax, we can see one major difference between Ruby mixins and Java interfaces:
- a Ruby mixin adds behavior to the host class while a Java interface does not.
In the Ruby sample the host class inherits from the Introspect module the behavior of the kind method and therefore it can call the method right away.
In Java the class that implements an interface must code the behavior of the inherited methods itself.
In Ruby, the ability to call the inherited method right away is good for rapid prototyping.
On the other hand one should be aware that the include “statement makes a reference to a module. If multiple classes include that module they’ll all point to the same thing. If you change the definition of a method within that module, even while your program is running, all classes that include the module will exhibit the new behavior.” (Thomas 79)
Bloch reminds us that this is a typical risk of implementation inheritance: for its proper function, the host class may depend on the implementation of the included module. If the implementation of the included module changes the host class may brake. (81)
Features | Ruby Mixins | Java Interfaces |
---|---|---|
Add functionality/behavior to a class | Yes. When a Ruby module gets mixed in a Ruby class, the class receives the implementation (behavior) of the methods defined in the module. | No. A Java interface "can contain only constants, method signatures, and nested types. There are no method bodies. Interfaces cannot be instantiated—they can only be implemented by classes or extended by other interfaces." (Java Interface) |
Favor composition over inheritance | Yes. The class that includes a module establishes a "use-a" relationship with the module. This is composition. | No. The class that implements an interface establishes a "is-a" relationship with the interface. This is inheritance. |
The code of the mixin/interface interacts with the code of the class that includes/implements it | Yes. A mixed-in module can implement methods in terms of the host's class methods. See the Enumerable example. | No. An interface provides a set of method signatures that the host class must implement. An interface provides no implementation of methods. |
Multiple Inheritance Support
Mix and match
Mixin can inherit behavior of modules while Interface only inherit method signature.
Submodularity
Separation of interface and implementation
Java interface ensures the seperation of interface and implementation, while mixin can also simulate it, mixin needs to be handuled more cautiously to separate interface and implementation.
Java interface can ensure the class implements from the interface provides its own method definitions, while Ruby mixin does not provide such reassurance.
For example we have a Shape interface, and a Circle class that implements Shape
package interfaces; public interface Shape { public void draw(); } package classes; import interfaces.Shape; public class Circle implements Shape{ public void draw() { System.out.println("This method draws a circle"); } }
If Circle class does not provide a draw method, the class wil not compile.
However, in case of Ruby, a class inherits all the behavior from a module, it does not require to overload the methods within the module.
module Shape def draw raise NoMethodError, "draw method is not defined for Shape" end end class Circle include Shape end puts Circle.new.draw =>shape.rb:3:in `draw': draw method is not defined for Shape (NoMethodError)
Inheritance Problem Handling
Name Collision
"A mixed-in module's instance variables can clash with the ones of the host class or with the ones of other mixins."(Thomas 82) There are programming practices to avoid this potential problem.
Name collision is handled more carefully with Interface. The method clashes are eliminated during compile time.
Because of the unbound polymorphism nature, the return type of Ruby method is determined at run time. This allows a class inherits from two modules that include same method call with different return types.
In Java, a class cannot inherits from two interfaces that include same method with different return type, due to the name conflict. For example,
public interface I1 { public void method1(); } public interface I2 { public int method1(); } package classes; import interfaces.I1; import interfaces.I2; public class Mul_inherit implements I1, I2{ ... }
The Mul_inherit class will give error since there are no ways to satisfy both method1 signatures from I1 and I2.
But with Mixin this example is allowed since
-
1. A method always returns a value (nil if nothing is defined).
2. The type of return object is determined at runtime.
module M1 def method1 #this method returns nothing" end end module M2 def method1 "returns a string" end end class Myclass include M1 include M2 end puts Myclass.new.method1 =>returns a string
In Ruby the latest method definition always overloads the previous one, therefore, the name collision needs to be handled more carefully.
Examples
We are going to compare mixin and interface implementions by looking at some code examples.
Comparable
Comparable provides a set of operations that can be used to compare two objects.
In Ruby
If a Ruby class wants to use Comparable functions, it needs to define a method called <=> (sometimes called “rocket”). Ones the rocket function is defined, we get a lot of comparison functions for free, such as <, >, <=, >=, == and the method between.
Suppose we have a Rectangle class.
class Rectangle attr_reader :x,:y def initialize(x,y) @x,@y=x,y end end
Now we want to compare the area of two rectangles. We can do so by include the Comparable mixin.
class Rectangle include Comparable def area x*y end def <=>(other) self.area<=>other.area end end
The <=> function uses Comparable mixin of Fixnum class to compare the area of two rectangles. We can call the Comparable methods on Rectangle objects.
r1 = Rectangle.new(3,4) r2 = Rectangle.new(4,5) puts r1.area if r1 < r2 puts "The area of Rectangle 1 is smaller than Rectangle 2" else if r1 > r2 puts "The area of Rectangle 1 is larger than Rectangle 2" else puts "The area of Rectangle 1 equals to Rectangle 2" end end =>12 =>The area of Rectangle 1 is smaller than Rectangle 2
In Java
Java provides Comparable interface. A Java class implements Comparable interface need to define compareTo method.
For the same Rectangle class example, we need to define compareTo method, and define each of the <=> operators within the method.
public class Rectangle implements Comparable { private int x,y; public Rectangle(int width, int length) { x=width; y=length; } public int area() { return x*y; } public int compareTo(Object otherRectangle) { /* * If passed object is of type other than Rectangle, throw ClassCastException */ if(!(otherRectangle instanceof Rectangle)){ throw new ClassCastException("Invalid object"); } /* * If left operand less than right operand return -1 * If left operand greater than right operand return 1 * If left operand equals to right operand return 0 */ int otherArea=((Rectangle)otherRectangle).area(); if (this.area() < otherArea) return -1; else if (this.area() > otherArea) return 1; else return 0; } }
compareTo function is then used on Rectangle object when comparing two Rectangle objects.
public class CompareRectangle { public void main(String args[]){ Rectangle r1=new Rectangle(3,4); Rectangle r2=new Rectangle(4,5); if (r1.compareTo(r2) < 0) System.out.println("The area of Rectangle 1 is smaller than Rectangle 2"); if (r1.compareTo(r2) > 0) System.out.println("The area of Rectangle 1 is larger than Rectangle 2"); if (r1.compareTo(r2)==0) System.out.println("The area of Rectangle 1 equals to Rectangle 2"); } }
Singleton
The Singleton design pattern ensures that only one instance of a particular class may be created for the lifetime of a program.
In Ruby
The singleton library contains the Singleton module that if mixed into a class will make the class a singleton. The Singleton module makes the mixee new method private and replaces it with a method called instance that when called returns a singleton instance of the mixee.
You do not have to code the singleton functionality inside each class that needs to be a singleton.
require 'singleton' class Klass include Singleton end a,b = Klass.instance, Klass.instance => [#<Klass:0x007fa7a28798e8>, #<Klass:0x007fa7a28798e8>] a == b => true Klass.new NoMethodError: private method `new' called for Klass:Class
In Java
Each class that needs to be a singleton must implement the singleton functionality itself such as in the following example.
public class Singleton { private static final Singleton instance = new Singleton(); /** Private constructor prevents instantiation from other classes **/ private Singleton() { } public static Singleton getInstance() { return instance; } }
Enumerable
The Enumerable pattern is used to describe a set of fix contants.
In Ruby
Enumerable is a standard mixin in Ruby that can be included in any class. A class wants to use Enumerable funcation needs to define each method.
Consider a class takes a string and change the words to uppercase.
class WordToUpper include Enumerable attr_reader :string def initialize(string) @string=string end def each @string.upcase.scan(/\w/) do |upper| yield upper end end def to_s self.each{|a| puts a} end end
Now that each method is defined we can use inject method from Enumerable mixin.
puts WordToUpper.new("Rudolph is a Ring Deer!").inject{|v,n| v+n} =>RUDOLPHISARINGDEER
In Java
In Java there is no interface comparable to the Enumerable mixin in Ruby defined. Java can simulate the use of Enumerable by using Iterator class. However, it is not as convenient as have a Enumerable interface.
import java.util.*; public class EnumerableExample { public static void main(String args[]) { //removal of items requires an explicit iterator : Collection<String> words = new ArrayList<String>(); words.add("Rudolph"); words.add("is"); words.add("a"); words.add("red"); words.add("nose"); words.add("ring"); words.add("deer"); for(Iterator<String> iter = words.iterator(); iter.hasNext();){ if (iter.next().length() == 4){ iter.remove(); } } } }
In this example, we removed all strings with length of 4 in the Collection.
DataMapper
Martin Fowler describes the Data Mapper design pattern as "a layer of software that separates the in-memory objects from the database. Its responsibility is to transfer data between the two and also to isolate them from each other. With Data Mapper the in-memory objects needn't know even that there's a database present; they need no SQL interface code, and certainly no knowledge of the database schema. (The database schema is always ignorant of the objects that use it.)"(Data Mapper)
In Ruby
The DataMapper Ruby library was originally developed to address perceived shortcomings in Ruby on Rails' ActiveRecord library. For example DataMapper lets you avoid writing raw query fragments yourself. It allows you to write
Zoo.all(:name => 'Dallas')
instead of
Zoo.find(:all, :conditions => [ 'name = ?', 'Dallas' ])
In Java
The mybatis SQL Mapping Framework implements the Data Mapper design pattern. Its setup and use though seem more complicated than the DataMapper Ruby library.
Mixins in Java
Java does not support mixins natively.
Different approaches try to reproduce the mixin feature in Java.
One example is the cgilb Java library. It provides the Mixin class that allows multiple objects to be combined into a single larger object at run time. The methods in the generated object simply call the original methods in the underlying "delegate" objects.
A similar result is achieved at compile time by this Java annotations processor. Let's say for example that you want to combine/mix the functionality of three classes into one class. You can write a Java annotation that declares which classes you want to mix, then you pass this annotation to the annotation processor and you get the source code of a class that combines all the three behaviors.
Another approach is to implement the Decorator design pattern. In this case the new behavior is added not statically to classes at compile time but to specific objects/instances at run time.
Conclusion
References
Bloch Joshua, "Effective Java". Second Edition. May 08, 2008.
Thomas Dave, "Programming Ruby 1.9" textbook
draft material
-- This is not the introduction yet. It's just an attempt to directly answer the questions from the teacher --
Functionality such as Comparable is done in Java with interfaces and in Ruby with mixins.
Is there an advantage in using one or another?
In Ruby, you only have to provide the logic for the <==> method and you'll get the <, >, <=, >=, == , between methods for free. In Java, when you implement the Comparable interface you'll have to provide the logic for the >, < and == comparisons. You'll have to code the logic for <=, >=, between yourself outside of the Comparable interface if you need those functions. In this case Ruby, out of the box, gives you more than Java.
Consider other behaviors achieved with mixins in Ruby: Singleton, Enumerable, and DataMapper, for example.
Could you accomplish these with interfaces in Java?
In Ruby, when a class includes the Singleton module it'll automatically becomes a singleton. In Java, you have to implement the Singleton design pattern in each class that you want to be a singleton. In this case Ruby allows you to write less code than Java.
Also in relation to the DataMapper design pattern, it seems more straightforward using the DataMapper Ruby gem then a Java library such as mybatis.
Does this mean that mixins are more powerful?
Mixins are more powerful than interfaces because they add behavior to the mixee.
Or can interfaces achieve some purposes that mixins can't?
I see nothing that an interface can do while a mixin cannot. It's true that via an interface the existence of a method can be checked at compile time rather than at run time, but I'm not sure if this advantage can be attributed strictly to interfaces rather than to the Java language itself.
Modules in Ruby
Modules in Ruby are a way to group together methods, classes and constants. They are similar to namespaces in languages such as C++. (From lecture 6 note)
Mixin using Modules
The most interesting use of modules is to define mixins. When you include a module within a class, all its functionality becomes available to the class. Not only can modules contain class methods; they can also contain instance methods. (From lecture 6 note)
Early/static binding (Java)
All method invocations must be defined at compile time. (Bowler)
Late/dynamic binding (Ruby)
The runtime does not check that a given method exists until an attempt to invoke it. (Bowler)
Multiple Inheritance
Multiple inheritance is a feature of some object-oriented computer programming languages in which a class can inherit behaviors and features from more than one superclass. (From Wikipedia, http://en.wikipedia.org/wiki/Multiple_inheritance)
Inheritance vs Composition
"Inheritance represents an incredibly tight coupling of two components. Change a parent class and you risk breaking the child class. But even worse, if code that uses objects of the child class relies on those objects also having methods defined in the parent, then all that code will brake too." (Thomas 84)
In Ruby, “the include statement makes a reference to a module. If multiple classes include that module they’ll all point to the same thing. If you change the definition of a method within that module, even while your program is running, all classes that include the module will exhibit the new behavior.” (Thomas 79)