6.4 类型的新名称：类型别名