vide Si l'optimisation

Question

Considérez ce qui suit:

int status = 0; 

while(status < 3) 
{ 
    switch(status) 
    { 
     case 0: 
      // Do something 
      break; 

     case 1: 
      if(cond1 && cond2 || cond3 && cond4) 
       ; // status = 1 
      else if(cond5) 
       status = 2; 
      else 
       status = 0; 
      // there could be more else-if statements 
      break; 

     case 2: 
      // Do something else 
      break; 
    } 
    status++; 
} 

Étant donné que la première instruction if est seulement là pour des raisons de lisibilité et que, comme le montre, son corps est vide (car redondant), je me demandais comment un compilateur (soit un compilateur d'avance ou de juste-à-temps) peut-il optimiser ceci (si une optimisation est possible).

Answer 1

Pour un compilateur général, la réponse est non.

Deux optimisations étroitement liées sont le Data flow optimizations, qui vise à éliminer les doubles calculs et les chemins impossibles dans le code. Un autre est Currying, qui vise à optimiser une fonction générale en ce qui concerne le paramètre spécifique.