OOP Inheritance & Polymorphism - Java Programming Tutorial
OOP Inheritance & Polymorphism - Java Programming Tutorial
| HOME
Java Programming
1.1 Composition EG. 1: The Autho
1.2 Composition EG. 2: The Point
1.3 Composition EG. 3: The Point
Tutorial 1.4 Exercises
2. Inheritance
OOP - Composition,
2.1 Inheritance EG. 1: The Circle
2.2 Method Overriding & Variable
Inheritance &
2.3 Annotation @Override (JDK 1
2.4 Keyword "super"
Three private member variables: name (String), email (String), and gender (char of either 'm' or 'f' - you might
also use a boolean variable called isMale having value of true or false).
A constructor to initialize the name, email and gender with the given values.
(There is no default constructor, as there is no default value for name, email and gender.)
Public getters/setters: getName(), getEmail(), setEmail(), and getGender().
(There are no setters for name and gender, as these properties are not designed to be changed.)
A toString() method that returns "name (gender) at email", e.g., "Tan Ah Teck (m) at
ahTeck@somewhere.com".
Let's design a Book class. Assume that a book is written by one (and exactly one) author. The Book class (as shown in the
class diagram) contains the following members:
Four private member variables: name (String), author (an instance of the Author class we have just created,
assuming that each book has exactly one author), price (double), and qty (int).
The public getters and setters: getName(), getAuthor(), getPrice(), setPrice(), getQty(), setQty().
A toString() that returns "'book-name' by author-name (gender) at email". You could reuse the Author's
toString() method, which returns "author-name (gender) at email".
The Book Class (Book.java)
1 /**
2 * The Book class models a book with one (and only one) author.
3 */
4 public class Book {
5 // The private instance variables
6 private String name;
7 private Author author;
8 private double price;
9 private int qty;
10
11 /** Constructs a Book instance with the given author */
12 public Book(String name, Author author, double price, int qty) {
13 this.name = name;
14 this.author = author;
15 this.price = price;
16 this.qty = qty;
17 }
18
19 // Getters and Setters
20 /** Returns the name of this book */
21 public String getName() {
22 return name;
23 }
24 /** Return the Author instance of this book */
25 public Author getAuthor() {
26 return author; // return member author, which is an instance of the class Author
27 }
28 /** Returns the price */
29 public double getPrice() {
30 return price;
31 }
32 /** Sets the price */
33 public void setPrice(double price) {
34 this.price = price;
35 }
36 /** Returns the quantity */
37 public int getQty() {
38 return qty;
39 }
40 /** Sets the quantity */
41 public void setQty(int qty) {
42 this.qty = qty;
43 }
44
45 /** Returns a self-descriptive String */
46 public String toString() {
47 return "'" + name + "' by " + author; // author.toString()
48 }
49 }
Notes: In this example, I used "name" for Book class instead of "title" to illustrate that you can have a variable name in both
the Author and Book classes, but they are distinct.
As an example of reusing a class via composition, suppose that we have an existing class called Point, defined as shown in
the above class diagram. The source code is HERE.
Suppose that we need a new class called Line, we can design the Line class by re-using the Point class via composition.
We say that "A line is composed of two points", or "A line has two points". Composition exhibits a "has-a" relationship.
UML Notation: In UML notations, composition is represented as a diamond-head line pointing to its constituents.
l1.setBeginX(21);
l1.setBeginY(22);
l1.setEndX(23);
l1.setEndY(24);
System.out.println(l1); // Line's toString()
//Line[begin=(21,22),end=(23,24)]
System.out.println("begin's x is: " + l1.getBeginX());
//begin's x is: 21
System.out.println("begin's y is: " + l1.getBeginY());
//begin's y is: 22
System.out.println("end's x is: " + l1.getEndX());
//end's x is: 23
System.out.println("end's y is: " + l1.getEndY());
//end's y is: 24
l1.setBeginXY(31, 32);
l1.setEndXY(33, 34);
System.out.println(l1); // Line's toString()
//Line[begin=(31,32),end=(33,34)]
System.out.println("begin's x and y are: " + Arrays.toString(l1.getBeginXY()));
//begin's x and y are: [31, 32]
System.out.println("end's x and y are: " + Arrays.toString(l1.getEndXY()));
//end's x and y are: [33, 34]
// Test getLength()
System.out.printf("length is: %.2f%n", l1.getLength());
//length is: 2.83
}
}
Exercise : Try writing these more complex methods for the Line class:
It contains:
Two private member variables: a radius (double) and a center (an instance of Point class, which we created earlier).
The constructors, public getters and setters.
Methods getCenterX(), setCenterX(), getCenterY(), setCenterY(), getCenterXY(), setCenterXY(), etc.
A toString() method that returns a string description of this instance in the format of "Circle[center=
(x,y),radius=r]". You should re-use the Point's toString() to print "(x,y)".
A distance(Circle another) method that returns the distance from the center of this instance to the center of the
given Circle instance (called another).
1.4 Exercises
LINK TO EXERCISES
2. Inheritance
In OOP, we often organize classes in hierarchy to avoid duplication and reduce redundancy. The classes in the lower hierarchy
inherit all the variables (static attributes) and methods (dynamic behaviors) from the higher hierarchies. A class in the lower
hierarchy is called a subclass (or derived, child, extended class). A class in the upper hierarchy is called a superclass (or base,
parent class). By pulling out all the common variables and methods into the superclasses, and leave the specialized variables
and methods in the subclasses, redundancy can be greatly reduced or eliminated as these common variables and methods
do not need to be repeated in all the subclasses. For example,
A subclass inherits all the variables and methods from its superclasses, including its immediate parent as well as all the
ancestors. It is important to note that a subclass is not a "subset" of a superclass. In contrast, subclass is a "superset" of a
superclass. It is because a subclass inherits all the variables and methods of the superclass; in addition, it extends the
superclass by providing more variables and methods.
UML Notation: The UML notation for inheritance is a solid line with a hollow
arrowhead leading from the subclass to its superclass. By convention, superclass is
drawn on top of its subclasses as shown.
Circle.java (Re-produced)
public class Circle {
// private instance variables
private double radius;
private String color;
// Constructors
public Circle() {
this.radius = 1.0;
this.color = "red";
System.out.println("Construced a Circle with Circle()"); // for debugging
}
public Circle(double radius) {
this.radius = radius;
this.color = "red";
System.out.println("Construced a Circle with Circle(radius)"); // for debugging
}
public Circle(double radius, String color) {
this.radius = radius;
this.color = color;
System.out.println("Construced a Circle with Circle(radius, color)"); // for debugging
}
Cylinder.java
/**
* A Cylinder is a Circle plus a height.
*/
public class Cylinder extends Circle {
// private instance variable
private double height;
// Constructors
public Cylinder() {
super(); // invoke superclass' constructor Circle()
this.height = 1.0;
System.out.println("Constructed a Cylinder with Cylinder()"); // for debugging
}
public Cylinder(double height) {
super(); // invoke superclass' constructor Circle()
this.height = height;
System.out.println("Constructed a Cylinder with Cylinder(height)"); // for debugging
}
public Cylinder(double height, double radius) {
super(radius); // invoke superclass' constructor Circle(radius)
this.height = height;
System.out.println("Constructed a Cylinder with Cylinder(height, radius)"); // for debugging
}
public Cylinder(double height, double radius, String color) {
super(radius, color); // invoke superclass' constructor Circle(radius, color)
this.height = height;
System.out.println("Constructed a Cylinder with Cylinder(height, radius, color)"); // for debugging
}
Keep the "Cylinder.java" and "TestCylinder.java" in the same directory as "Circle.class" (because we are reusing
the class Circle). Compile and run the program.
For example, the inherited method getArea() in a Cylinder object computes the base area of the cylinder. Suppose that
we decide to override the getArea() to compute the surface area of the cylinder in the subclass Cylinder. Below are the
changes:
But if you override the getArea() in the Cylinder, the getVolume() (=getArea()*height) no longer works. It is because
the overridden getArea() will be used in Cylinder, which does not compute the base area. You can fix this problem by
using super.getArea() to use the superclass' version of getArea(). Note that super.getArea() can only be issued from
the subclass definition, but no from an instance created, e.g. c1.super.getArea(), as it break the information hiding and
encapsulation principle.
Annotations are not programming constructs. They have no effect on the program output. It is only used by the compiler,
discarded after compilation, and not used by the runtime.
2.4 Keyword "super"
Recall that inside a class definition, you can use the keyword this to refer to this instance. Similarly, the keyword super
refers to the superclass, which could be the immediate parent or its ancestor.
The keyword super allows the subclass to access superclass' methods and variables within the subclass' definition. For
example, super() and super(argumentList) can be used invoke the superclass’ constructor. If the subclass overrides a
method inherited from its superclass, says getArea(), you can use super.getArea() to invoke the superclass' version
within the subclass definition. Similarly, if your subclass hides one of the superclass' variable, you can use
super.variableName to refer to the hidden variable within the subclass definition.
2.5 More on Constructors
Recall that the subclass inherits all the variables and methods from its superclasses. Nonetheless, the subclass does not
inherit the constructors of its superclasses. Each class in Java defines its own constructors.
In the body of a constructor, you can use super(args) to invoke a constructor of its immediate superclass. Note that
super(args), if it is used, must be the first statement in the subclass' constructor. If it is not used in the constructor, Java
compiler automatically insert a super() statement to invoke the no-arg constructor of its immediate superclass. This
follows the fact that the parent must be born before the child can be born. You need to properly construct the superclasses
before you can construct the subclass.
2.7 Single Inheritance
Java does not support multiple inheritance (C++ does). Multiple inheritance permits a subclass to have more than one direct
superclasses. This has a serious drawback if the superclasses have conflicting implementation for the same method. In Java,
each subclass can have one and only one direct superclass, i.e., single inheritance. On the other hand, a superclass can have
many subclasses.
// Constructors
/** Construct a Point2D instance at (0,0) */
public Point2D() { // default constructor
this.x = 0;
this.y = 0;
}
/** Constructs a Point2D instance at the given (x,y) */
public Point2D(int x, int y) {
this.x = x;
this.y = y;
}
/** Constructs a Person instance with the given name and address */
public Person(String name, String address) {
this.name = name;
this.address = address;
}
/** Constructs a Student instance with the given name and address */
public Student(String name, String address) {
super(name, address);
numCourses = 0;
courses = new String[MAX_COURSES];
grades = new int[MAX_COURSES];
}
/** Constructs a Teacher instance with the given name and address */
public Teacher(String name, String address) {
super(name, address);
numCourses = 0;
courses = new String[MAX_COURSES];
}
/** Adds a course. Returns false if the course has already existed */
public boolean addCourse(String course) {
// Check if the course already in the course list
for (int i = 0; i < numCourses; i++) {
if (courses[i].equals(course)) return false;
}
courses[numCourses] = course;
numCourses++;
return true;
}
/** Removes a course. Returns false if the course cannot be found in the course list */
public boolean removeCourse(String course) {
boolean found = false;
// Look for the course index
int courseIndex = -1; // need to initialize
for (int i = 0; i < numCourses; i++) {
if (courses[i].equals(course)) {
courseIndex = i;
found = true;
break;
}
}
if (found) {
// Remove the course and re-arrange for courses array
for (int i = courseIndex; i < numCourses-1; i++) {
courses[i] = courses[i+1];
}
numCourses--;
return true;
} else {
return false;
}
}
}
2.11 Exercises
LINK TO EXERCISES
3.1 "A line is composed of 2 points" vs. "A line is a point extended by another
point"
Recall that there are two ways of reusing existing classes: composition and inheritance. We have seen that a Line class can
be implemented using composition of Point class - "A line is composed of two points", in the previous section.
A Line can also be implemented, using inheritance from the Point class - "A line is a point extended by another point".
Let's call this subclass LineSub (to differentiate from the Line class using composition).
The Superclass Point.java
As above.
Notes: This is the same test driver used in the earlier example on composition, except change in classname.
Study both versions of the Line class (Line and LineSub). I suppose that it is easier to say that "A line is composed of two
points" than that "A line is a point extended by another point".
Rule of Thumb: Use composition if possible, before considering inheritance. Use inheritance only if there is a clear
hierarchical relationship between classes.
3.2 Exercises
LINK TO EXERCISES ON COMPOSITION VS INHERITANCE
4. Polymorphism
The word "polymorphism" means "many forms". It comes from Greek word "poly" (means many) and "morphos" (means
form). For examples, in chemistry, carbon exhibits polymorphism because it can be found in more than one form: graphite
and diamond. But, each of the form has it own distinct properties (and price).
4.1 Substitutability
A subclass possesses all the attributes and operations of its superclass (because a subclass inherited all attributes and
operations from its superclass). This means that a subclass object can do whatever its superclass can do. As a result, we can
substitute a subclass instance when a superclass instance is expected, and everything shall work fine. This is called
substitutability.
In our earlier example of Circle and Cylinder: Cylinder is a subclass of Circle. We can say that Cylinder "is-a" Circle
(actually, it "is-more-than-a" Circle). Subclass-superclass exhibits a so called "is-a" relationship.
Circle.java
/** The superclass Circle */
public class Circle {
// private instance variable
private double radius;
/** Constructs a Circle instanve with the given radius */
public Circle(double radius) {
this.radius = radius;
}
/** Returns the radius */
public double getRadius() {
return this.radius;
}
/** Returns the area of this circle */
public double getArea() {
return radius * radius * Math.PI;
}
/** Returns a self-descriptive string */
public String toString() {
return "Circle[radius=" + radius + "]";
}
}
Cylinder.java
/** The subclass Cylinder */
public class Cylinder extends Circle {
// private instance variable
private double height;
/** Constructs a Cylinder instance with the given height and radius */
public Cylinder(double height, double radius) {
super(radius);
this.height = height;
}
/** Returns the height */
public double getHeight() {
return this.height;
}
/** Returns the volume of this cylinder */
public double getVolumne() {
return super.getArea() * height;
}
/** Overrides the inherited method to return the surface area */
@Override
public double getArea() {
return 2.0 * Math.PI * getRadius() * height;
}
/** Override the inherited method to describe itself */
@Override
public String toString() {
return "Cylinder[height=" + height + "," + super.toString() + "]";
}
}
Via substitutability, we can create an instance of Cylinder, and assign it to a Circle (its superclass) reference, as follows:
You can invoke all the methods defined in the Circle class for the reference c1, (which is actually holding a Cylinder
object), e.g.
This is because a subclass instance possesses all the properties of its superclass.
However, you CANNOT invoke methods defined in the Cylinder class for the reference c1, e.g.
This is because c1 is a reference to the Circle class, which does not know about methods defined in the subclass
Cylinder.
c1 is a reference to the Circle class, but holds an object of its subclass Cylinder. The reference c1, however, retains its
internal identity. In our example, the subclass Cylinder overrides methods getArea() and toString(). c1.getArea() or
c1.toString() invokes the overridden version defined in the subclass Cylinder, instead of the version defined in Circle.
This is because c1 is in fact holding a Cylinder object internally.
Summar y
1. A subclass instance can be assigned (substituted) to a superclass' reference.
2. Once substituted, we can invoke methods defined in the superclass; we cannot invoke methods defined in the
subclass.
3. However, if the subclass overrides inherited methods from the superclass, the subclass (overridden) versions will be
invoked.
Consider the following example. Suppose that our program uses many kinds of shapes, such as triangle, rectangle and so
on. We should design a superclass called Shape, which defines the public interfaces (or behaviors) of all the shapes. For
example, we would like all the shapes to have a method called getArea(), which returns the area of that particular shape.
The Shape class can be written as follow.
Superclass Shape.java
/**
* Superclass Shape maintain the common properties of all shapes
*/
public class Shape {
// Private member variable
private String color;
Take note that we have a problem writing the getArea() method in the Shape class, because the area cannot be computed
unless the actual shape is known. We shall print an error message for the time being. In the later section, I shall show you
how to resolve this problem.
We can then derive subclasses, such as Triangle and Rectangle, from the superclass Shape.
Subclass Rectangle.java
/**
* The Rectangle class, subclass of Shape
*/
public class Rectangle extends Shape {
// Private member variables
private int length, width;
/** Constructs a Rectangle instance with the given color, length and width */
public Rectangle(String color, int length, int width) {
super(color);
this.length = length;
this.width = width;
}
/** Override the inherited getArea() to provide the proper implementation for rectangle */
@Override
public double getArea() {
return length*width;
}
}
Subclass Triangle.java
/**
* The Triangle class, subclass of Shape
*/
public class Triangle extends Shape {
// Private member variables
private int base, height;
/** Constructs a Triangle instance with the given color, base and height */
public Triangle(String color, int base, int height) {
super(color);
this.base = base;
this.height = height;
}
/** Override the inherited getArea() to provide the proper implementation for triangle */
@Override
public double getArea() {
return 0.5*base*height;
}
}
The subclasses override the getArea() method inherited from the superclass, and provide the proper implementations for
getArea().
/**
* A test driver for Shape and its subclasses
*/
public class TestShape {
public static void main(String[] args) {
Shape s1 = new Rectangle("red", 4, 5); // Upcast
System.out.println(s1); // Run Rectangle's toString()
//Rectangle[length=4,width=5,Shape[color=red]]
System.out.println("Area is " + s1.getArea()); // Run Rectangle's getArea()
//Area is 20.0
The beauty of this code is that all the references are from the superclass (i.e., programming at the interface level). You could
instantiate different subclass instance, and the code still works. You could extend your program easily by adding in more
subclasses, such as Circle, Square, etc, with ease.
Nonetheless, the above definition of Shape class poses a problem, if someone instantiate a Shape object and invoke the
getArea() from the Shape object, the program breaks.
This is because the Shape class is meant to provide a common interface to all its subclasses, which are supposed to provide
the actual implementation. We do not want anyone to instantiate a Shape instance. This problem can be resolved by using
the so-called abstract class.
Polymorphism is a powerful mechanism in OOP to separate the interface and implementation so as to allow the programmer
to program at the interface in the design of a complex system. For example, in our game app, we have many types of
monsters that can attack. We shall design a superclass called Monster and define the method attack() in the superclass.
The subclasses shall then provides their actual implementation. In the main program, we declare instances of superclass,
substituted with actual subclass; and invoke method defined in the superclass.
Superclass Monster.java
/**
* The superclass Monster defines the expected common behaviors for its subclasses.
*/
public class Monster {
// private instance variable
private String name;
/** Constructs a Monster instance with the given name */
public Monster(String name) {
this.name = name;
}
/** Defines a common behavior called attack() for all its subclasses */
public String attack() {
return "!^_&^$@+%$* I don't know how to attack!";
// We have a problem here!
// We need to return a String; else, compilation error!
}
}
Subclass FireMonster.java
public class FireMonster extends Monster {
/** Constructs a FireMonster with the given name */
public FireMonster(String name) {
super(name);
}
/** Subclass provides actual implementation for attack() */
@Override
public String attack() {
return "Attack with fire!";
}
}
Subclass WaterMonster.java
public class WaterMonster extends Monster {
/** Constructs a WaterMonster instance with the given name */
public WaterMonster(String name) {
super(name);
}
/** Subclass provides actual implementation for attack() */
@Override
public String attack() {
return "Attack with water!";
}
}
Subclass StoneMonster.java
public class StoneMonster extends Monster {
/** Constructs a StoneMonster instance with the given name */
public StoneMonster(String name) {
super(name);
}
/** Subclass provides actual implementation for attack() */
@Override
public String attack() {
return "Attack with stones!";
}
}
Circle c1 = new Cylinder(1.1, 2.2); // Compiler checks to ensure that R-value is a subclass of L-value.
Circle c2 = new String(); // Compilation error: incompatible types
Downcasting requires explicit type casting operator in the form of prefix operator (new-type). Downcasting is not always
safe, and throws a runtime ClassCastException if the instance to be downcasted does not belong to the correct subclass.
A subclass object can be substituted for its superclass, but the reverse is not true.
The following program tests the upcasting an downcasting (refer to the above instance diagram):
Casting Operator
Compiler may not be able to detect error in explicit cast, which will be detected only at runtime. For example,
4.6 Summary of Polymorphism
1. A subclass instance processes all the attributes operations of its superclass. When a superclass instance is expected, it
can be substituted by a subclass instance. In other words, a reference to a class may hold an instance of that class or
an instance of one of its subclasses - it is called substitutability.
2. If a subclass instance is assign to a superclass reference, you can invoke the methods defined in the superclass only.
You cannot invoke methods defined in the subclass.
3. However, the substituted instance retains its own identity in terms of overridden methods and hiding variables. If the
subclass overrides methods in the superclass, the subclass's version will be executed, instead of the superclass's
version.
4.7 Exercises
LINK TO EXERCISES
An abstract method is a method with only signature (i.e., the method name, the list of arguments and the return type)
without implementation (i.e., the method’s body). You use the keyword abstract to declare an abstract method.
For example, in the Shape class, we can declare abstract methods getArea(), draw(), etc, as follows:
Implementation of these methods is NOT possible in the Shape class, as the actual shape is not yet known. (How to
compute the area if the shape is not known?) Implementation of these abstract methods will be provided later once the
actual shape is known. These abstract methods cannot be invoked because they have no implementation.
A class containing one or more abstract methods is called an abstract class. An abstract class must be declared with a
class-modifier abstract. An abstract class CANNOT be instantiated, as its definition is not complete.
/** All Shape's concrete subclasses must implement a method called getArea() */
abstract public double getArea();
}
An abstract class is incomplete in its definition, since the implementation of its abstract methods is missing. Therefore,
an abstract class cannot be instantiated. In other words, you cannot create instances from an abstract class (otherwise,
you will have an incomplete instance with missing method's body).
To use an abstract class, you have to derive a subclass from the abstract class. In the derived subclass, you have to
override the abstract methods and provide implementation to all the abstract methods. The subclass derived is now
complete, and can be instantiated. (If a subclass does not provide implementation to all the abstract methods of the
superclass, the subclass remains abstract.)
This property of the abstract class solves our earlier problem. In other words, you can create instances of the subclasses
such as Triangle and Rectangle, and upcast them to Shape (so as to program and operate at the interface level), but you
cannot create instance of Shape, which avoid the pitfall that we have faced. For example,
In summary, an abstract class provides a template for further development. The purpose of an abstract class is to provide a
common interface (or protocol, or contract, or understanding, or naming convention) to all its subclasses. For example, in
the abstract class Shape, you can define abstract methods such as getArea() and draw(). No implementation is possible
because the actual shape is not known. However, by specifying the signature of the abstract methods, all the subclasses
are forced to use these methods' signature. The subclasses could provide the proper implementations.
Coupled with polymorphism, you can upcast subclass instances to Shape, and program at the Shape level, i,e., program at
the interface. The separation of interface and implementation enables better software design, and ease in expansion. For
example, Shape defines a method called getArea(), which all the subclasses must provide the correct implementation. You
can ask for a getArea() from any subclasses of Shape, the correct area will be computed. Furthermore, you application can
be extended easily to accommodate new shapes (such as Circle or Square) by deriving more subclasses.
Rule of Thumb: Program at the interface, not at the implementation. (That is, make references at the superclass;
substitute with subclass instances; and invoke methods defined in the superclass only.)
Notes:
An abstract method cannot be declared final, as final method cannot be overridden. An abstract method, on the
other hand, must be overridden in a descendant before it can be used.
An abstract method cannot be private (which generates a compilation error). This is because private method are
not visible to the subclass and thus cannot be overridden.
/**
* The abstract superclass Monster defines the expected common behaviors,
* via abstract methods.
*/
abstract public class Monster {
private String name; // private instance variable
(JDK 8 introduces default and static methods in the interface. JDK 9 introduces private methods in the interface. These will
not be covered in this article.)
Similar to an abstract superclass, an interface cannot be instantiated. You have to create a "subclass" that implements
an interface, and provide the actual implementation of all the abstract methods.
Unlike a normal class, where you use the keyword "extends" to derive a subclass. For interface, we use the keyword
"implements" to derive a subclass.
An interface is a contract for what the classes can do. It, however, does not specify how the classes should do it.
An interface provides a form, a protocol, a standard, a contract, a specification, a set of rules, an interface, for all objects that
implement it. It is a specification and rules that any object implementing it agrees to follow.
In Java, abstract class and interface are used to separate the public interface of a class from its implementation so as to
allow the programmer to program at the interface instead of the various implementation.
Interface Naming Convention: Use an adjective (typically ends with "able") consisting of one or more words. Each
word shall be initial capitalized (camel-case). For example, Serializable, Extenalizable, Movable, Clonable, Runnable,
etc.
UML Notations: Abstract classes, Interfaces and abstract methods are shown in italics. Implementation of interface is
marked by a dash-arrow leading from the subclasses to the interface.
/**
* The interface Shape specifies the behaviors
* of this implementations subclasses.
*/
public interface Shape { // Use keyword "interface" instead of "class"
// List of public abstract methods to be implemented by its subclasses
// All methods in interface are "public abstract".
// "protected", "private" and "package" methods are NOT allowed.
double getArea();
}
/**
* The subclass Rectangle needs to implement all the abstract methods in Shape
*/
public class Rectangle implements Shape { // using keyword "implements" instead of "extends"
// Private member variables
private int length, width;
/** Constructs a Rectangle instance with the given length and width */
public Rectangle(int length, int width) {
this.length = length;
this.width = width;
}
/**
* The subclass Triangle need to implement all the abstract methods in Shape
*/
public class Triangle implements Shape {
// Private member variables
private int base, height;
/** Constructs a Triangle instance with the given base and height */
public Triangle(int base, int height) {
this.base = base;
this.height = height;
}
Interface Moveable.java
/**
* The Movable interface defines a list of public abstract methods
* to be implemented by its subclasses
*/
public interface Movable { // use keyword "interface" (instead of "class") to define an interface
// An interface defines a list of public abstract methods to be implemented by the subclasses
public void moveUp(); // "public" and "abstract" optional
public void moveDown();
public void moveLeft();
public void moveRight();
}
Similar to an abstract class, an interface cannot be instantiated; because it is incomplete (the abstract methods' body is
missing). To use an interface, again, you must derive subclasses and provide implementation to all the abstract methods
declared in the interface. The subclasses are now complete and can be instantiated.
MovablePoint.java
To derive subclasses from an interface, a new keyboard "implements" is to be used instead of "extends" for deriving
subclasses from an ordinary class or an abstract class. It is important to note that the subclass implementing an interface
need to override ALL the abstract methods defined in the interface; otherwise, the subclass cannot be compiled. For
example,
/**
* The subclass MovablePoint needs to implement all the abstract methods
* defined in the interface Movable
*/
public class MovablePoint implements Movable {
// Private member variables
private int x, y; // x and y coordinates of the point
// Need to implement all the abstract methods defined in the interface Movable
@Override
public void moveUp() {
y--;
}
@Override
public void moveDown() {
y++;
}
@Override
public void moveLeft() {
x--;
}
@Override
public void moveRight() {
x++;
}
}
Other classes in the application can similarly implement the Movable interface and provide their own implementation to the
abstract methods defined in the interface Movable.
TestMovable.java
We can also upcast subclass instances to the Movable interface, via polymorphism, similar to an abstract class.
// Test Polymorphism
Movable p2 = new MovablePoint(3, 4); // upcast
p2.moveUp();
System.out.println(p2);
//(3,3)
A subclass, however, can implement more than one interfaces. This is permitted in Java as an interface merely defines the
abstract methods without the actual implementations and less likely leads to inheriting conflicting properties from multiple
interfaces. In other words, Java indirectly supports multiple inheritances via implementing multiple interfaces. For example,
All methods in an interface shall be public and abstract (default). You cannot use other access modifier such as private,
protected and default, or modifiers such as static, final.
UML Notation: The UML notation uses a solid-line arrow linking the subclass to a concrete or abstract superclass, and
dashed-line arrow to an interface as illustrated. Abstract class and abstract method are shown in italics.
5.9 Why interfaces?
An interface is a contract (or a protocol, or a common understanding) of what the classes can do. When a class implements a
certain interface, it promises to provide implementation to all the abstract methods declared in the interface. Interface
defines a set of common behaviors. The classes implement the interface agree to these behaviors and provide their own
implementation to the behaviors. This allows you to program at the interface, instead of the actual implementation. One of
the main usage of interface is provide a communication contract between two objects. If you know a class implements an
interface, then you know that class contains concrete implementations of the methods declared in that interface, and you
are guaranteed to be able to invoke these methods safely. In other words, two objects can communicate based on the
contract defined in the interface, instead of their specific implementation.
Secondly, Java does not support multiple inheritance (whereas C++ does). Multiple inheritance permits you to derive a
subclass from more than one direct superclass. This poses a problem if two direct superclasses have conflicting
implementations. (Which one to follow in the subclass?). However, multiple inheritance does have its place. Java does this by
permitting you to "implements" more than one interfaces (but you can only "extends" from a single superclass). Since
interfaces contain only abstract methods without actual implementation, no conflict can arise among the multiple interfaces.
(Interface can hold constants but is not recommended. If a subclass implements two interfaces with conflicting constants,
the compiler will flag out a compilation error.)
Use abstract superclass if there is a clear class hierarchy. Abstract class can contain partial implementation (such as instance
variables and methods). Interface cannot contain any implementation, but merely defines the behaviors.
As an example, Java's thread can be built using interface Runnable or superclass Thread.
5.11 Exercises
LINK TO EXERCISES ON POLYMORPHISM, ABSTRACT CLASSES AND INTERFACES
This, however, poses a new problem. The compiler cannot know at compile time precisely which piece of codes is going to
be executed at run-time (e.g., getArea() has different implementation for Rectangle and Triangle).
In the procedural language like C, the compiler generates a call to a specific function name, and the linkage editor resolves
this call to the absolute address of the code to be executed at run-time. This mechanism is called static binding (or early
binding).
To support polymorphism, object-oriented language uses a different mechanism called dynamic binding (or late-binding or
run-time binding). When a method is invoked, the code to be executed is only determined at run-time. During the
compilation, the compiler checks whether the method exists and performs type check on the arguments and return type,
but does not know which piece of codes to execute at run-time. When a message is sent to an object to invoke a method,
the object figures out which piece of codes to execute at run-time.
Although dynamic binding resolves the problem in supporting polymorphism, it poses another new problem. The compiler
is unable to check whether the type casting operator is safe. It can only be checked during runtime (which throws a
ClassCastException if the type check fails).
JDK 1.5 introduces a new feature called generics to tackle this issue. We shall discuss this problem and generics in details in
the later chapter.
5.13 Exercises
LINK TO EXERCISES
Encapsulation refers to keeping the data and method inside a class such users do not access the data directly but via the
public methods. Tight encapsulation is desired, which can be achieved by declaring all the variable private, and providing
public getter and setter to the variables. The benefit is you have complete control on how the data is to be read (e.g., in
how format) and how to the data is to be changed (e.g., validation).
[TODO] Example: Time class with private variables hour (0-23), minute (0-59) and second (0-59); getters and setters (throws
IllegalArgumentException). The internal time could also be stored as the number of seconds since midnight for ease of
operation (information hiding).
Information Hiding: Another key benefit of tight encapsulation is information hiding, which means that the users are not
aware (and do not need to be aware) of how the data is stored internally.
The benefit of tight encapsulation out-weights the overhead needed in additional method calls.
Coupling refers to the degree to which one class relies on knowledge of the internals of another class. Tight coupling is
undesirable because if one class changes its internal representations, all the other tightly-coupled classes need to be
rewritten.
[TODO] Example: A class uses Time and relies on the variables hour, minute and second.
Clearly, Loose Coupling is often associated with tight encapsulation. For example, well-defined public method for accessing
the data, instead of directly access the data.
Cohesion refers to the degree to which a class or method resists being broken down into smaller pieces. High degree of
cohesion is desirable. Each class shall be designed to model a single entity with its focused set of responsibilities and
perform a collection of closely related tasks; and each method shall accomplish a single task. Low cohesion classes are hard
to maintain and re-use.
[TODO] Example of low cohesion: Book and Author in one class, or Car and Driver in one class.
Again, high cohesion is associated with loose coupling. This is because a highly cohesive class has fewer (or minimal)
interactions with other classes.
"has-a" relationship: In composition, a class contains references to other classes, which is known as "has-a" relationship.
You can use "is-a" and 'has-a" to test whether to design the classes using inheritance or composition.