4 模型和赋值 普遍有效式