9.5 非空约束