Update 对于一个合法表达式的求值