8.5.2 约束条件