整体代入求值