第5章 专题：java语言的接口（笔记）

   一个方法的特征仅包括方法的名字、参数的数目和种类，而不包括方法的返回类型、参量的名字以及所抛出的异常。
   接口和类的最重要区别是，接口仅仅描述方法的特性（Signature），而不给出方法的实现；而类不仅给出方法的特征，而且给出方法的实现。因此，接口把方法的特征和方法的实现分割开来。这种分割，体现在接口常常代表一个角色（role），它包括与该角色相关的操作和属性，而实现这个接口的类便是扮演这个角色的演员。一个角色可以由不同的演员来演，而不同的演员之间除了扮演一个共同的角色之外，并不要求有任何其他的共同之处。
接口是对可插入性的保证。1、关联的可插入性。2、调用的可插入性。
接口常见的用法。1、单方法接口。2、标识接口（java.io.Serializable）3、常量接口

问题：
1、java语言是类型安全的吗？
2、java语言是怎么做到线程安全的呢？

答案：
1、java是强类型的语言。这意味着java编译器会对代码进行检查，已确定每一次赋值、每一次方法的调用是符合类型的。如果有任何不相符的情况，java编译器会给出错误。
类型检查是基于这样的一个简单的实现：每一个变量的声明都给这个变量一个类型；每一个方法的声明都会给出这个方法的特性。这样一来，java编译器可以对任何的表达式推断出一个明显类型，java编译器可以基于明显类型对类型进行检查。
java语言是类型安全的。任何被java编译器接收的合法的java类保证是类型安全的。即在程序运行期间，不会有任何类型的错误。一个java程序根本不可能将一个本属于一个类型的变量当成另一种类型处理。
2、java语言靠三种机制做到了这一点：编译期间的类型检查，字段存储管理，数组的边界检查。