10.1.2 约束的概念和类型