9.1 推断约束、自动约束和约束设置