Difficulté à comprendre un code

Difficulté à comprendre un code - C - Programmation

Marsh Posté le 23-12-2012 à 18:40:19    

Salut,

 

Dans le chapitre sur les déclarations complexes du K&R, on a cet exemple de programme qui génère la description verbale d'une déclaration :
(il n'est pas présenté exactement comme ça dans le bouquin, j'ai complété/ré-agencé pour essayer de mieux piger)

 
Code :
  1. #include <stdio.h>
  2. #include <string.h>
  3. #include <ctype.h>
  5. #define MAXLEX 100
  7. enum {NOM, PARENS, CROCHETS};
  9. void dcl(void);
  10. void dclabs(void);
  11. int lirelex(void);
  12. int lirecar(void);
  13. void remettrecar(int);
  15. int typelex;
  16. char lex[MAXLEX];
  17. char nom[MAXLEX];
  18. char type[MAXLEX];
  19. char sortie[MAXLEX];
  21. char tamp[MAXLEX];
  22. int ptamp = 0;
  24. main()
  25. {
  26.     while(lirelex() != EOF)
  27.     {
  28.         strcpy(type, lex);
  29.         sortie[0] = '\0';
  30.         dcl();
  31.         if(typelex != '\n')
  32.             printf("erreur de syntaxe\n" );
  33.         printf("%s : %s %s\n", nom, sortie, type);
  34.     }
  35.     return 0;
  36. }
  38. int lirecar(void)
  39. {
  40.     return (ptamp > 0) ? tamp[--ptamp] : getchar();
  41. }
  43. void remettrecar(int c)
  44. {
  45.     if(ptamp >= MAXLEX)
  46.         printf("remettrecar : trop de caractères\n" );
  47.     else
  48.         tamp[ptamp++] = c;
  49. }
  51. int lirelex(void)
  52. {
  53.     int c;
  54.     char *p = lex;
  55.     while((c = lirecar()) == ' ' || c == '\t')
  56.         ;
  57.     if(c == '(')
  58.     {
  59.         if((c = lirecar()) == ')')
  60.         {
  61.             strcpy(lex, "()" );
  62.             return typelex = PARENS;
  63.         }
  64.         else
  65.         {
  66.             remettrecar(c);
  67.             return typelex = '(';
  68.         }
  69.     }
  70.     else if (c == '[')
  71.     {
  72.         for(*p++ = c; (*p++ = lirecar()) != ']'; )
  73.             ;
  74.         *p = '\0';
  75.         return typelex = CROCHETS;
  76.     }
  77.     else if(isalpha(c))
  78.     {
  79.         for(*p++ = c; isalnum(c = lirecar()); )
  80.             *p++ = c;
  81.         *p = '\0';
  82.         remettrecar(c);
  83.         return typelex = NOM;
  84.     }
  85.     else
  86.         return typelex = c;
  87. }
  89. void dcl(void)
  90. {
  91.     int ne;
  92.     for(ne = 0; lirelex() == '*'; )
  93.         ne++;
  94.     dclabs();
  95.     while (ne-- > 0)
  96.         strcat(sortie, " pointeur sur" );
  97. }
  99. void dclabs(void)
  100. {
  101.     int type;
  102.     if(typelex == '(')
  103.     {
  104.         dcl();
  105.         if(typelex != ')')
  106.             printf("erreur : ) manquante\n" );
  107.     }
  108.     else if (typelex == NOM)
  109.         strcpy(nom, lex);
  110.     else
  111.         printf("erreur : on attend un nom ou (dcl)\n" );
  112.     while((type = lirelex()) == PARENS || type == CROCHETS)
  113.         if(type == PARENS)
  114.             strcat(sortie, " fonction retournant" );
  115.         else
  116.         {
  117.             strcat(sortie, " tableau" );
  118.             strcat(sortie, lex);
  119.             strcat(sortie, " de" );
  120.         }
  121. }
 

Exemple : int (*test()) () --> le programme affiche test : fonction retournant pointeur sur fonction retournant int

 

Bon, déjà, la grammaire de ce genre de déclarations, c'est pas facile à appréhender je trouve.
Et concernant le programme, j'arrive pas à analyser l'ensemble du truc. Trop de fonctions qui s'appellent les unes les autres, je ne saisis pas le déroulement.
J'ai essayé de trouver une méthode de schématisation visuelle, sans succès, il me faudrait un grand tableau veleda peut-être, pour arriver à une représentation claire  :D
Essayé de mettre du commentaire partout aussi, mais c'est encore plus fouillis au final.

 

Rien que la méthode avec lirecar() et remettrecar(c), je trouve pas ça naturel, d'emblée ça me met le cerveau en vrac  [:bigorneau magique:5]

 

Donc deux requêtes :
- existe-t-il un moyen efficace de "visualiser" clairement le fonctionnement d'un code non (ou mal) commenté ? Une méthode standard de représentation graphique, avec des boîtes et des flèches je sais pas..
- et bien sûr, si quelqu'un se sent de m'aider à comprendre le code   :jap:  (plusieurs jours que je me prends la tête dessus   [:dobeliou2] )


Message édité par simius_computus le 23-12-2012 à 18:41:32

---------------
IWH  ---  Le forum de toute une génération : http://losersiv.1fr1.net (losers, sans-ami, dépressifs, allez on va faire cette merde)
Reply

