大神们，这道 Java 题怎么说

[WhereverYouGo]

大神们，这题怎么说？

原地址： http://www.yinwang.org/blog-cn/2020/02/13/java-type-system

[ily433664]

debug 运行一次就可以看到，b 实际上的类型还是 String[]，赋值 Integer 类型会出错

[aragakiyuii]

这种跟方法参数是(Object...)或者范型(T...)一样吧。idea 会提示 warning，解释这种为什么不行，要换成 List

[qianProgrammer]

b 只是用指针指向了 a 在堆中创建的对象,也就是说 b 是一个 String[]数组

[ychost]

记得 JDK List.toArray(T[]) 也有类似的问题

[xuanbg]

Java 假泛型的锅

[thinkingInJava]

java 只有值传递，变量 a 存的是数组 newString[]在内存堆里的地址句柄。
Object[]b 声明了一个 Object[]数组的引用，在栈的临时变量区。
将地址句柄 a 赋给 b，变量 b 指向 String[]数组；
b[1] = Integer.valueOf(42);
到目前这步，编译器不会报错，因为万物皆对象，除了基本类型会被直接替代为 16 进制，
引用类型都是 object 子类，更严格是 java.lang.reflect 包下。
父类引用用来限定类型，同泛型一样，编译期检查，Integer 是 Object 子类，符合，所以编译通过。
但运行会抛数组存储异常。

同理：楼主也可以这样试一试：

Number[] a = new Double[2];
a[0] = new Integer(4);
Integer 继承 Number，一样道理。

啰嗦了，不知道有没有回答到点上。

[thinkingInJava]

@xuanbg 对，泛型擦除，忘记表述这个了。泛型只在编译期检查，一切在 jvm 都是 object

[daozhihun]

最后一行报错。
java 有个蛋疼的机制要做协变，就是父类的数组可以指向子类的数组（但是泛型又不行），不过在编译时不会出错，因为编译器无法知道你的具体类型，但是在运行时 jvm 还是会进行检查，发现类型不一致就会出错

[aguesuka]

王垠就这点水平吗？爱了爱了

[Mistwave]

编译时：
第一行没问题
第二行，Java Array 是协变的，可以通过类型检查，没问题（如果是 List 就不行，List 是不变的）
第三行，显然没问题
第四行，Integer 赋值给 Object variable，可以通过类型检查

运行时：
第一行没问题，堆上创建一个 String[]，reference 赋值给 a
第二行，将第一行 new String[2]的 reference 赋值给 b （打印 a 和 b，是一样的
第三行，没问题
第四行，将一个 Integer 放进 String，报错，会抛出 ArrayStoreException

简化版：
Object[] o = new String[2]
o[1] = Integer.valueOf(42)
编译通过，运行报错同上

[lqw3030]

```
public static f()V
L0
LINENUMBER 22 L0
ICONST_2
ANEWARRAY java/lang/String
ASTORE 0
L1
LINENUMBER 23 L1
ALOAD 0
ASTORE 1
L2
LINENUMBER 24 L2
ALOAD 0
ICONST_0
LDC "hi"
AASTORE
L3
LINENUMBER 25 L3
ALOAD 1
ICONST_1
BIPUSH 42
INVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;
AASTORE
L4
LINENUMBER 26 L4
RETURN
L5
LOCALVARIABLE a [Ljava/lang/String; L1 L5 0
LOCALVARIABLE b [Ljava/lang/Object; L2 L5 1
MAXSTACK = 3
MAXLOCALS = 2
```

[ica10888]

https://www.zhihu.com/question/371957442
善用搜索引擎。
另外，我发现 yin wang 每一篇博文都有对应的问题和讨论，有意思。