Java是强类型的语言。这意味着Java编译器会对代码进行检查，以确定没一次赋值，每一次方法的调用是符合类型的。如果有任何不相符合的情况，Java编译器就会给出错误。
类型检查是基于这样一个简单的事实：每一变量的声明都给这个变量一个类型；每一个方法包括构造器的声明都给这个方法的特征。这样一来，Java编译器可以对任何的表达式推断出一个明显类型，Java编译器可以基于明显类型对类型进行检查。
Java语言是类型安全的。这就是说，任何被Java编译器接受的合法的Java类保证是类型安全的。换言之，在程序运行期间，不会有任何类型的错误。一个Java程序根本不可能将一个本来属于一个类型的变量当作另一个类型处理，因此也就不会产生由此而引起的错误。
简单的说，Java语言依靠三种机制做到了类型安全：编译期间的类型检查，自动的存储管理，数组的边界检查。