Ability of an organism to take different shapes is polymorphism in bio world. A simplest definition in computer terms would be, handling different data types using the same interface. In this tutorial, we will learn about what is polymorphism in computer science and how polymorphism can be used in Java.

I wish this tutorial will help address the following, 

  • is overloading polymorphism? 
  • is overriding polymorphism? 
  • Ad hoc Polymorphism 
  • Parametric Polymorphism 
  • Coercion Polymorphism 
  • Inclusion or subtype Polymorphism 
  • what is static-binding? 
  • what is dynamic binding?

Types of Polymorphism

Polymorphism in computer science was introduced in 1967 by ​​Christopher Strachey​​. Please let me know with reference if it is not a fact and the tutorial can be updated. Following are the two major types of polymorphism as defined by Strachey.

  1. Ad hoc Polymorphism 
  2. Parametric Polymorphism 

Later these were further categorized as below:

Java Polymorphism_java

Ad hoc Polymorphism

"Ad-hoc polymorphism is obtained when a function works, or appears to work, on several different types (which may not exhibit a common structure) and may behave in unrelated ways for each type.  Parametric polymorphism is obtained when a function works uniformly on a range of types; these types normally exhibit some common structure." – Strachey 1967

If we want to say the above paragraph in two words, they are operator overloading and function overloading. Determining the operation of a function based on the arguments passed.

Ad hoc Polymorphism in Java 

In Java we have function overloading and we do not have operator overloading. Yes we have “+” operator implemented in a polymorphic way. 



String fruits = "Apple" + "Orange";
int a = b + c;


The definition is when the type is different, the internal function adjusts itself accordingly. int and float are different types and so even the following can be included in polymorphism operator overloading.



int i = 10 - 3;
float f = 10.5 - 3.5;


Similarly even * and / can be considered as overloaded for int and float types.

Having said all the above, these are all language implemented features. Developers cannot custom overload an operator. So answer for the question, “does Java supports operator overloading?” is “yes and no”. 

Java wholeheartedly supports function overloading. We can have same function name with different argument type list. For ​​function overloading in Java​​ I have already written a super-hit tutorial and I am sure you will enjoy reading it.

In inheritance, the ability to replace an inherited method in the subclass by providing a different implementation is overriding. ​​Function overriding​​ in is discussed in the same tutorial as overloading.

Polymorphism is a larger concept which consists of all these different types. So it is not right to say that overloading or overriding alone is polymorphism. It is more than that.

Coercion Polymorphism

Implicit type conversion is called coercion polymorphism. Assume that we have a function with argument int. If we call that function by passing a float value and if the the run-time is able to convert the type and use it accordingly then it is coercion polymorphism.

Now with this definition, let us see if Java has coercion polymorphism. The answer is half yes. Java supports widening type conversion and not narrowing conversions.

Narrowing Conversion



class FToC {
public static float fToC (int fahrenheit) {
return (fahrenheit - 32)*5/9;
}

public static void main(String args[]) {
System.out.println(fToC(98.4));
}
}


Java does not support narrowing conversion and we will get error as "FToC.java:7: fToC(int) in FToC cannot be applied to (double)"

Widening Conversion



class FToC {
public static float fToC (float fahrenheit) {
return (fahrenheit - 32)*5/9;
}

public static void main(String args[]) {
System.out.println(fToC(98));
}
}


The above code will work without an error in Java. We are passing an int value ’98’ wherein the expected value type is a float. Java implicitly converts int value to float and it supports widening conversion.

Universal Polymorphism

Universal polymorphism is the ability to handle types universally. There will be a common template structure available for operations definition irrespective of the types. Universal polymorphism is categorized into inclusion polymorphism and parametric polymorphism.

Inclusion polymorphism (subtype polymorphism)

Substitutability was introduced by eminent Barbara Liskov and Jeannette Wing. It is also called as Liskov substitution principle.

“Let T be a super type and S be its subtype (parent and child class). Then, instances (objects) of T can be substituted with instances of S.”

Replacing the supertype’s instance with a subtype’s instance. This is called inclusion polymorphism or subtype polymorphism. This is covariant type and the reverse of it is contravariant. We have discussed the ​​substitution principle and covariant types​​, contravariant and invariant earlier in the linked tutorial. This is demonstrated with a code example. Java supports subtype polymorphism from ​​Java / JDK version 1.5​​.

Parametric Polymorphism

Here we go, we have come to ‘Generics’. This is a nice topic and requires a full detailed tutorial with respect to Java. For now, parametric polymorphism is the ability to define functions and types in a generic way so that it works based on the parameter passed at runtime. All this is done without compromising type-safety.

The following source code demonstrates a generics feature of Java. It gives the ability to define a class and parameterize the type involved. The behavior of  the class is based on the parameter type passed when it is instantiated. 



package com.javapapers.java;

import java.util.ArrayList;
import java.util.List;

public class PapersJar {
private List itemList = new ArrayList();

public void add(T item) {
itemList.add(item);
}

public T get(int index) {
return itemList.get(index);
}

public static void main(String args[]) {
PapersJar papersStr = new PapersJar();
papersStr.add("Lion");
String str = papersStr.get(0);
System.out.println(str);

PapersJar papersInt = new PapersJar();
papersInt.add(new Integer(100));
Integer integerObj = papersInt.get(0);
System.out.println(integerObj);
}
}


Static Binding vs Dynamic Binding

Give all the above polymorphism types, we can classify these under different two broad groups static binding and dynamic binding. It is based on when the binding is done with the corresponding values. If the references are resolved at compile time, then it is static binding and if the references are resolved at runtime then it is dynamic binding. Static binding and dynamic binding also called as early binding and late binding. Sometimes they are also referred as static polymorphism and dynamic polymorphism.

Let us take overloading and overriding for example to understand static and dynamic binding. In the below code, first call is dynamic binding. Whether to call the obey method of DomesticAnimal or Animal is resolve at runtime and so it is dynamic binding. In the second call, whether the method obey() or obey(String i) should be called is decided at compile time and so this is static binding.



package com.javapapers.java;

public class Binding {

public static void main(String args[]) {
Animal animal = new DomesticAnimal();
System.out.println(animal.obey());

DomesticAnimal domesticAnimal = new DomesticAnimal();
System.out.println(domesticAnimal.obey("Ok!"));
}
}

class Animal {
public String obey() {
return "No!";
}

}

class DomesticAnimal extends Animal {
public String obey() {
return "Yes!";
}

public String obey(String i) {
return i;
}
}


Output: 

Yes!


Ok!

Advantages of Polymorphism

  • Generics: Enables generic programming. 
  • Extensibility: Extending an already existing system is made simple. 
  • De-clutters the object interface and simplifies the class blueprint.


------------------越是喧嚣的世界,越需要宁静的思考------------------ 合抱之木,生于毫末;九层之台,起于垒土;千里之行,始于足下。 积土成山,风雨兴焉;积水成渊,蛟龙生焉;积善成德,而神明自得,圣心备焉。故不积跬步,无以至千里;不积小流,无以成江海。骐骥一跃,不能十步;驽马十驾,功在不舍。锲而舍之,朽木不折;锲而不舍,金石可镂。蚓无爪牙之利,筋骨之强,上食埃土,下饮黄泉,用心一也。蟹六跪而二螯,非蛇鳝之穴无可寄托者,用心躁也。