为什么数组分配不兼容，即使它们的数据类型是兼容的？

Question

byte b =10;   
int a = b;   // Primitive data type widening
             // Works perfectly fine

上面的代码不会给出任何错误/警告。但是为什么相同的方法不适用于以下提到的代码？

byte[] b = new byte[10];
int[] i1 = b;             //Cannot convert from byte[] to int[]
int[] i2 = new byte[10];  //Cannot convert from byte[] to int[]

我的问题是，由于int可以容纳所有字节值，为什么数组不是这种情况？

他们俩毕竟都持有住址。如果这对于ref变量是可行的，那将是 令人沮丧的 。

Answer 1

语言规范在Sec
4.10.3中
定义了数组类型之间的子类型化：

以下规则定义了数组类型之间的直接超类型关系：

• 如果S和T都是引用类型，则S[] >1 T[] iff S >1 T。

• Object >1 Object[]

• Cloneable >1 Object[]

• java.io.Serializable >1 Object[]

• 如果P是原始类型，则：

  • Object >1 P[]

  • Cloneable >1 P[]

  • java.io.Serializable >1 P[]

最后的项目符号（“ If P是原始类型…”）表明该语言未定义不同原始类型的数组之间的任何关系。唯一有效的分配是：

byte[] bs = new byte[10];

byte[] bs2 = bs;
Object obj = bs;
Cloneable cl = bs;
Serializable ser = bs;

这没有提供 为什么
这样的答案。您必须要询问语言设计师。但是，像Eran所示的简单示例说明了为什么按照OP的建议这样做并不安全。

应该注意的是，第一行-允许类似

Object[] obj = new String[10];
obj[0] = new Object();  // ArrayStoreException!

是一个设计错误：数组是协变的，因此它们不是类型安全的。这是强烈建议使用泛型而不是数组的原因之一，因为泛型是 不变的 ，因此可以防止此类分配。