考点2:不变量赋值