3.3.1 标注约束的类型