Java polymorphism arrays sub-types to each other

Question

I know that Java is static language, and there is dynamic check when it comes to arrays : but I can't understand why this happen, can someone explain to me this example in both cases when : A[] is sub-type to B[], or B[] is sub-type to A[] ? which will fail and why ?

f(A[] as) {
  as[0] = new A(); // **?!**
}

B[] bs = new B[10];
f(bs); // **?!**
B b = bs[0]; // **?!**

What is the output you get and what is the output you expect? — Achrome
– Achrome, Commented Feb 20, 2013 at 18:36
I can use a compiler , but I want to understand why ? to learn more about the dynamic aspects of the language . — nabil
– nabil, Commented Feb 20, 2013 at 18:40

Bhesh Gurung · Accepted Answer · 2013-02-20 18:48:05Z

2

Arrays in Java is covariant.

Which means if B is a subtype of A then B[] is also a subtype of A[]. So, you can pass a B[] where A[] is expected just like you can pass a B where an A is expected.

But if you go the opposite way then you would need an explicit cast like -

 B b = (B) new A(); //bypasses the compiler but fails at runtime
 B[] bs = (B[]) new A[1]; //also bypasses the compiler but fails at runtime

edited Feb 20, 2013 at 18:48

answered Feb 20, 2013 at 18:42

Bhesh Gurung

51.1k23 gold badges96 silver badges147 bronze badges

Sign up to request clarification or add additional context in comments.

Collectives™ on Stack Overflow

Java polymorphism arrays sub-types to each other

1 Answer 1

Comments

Your Answer

Hot Network Questions

Collectives™ on Stack Overflow

1 Answer 1

Comments

Your Answer

Sign up or log in

Post as a guest

Related