Являющиеся подтипы полиморфизма Java друг другу

Question

Я знаю, что Java - это статический язык, и есть динамическая проверка, когда дело доходит до массивов: , но я не могу понять, почему это происходит, может кто-нибудь объяснить мне этот пример в оба случая, когда: A [] является подтипом B [], или B [] является подтипом A []? что не получится и почему?

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

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

Answer 1

Массивы на Java - covariant.

Что означает, если B является подтилем A, тогда B[] также относится к подкатегории A[]. Итак, вы можете передать B[], где ожидается A[], так же как вы можете пройти B, где ожидается A.

Но если вы идете в противоположную сторону, то вам нужно будет явное приведение типа -

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