JAVA语言是类型安全的

Java语言通过以下3点实现类型安全：

1.编译期间的类型检查：编译器会对代码进行检查，以确定每一次赋值、每一次方法的调用是符合类型的。如果有惹和不符合的情况，JAVA编译器会给出错误。

2.自动的存储管理。

3.数组的边界检查。