My question is, why isn't ClassB's method being used?
Not true. The method used is ClassB
's method, which it inherited from ClassA
.
I think the main reason behind the confusion here is the fact that the method actually is not overridden, instead it is overloaded. Although Integer
is a subtype of Number
, since method parameter is invariant in Java, the method public void method(Integer d)
doesn't override the method public void method(Number n)
. So, ClassB
ends up having two (overloaded) methods.
Static binding is used for overloaded methods, and the method with most specific parameter type is chosen by the compiler. But in this case, why does the compiler pick public void method(Number n)
instead of public void method(Integer d)
. That's because of the fact that the reference that you are using to invoke the method is of type ClassA
.
ClassA a = new ClassB(); //instance is of ClassB (runtime info)
a.method(3); //but the reference of type ClassA (compiletime info)
The only method that ClassA
has is public void method(Number n)
, so that's what the compiler picks up. Remember, here the expected argument type is Number
, but the actual argument, the integer 3, passed is auto-boxed to the type Integer
. And the reason that it works is because the method argument is covariant in Java.
Now, I think it's clear why it prints
ClassA: 3 class java.lang.Integer
与恶龙缠斗过久,自身亦成为恶龙;凝视深渊过久,深渊将回以凝视…