为表达式引入变量。