3.1.1 约束类型