3.4.2 实例——创建特殊约束