1.概述

1.1. What does type-safety mean?

我的总结：

从概念上来说，Type Safety，最本质上，就是对于内存（Memory）的“正确访问”。假如说，在内存的一块区域上存储着一个String类型的对象；按照正常的逻辑，这块内存区域就应该被当作String来进行处理，这就是所谓的“正确访问”；但是，如果将这块内存区域当成Integer来进行处理，就会产生错误，这就是不正确的访问。

从实现方法上来说，也就是JVM是怎么实现Type Safety的呢？要理解这个问题，就需要先知道compile time和runtime两个概念。知道了这两个概念之后，就好解释了。它的实现方式就是，在compile time的时候做尽量多的static type check，从而尽量避免在runtime的时候不出现ClassCastException。换句话说，编译器（compiler）在实现Type Safety上是绝对的“主角”或“Number One”。

1.2. The Core

The Java language is designed to enforce type safety. This means that programs are prevented from accessing memory in inappropriate way