类型:约束