6.6 非空约束