顾名思义，类型系统是指一个语言的类型体系结构。一个典型的类型系统通常包含如下基本内容： 基础类型，如 byte、int、bool、float 等； 复合类型，如数组、结构体、指针等； 可以指向任意对象的类型（Any 类型）； 值语义和引用语义； 面向对象，即所有具备面向对象特征（比如成员方法）的类型； 接口。   类型系统描述的是这些内容在一个语言中如何被关联。因为 Java 语言自诞生以来被称为最纯正的面向对象语言，所以就先以Java语言为例说说类型系统。   在 Java 语言中，存在两套完全独立的类型系统…