18.7 定义和使用子类型