4.5.3 非空约束