8.2.3 约束条件