8.1 非空约束