4.1.9 “固定”约束