Marsh Posté le 23-12-2012 à 18:40:19   

Reply

Marsh Posté le 24-12-2012 à 11:27:38    

Avec un logigramme, bon courage pour la suite.

Reply

Marsh Posté le 24-12-2012 à 13:34:05    

Noter que ce code ne marche pas si les paramètres des fonctions figurent dans la déclaration.
Par exemple, si on a une fonction
int *myf(char *s) {... }
la déclaration puis l'assignation qui suivent sont correctes
int *((*test)(char *));
test = &myf;
mais le code ne sait pas analyser la déclaration int *((*test)(char *))
A+,


---------------
There's more than what can be linked! --    Iyashikei Anime Forever!    --  AngularJS c'est un framework d'engulé!  --
Reply

Marsh Posté le 25-12-2012 à 01:53:31    

Oui, ça fait justement partie des exos proposés par le bouquin : compléter le code.
Mais je peux pas les faire tant que j'ai pas pigé bien le truc de A à Z !
 
Bon là c'est trêve de Nowel  :o  
 
Jovalise, un logigramme, okay je vais googler  :D


---------------
IWH  ---  Le forum de toute une génération : http://losersiv.1fr1.net (losers, sans-ami, dépressifs, allez on va faire cette merde)
Reply

Marsh Posté le 25-12-2012 à 02:22:46    

Ben en fait faut juste que tu t’intéresse a dclabs qui est quasi recursive, au détail près que la récursion passe a travers dcl:  
dclabs fait:
...
if(typelex == '(')
    {
        dcl();
        if(typelex != ')')
            printf("erreur : ) manquante\n" );
    }
...
et  
dcl fait un appel à dclabs:
...
    dclabs();
...
C'est le seul truc un peu complexe du code.
 
On pourrait réécrire dclabs() sans avoir besoin de dcl, la récursion serait plus apparente:

Code :
  1. void dclabs(void)
  2. {
  3.     int type;
  4.     if(typelex == '(')
  5.     {
  6.         int ne;
  7.         for(ne = 0; lirelex() == '*'; )
  8.             ne++;
  9.         dclabs();
  10.         while (ne-- > 0)
  11.             strcat(sortie, " pointeur sur" );
  12.         if(typelex != ')')
  13.             printf("erreur : ) manquante\n" );
  14.     }
  15.     else if (typelex == NOM)
  16.         strcpy(nom, lex);
  17.     else
  18.         printf("erreur : on attend un nom ou (dcl)\n" );
  19.     while((type = lirelex()) == PARENS || type == CROCHETS)
  20.         if(type == PARENS)
  21.             strcat(sortie, " fonction retournant" );
  22.         else
  23.         {
  24.             strcat(sortie, " tableau" );
  25.             strcat(sortie, lex);
  26.             strcat(sortie, " de" );
  27.         }
  28. }


A+,


Message édité par gilou le 25-12-2012 à 02:28:40

---------------
There's more than what can be linked! --    Iyashikei Anime Forever!    --  AngularJS c'est un framework d'engulé!  --
Reply

Marsh Posté le 25-12-2012 à 17:50:40    

Ah oui ça simplifie déjà les choses, merci. Après j'ai du mal à tracer le tandem lirecar() et remettrecar().
Quand j'aurai assimilé je posterai les solutions que je trouve aux exos du livre.


Message édité par simius_computus le 25-12-2012 à 17:51:18

---------------
IWH  ---  Le forum de toute une génération : http://losersiv.1fr1.net (losers, sans-ami, dépressifs, allez on va faire cette merde)
Reply

Marsh Posté le 25-12-2012 à 21:09:38    

Lirecar c'est tout con, ça lit un caractère de stdin, sauf si tu as stocké des caractères a lire dans un buffer ad-hoc (ptamp) avec remettrecar auquel cas, ça lit dans ce buffer.
A+,


---------------
There's more than what can be linked! --    Iyashikei Anime Forever!    --  AngularJS c'est un framework d'engulé!  --
Reply

Marsh Posté le 25-12-2012 à 21:28:56    

Je comprends ce que ça fait, mais naturellement j'aurais mis la saisie dans un tableau, en virant les espaces etc.. Mais ça je suppose que c'est la méthode "bête"  :D


---------------
IWH  ---  Le forum de toute une génération : http://losersiv.1fr1.net (losers, sans-ami, dépressifs, allez on va faire cette merde)
Reply

Marsh Posté le 25-12-2012 à 21:50:09    

Ça serait plus simple, et au lieu de faire remettrecar, il suffirait de reculer le pointeur.  
Ce programme est pas du tout un modèle de qualité. Le seul avantage a faire comme ils font c'est de pas être limité par la taille de l'entrée (ce que ferait un tableau dans lequel on copie), mais vu comment ils se limitent en sortie avec sortie[MAXLEX] euh...
A+,


---------------
There's more than what can be linked! --    Iyashikei Anime Forever!    --  AngularJS c'est un framework d'engulé!  --
Reply

Marsh Posté le 25-12-2012 à 23:05:26    

C'est ce que je me disais aussi !
 
Bonne soirée,


---------------
IWH  ---  Le forum de toute une génération : http://losersiv.1fr1.net (losers, sans-ami, dépressifs, allez on va faire cette merde)
Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed