验证各个表达式