Java语言的类型安全

Java是强类型语言，也就是说，编译器会对代码进行检查，确保变量的每一次赋值，方法的每一次调用都是符合类型的。如果有任何不想符合的情况，Java编译器就会给出错误。

Java的类型检查是基于这样一个简单的事实：每一个变量的声明都给出一个类型，每一个方法（包括构造器）的声明都给出一个特征，Java编译器会针对任何表达式推断出一个明显类型（Apparent Type），Java编译器可以基于明显类型进行类型检查。

Java语言是类型安全的，这就是说，任何被编译器所接受的合法的Java类是类型安全的，即在程序运行期间，不会有任何类型的错误。Java 程序不可能将本来属于一种类型的变量当作另外一种类型处理，因此不会产生由此引发的错误。

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

1.编译期间的类型检查；

2.自动的存储管理；

3.数组的边界检查。

注：本篇大部分内容出之阎宏老师的《Java与模式》