12.2.3 约束