10.2.2 定义约束的语法结构