4.6.3 定义非空约束