10.3.1 符号表达式的替换