子类型是一个数据类型的子集，这个数据类型可以是用户自定义类型也可以是基本类型。未指定约束条件的的子类型与其基类型具有相同的值集，相当于基类型的别名。受约束的子类型的值在基类型的基础上需要进行约束检查。
子类型可以使得代码编写和维护更加高效。
