9.15.1 类型别名