关于if else的进一步优化

zasdfgbnm

突破了两条分支只能给同一个变量赋值的局限性，可以同时给三个变量赋值

1. if(condition){
   
2.     x = exp1;
   
3. }else{
   
4.     y = exp2;
   
5. }
   

复制代码

可以用
Rec(Pol(exp1*condition+x*(not(condition)),exp2*condition+y*not(condition)),Y)

1. if(condition){
   
2.     x = exp1;
   
3.     y = exp2;
   
4.     a = exp5;
   
5. }else{
   
6.     x = exp3;
   
7.     y = exp4;
   
8.     a = exp6;
   
9. }
   

复制代码

可以用
Rec(Pol(exp1*condition+exp3*(not(condition)),exp2*condition+exp4*not(condition)),Y)*0+exp5*condition+exp6*not(condition) → A
此方法实质上是rec、pol组合赋值和乘零法的应用

Nero

很好，但是很耗（空间）

zasdfgbnm

很耗是因为代码本身很复杂，而不是在转换为es代码过程中变复杂的，这中复杂的代码占用代码空间是不可避免的