18.7.2 扩展一个存在的类型为一指定关联类型