Java Programming/Overloading Methods and Constructors

Method overloading
In a class, there can be several methods with the same name. However they must have a different signature. The signature of a method is comprised of its name, its parameter types and the order of its parameters. The signature of a method is not comprised of its return type nor its visibility nor the exceptions it may throw. The practice of defining two or more methods within the same class that share the same name but have different parameters is called overloading methods.

Methods with the same name in a class are called overloaded methods. Overloading methods offers no specific benefit to the JVM but it is useful to the programmer to have several methods do the same things but with different parameters. For example, we may have the operation  represented as two methods with the same name, but different input parameter types:

One type can be the subclass of the other:

Although both methods would be fit to call the method with the  parameter, it is the method with the nearest type that will be called instead. To be more accurate, it will call the method whose parameter type is a subclass of the parameter type of the other method. So,  will output. Beware! The parameter type is defined by the declared type of an object, not its instantiated type!

The following two method definitions are valid

because the type order is different. If both input parameters were type String, that would be a problem since the compiler would not be able to distinguish between the two:

The compiler would give an error for the following method definitions as well:

Note, the return type is not part of the unique signature. Why not? The reason is that a method can be called without assigning its return value to a variable. This feature came from C and C++. So for the call:

the compiler would not know which method to call. It is also the case for the thrown exceptions.

Question 4.6: Which methods of the  class will cause compile errors?

The,   and   methods will cause compile errors. The  methods cannot co-exist because they have the same signature (remember, return type is not part of the signature). The  methods cannot co-exist because the names of the parameters are not part of the signature. The  methods cannot co-exist because the visibility of the methods are not part of the signature. The  methods can co-exist, because they have different method signatures.

Variable Argument
Instead of overloading, you can use a dynamic number of arguments. After the last parameter, you can pass optional unlimited parameters of the same type. These parameters are defined by adding a last parameter and adding  after its type. The dynamic arguments will be received as an array:

The above method can be called with a dynamic number of arguments, for example:

This feature was not available before Java 1.5.

Constructor overloading
The constructor can be overloaded. You can define more than one constructor with different parameters. For example:

In the code listing 4.12, we defined two constructors, one with no input parameter, and one with one input parameter. You may ask which constructor will be called. Its depends how the object is created with the keyword. See below:

In the code section 4.29, we created two objects from the same class, or we can also say that  and   both have the same type. The difference between the two is that in the first one the  field is not initialized, in the second one that is initialized to. A constructor may also be called from another constructor, see below:

In the code listing 4.13, the constructor with no input parameter calls the other constructor with the default initial value. This call must be the first instruction of a constructor or else a compiler error will occur. The code gives an option to the user, to create the object with the default value or create the object with a specified value. The first constructor could have been written using the keyword as well:

Such a call reduces the code repetition.

Method overriding
To easily remember what can be done in method overriding, keep in mind that all you can do in an object of a class, you can also do in an object of a subclass, only the behavior can change. A subclass should be covariant.

Although a method signature has to be unique inside a class, the same method signature can be defined in different classes. If we define a method that exists in the super class then we override the super class method. It is called method overriding. This is different from method overloading. Method overloading happens with methods with the same name but different signature. Method overriding happens with methods with the same name and same signature between inherited classes.

The return type can cause the same problem we saw above. When we override a super class method the return type also must be the same. If that is not the same, the compiler will give you an error.

Beware! If a class declares two public methods with the same name, and a subclass overrides one of them, the subclass still inherits the other method. In this respect, the Java programming language differs from C++.

Method overriding is related to dynamic linking, or runtime binding. In order for the Method Overriding to work, the method call that is going to be called can not be determined at compilation time. It will be decided at runtime, and will be looked up in a table.

In the code section 4.31, the expression at line 3 is true if it is executed during a morning and false if it is executed during an afternoon. Thus, the instance of  will be a   or a   depending on the execution time. So it is impossible to determine the method address at compile time. Because the  reference can point to an object and all its sub objects, and that will be known only at runtime, a table is kept with all the possible method addresses to be called. Do not confuse:

The implementation of this method is searched using the instantiated type of the called object and the declared type of the parameter object.

Also another rule is that when you do an override, the visibility of the new method that overrides the super class method can not be reduced. The visibility can be increased, however. So if the super class method visibility is, the override method can not be , or. An override method must throw the same exceptions as the super class, or their subexceptions.

references to the parent class (i.e. ). It can be used in a subclass to access inherited methods that the subclass has overridden or inherited fields that the subclass has hidden.