9.5 约束的传递