5.14.3 类型别名与接口