计算机在内部用位序列来表示数据。类型为这些位序列赋予了意义。同时，类型限制了数据的取值范围。类型系统提供了一组基本类型或内置类型，并为组合这些类型规定了一组规则。 基本类型空类性空类型是不能有任何值的类型，其可取值的集合是一个空集合。我们任