Les blocs conditionnels If, Case, etc…

C/C++ — Tags :, — admin @ 21:55

Il m’arrive souvent de voir des blocs de code de contrôle inutilement complexes, mais je suis tombé récemment sur un bloc qui m’a particulièrement bluffé :

  1. if( iNb < 100 ) {
  2.   if( iNb > 50 ) {
  3.      [bloc 1]
  4.   } else if( iNb > 30 ) {
  5.      [bloc 2]
  6.   } else if( iNb > 10 ) {
  7.      if( iNb <= 20 ){
  8.         [bloc 3]
  9.      } else {
  10.         [bloc 4]
  11.      }
  12.   }
  13. }

Lorsque l’on remplit les [...] avec des dizaines de lignes de code (ce que je déconseille aussi fortement), on se retrouve vite à oublier le contrôle mal organisé qui se planque dans le code…

Il existe une pratique simple, qui doit être mise sous forme de théorie quelque part sur le net, qui consiste d’abord à visualiser les ensembles sur lesquels on fait le contrôle. Ici, on peut facilement déterminer 4 ensembles que l’on essaye de distinguer:
iNb dans ]50, 100[ (bloc 1)
iNb dans ]30, 50 [ (bloc 2)
iNb dans ]20, 30 [ (bloc 3)
iNb dans ]10, 20 [ (bloc 4)

Ensuite, le principe de base est le suivant : on conditionne sur le plus grand conteneur d’abord, et on restreint par la suite. On se retrouve alors avec un code beaucoup plus clair :

  1. if( iNb < 100 ){
  2.   [bloc 1]
  3. } else if( iNb < 50 ) {
  4.   [bloc 2]
  5. } else if( iNb < 30 ) {
  6.   [bloc 3]
  7. } else if( (iNb < 20) && (iNb > 10) ){
  8.   [bloc 4]
  9. }

Autre possibilité, encore plus lisible je trouve :

  1. if((iNb > 50) && (iNb < 100)){
  2.   [bloc 1]
  3. } else if ((iNb > 30) && (iNb < 50)){
  4.   [bloc 2]
  5. } else if ((iNb > 20) && (iNb < 30)){
  6.   [bloc 3]
  7. } else if ((iNb > 10) && (iNb < 20)){
  8.   [bloc 4]
  9. }

On redécrit les ensembles directement au sein des conditionnelles, de manière à ce que l’on ait pas à retrouver la condition précédente pour bien comprendre l’actuelle… Enfin tout du moins c’est ce que je pense…

Ces longs raccourcis

C/C++ — Tags :, , — admin @ 9:58

Certains raccourcis peuvent parfois ralonger certaines routes. Par example, il est souvent requis d’échanger deux variables entre elles. Pour peu que cet échange doive avoir lieu au sein d’une boucle, disons pour un affichage fluide par ex., on va chercher à en optimiser l’échange.

De manière logique, on pense de suite à utiliser une variable intermédiaire :

  1. void main()
  2. {
  3.    int a = 0;
  4.    int b = 1;
  5.    int c;
  6.  
  7.    // swap utilisant une 3e variable
  8.    c = a;
  9.    a = b;
  10.    b = c;
  11. }

Cette méthode a beau avoir certains défauts, elle est en tout cas très clair.

Il y a pourtant plus court à écrire :

  1. void main()
  2. {
  3.    int a = 0;
  4.    int b = 1;
  5.  
  6.    // en une ligne!
  7.    a+=b-=a=b-a;
  8. }

Ou du moins c’est ce que l’on pourrait croire… Regardons le code assembleur généré par les deux corps de programmes précédents:

Swap à 3 variables :

  1. push        edi                         ; preparer de la place
  2. push        esi                         ; pour 3 variables
  3. push        ebx  
  4. cmp         dword ptr ds:[00312E08h],0
  5. je          00000011
  6. call        78ACB4AF
  7. xor         esi,esi                     ; a = 0
  8. xor         edi,edi                     ; b = 0
  9. xor         ebx,ebx                     ; c = 0
  10. xor         esi,esi                     ; a = 0
  11. mov         edi,1                       ; b = 1
  12. mov         ebx,esi                     ; c = a
  13. mov         esi,edi                     ; a = b
  14. mov         edi,ebx                     ; b = c

Swap en une ligne :

  1. push        edi                         ; preparer de la place
  2. push        esi                         ; pour 2 variables
  3. cmp         dword ptr ds:[003F2E08h],0
  4. je          00000010
  5. call        7963B4AF
  6. xor         esi,esi                     ; a = 0
  7. xor         edi,edi                     ; b = 0
  8. xor         esi,esi                     ; a = 0
  9. mov         edi,1                       ; b = 1
  10. mov         eax,edi                     ; eax = reg. temporaire
  11. sub         eax,esi                     ; eax = b - a
  12. mov         esi,eax                     ; a = b - a
  13. sub         edi,esi                     ; b = b - a
  14. add         esi,edi                     ; a = a + b

On économise peut-être du tps en n’allouant pas de place pour une troisième variable, on le paye plus tard. Au final, le swap en une seule ligne prendra légèrement plus de temps que le swap sur 3 lignes. Plus important encore, le swap en une ligne est beaucoup moins lisible… Autant donc travailler clairement!!

Remarque :
Il existe une version optimale d’un échange de deux variables, détaillée ici : http://en.wikipedia.org/wiki/XOR_swap . Certains diront que cette version n’est pas entièrement portable… Mais ca reste à prouver, je l’ai vu tourner un peu partout… La technique consiste à utiliser la commande XOR qui est plus rapide que la commande MOV, comme ceci:

  1. void main()
  2. {
  3.    int a = 0;
  4.    int b = 1;
  5.  
  6.    // avec des Xor :
  7.    a = a ^ b;
  8.    b = a ^ b;
  9.    a = a ^ b;
  10. }

Ce qui donne :

  1. push        edi  
  2. push        esi  
  3. cmp         dword ptr ds:[00212E08h],0
  4. je          00000010
  5. call        7974B4AF
  6. xor         esi,esi
  7. xor         edi,edi
  8. xor         esi,esi
  9. mov         edi,1
  10. xor         esi,edi
  11. xor         edi,esi
  12. xor         esi,edi

Encore une fois, la lisibilité n’est pas optimale, à moins d’être habitué à faire des XOR!

This work is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 Unported License.
(c) 2012 Random namespace | powered by WordPress with Barecity