Method overload selection with null

Question

Given this code:

class Overloading
extends Object
{

static public void target(Object val, String chk) { System.out.println(\"Object[\"+val+\"] :: Should be          


        

Answer 1

Remember that the literal null is of type "special null type", not of type Object

A common confusion is that the literal null is of type Object, thus leading people to believe the closest matched signature is target(Object val, String chk).

The literal null is actually of type "[special null type]" (Java Language Spec (JLS) 4). If it were possibly to define such a method, the closest match would be target([special null type] val, String chk).

However, since there isn't such a method (you couldn't create one), the compiler looks for the closest match through subtyping (JLS 15.12.2.2). The direct supertype of the [special null type] are all reference types (JLS 4.10.2) (e.g. String) and Object is a supertype of String.

---

Perhaps a more intuitive way to look at it is via the JLS's intuitive definition for the "most specific method" (JLS 15.12.2.5):

"The informal intuition is that one method is more specific than another if any invocation handled by the first method could be passed on to the other one without a compile-time type error."

Of the two methods that the call target(null ,"Object") matches, any call to

void target(String val, String chk)

could be handled by

void target(Object val, String chk)

so intuitively void target(String val, String chk) is the "most specific" that could be called without a type error.

See the JLS 15.12.2.5 for how the "most specific" is formally defined.