12.2 类型别名