Подтипы Массивы

Question

Если у меня есть class A { и class B extends A { будет

B[] b = new B[1]; 
b[0] = new B(); 
System.out.println(b instanceof A[]); 

распечатывают истинным или ложным?

Answer 1

JLS states что если B назначается A, то да, B [] присваивается A [].

Это открывает дверь к серьезным последствиям, хотя, продемонстрированные этим кодом:

class A {} 
class B extends A {} 
class C extends A {} 

//... 
B[] bs = new B[2]; 
A[] as = bs; 
as[0] = new C(); //runtime error 
B b = bs[0]; 

Этот код compiles but fails at runtime. Мы называем это отсутствием безопасности типов.

Answer 2

Неверный.

Массивы не выполняют те же правила, что и обычные объекты.

Answer 3

Он напечатает true.

Answer 4

// A.java 
public class A {} 

// B.java 
public class B extends A {} 

// Test.java 
public class Test { 
    public static void main(String[] args) { 
     B[] b = new B[1]; 
     b[0] = new B(); 
     System.out.println(b instanceof A[]); 
    } 
} 

При запуске:

> javac *.java && java Test 
true