Discussion :

[Amergin]

Salut tous,

Je rencontre un bug assez étrange dans un de mes codes.
j'ai plusieurs conditions les unes après les autres, de la forme:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
 
if (mat.(a).(b) = 1)
  then
    begin
      List.map (fun x -> compteur_t := !compteur_t-1) !voisins_d;
      voisins_d := c :: !voisins_d
    end;

Là, ça compile aves un warning:
Warning S: this expression should have type unit.

maintenant, si j'ai juste:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
 
if (mat.(a).(b) = 1)
  then
    List.map (fun x -> compteur_t := !compteur_t-1) !voisins_d;

là, il y a une erreur:
This expression has type unit list but is here used with type unit

Caml ne m'avait pas habitué à ça... Si je vois à peu près pourquoi il me dit ça, je ne comprends pas pourquoi il ne bugge pas dès le premier cas.

Quelqu'un peut m'expliquer??

[LLB]

List.map construit une liste avec les résultats de ta fonction. Si tu ne veux pas récupérer cette valeur, utiliser List.iter.

[Jedai]

Quelqu'un peut m'expliquer??

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

List.map (fun x -> compteur_t := !compteur_t-1) !voisins_d;

Ce code renvoie "unit list", si il est part d'une suite d'instruction on considère bizarre que l'une de ces instructions ne renvoie pas unit puisque le seul intérêt d'une instruction dans une séquence vient de ses effets de bord et que toute valeur renvoyée est perdue (donc ça serait mieux si la valeur renvoyé n'avait aucune signification, comme () ). Par contre la valeur renvoyée par une séquence complète d'instructions est la valeur renvoyée par la dernière instruction de la séquence, donc :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

voisins_d := c :: !voisins_d

dans ton premier code et

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

List.map (fun x -> compteur_t := !compteur_t-1) !voisins_d;

dans le second.

Maintenant il faut voir que "if then else" est toujours une expression en OCaml, c'est-à-dire qu'il doit renvoyer une valeur. Si on omet la branche else alors OCaml doit "inventer" une valeur lorsque la condition est fausse, et cette valeur est () (unit) puisqu'on suppose que "if then" n'est là que pour ses effets de bord et donc la valeur retourné par la branche then doit être du même type : unit.
C'est le cas de :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

voisins_d := c :: !voisins_d

mais pas :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

List.map (fun x -> compteur_t := !compteur_t-1) !voisins_d;

D'où ton erreur de type dans le second cas.

En fait le warning dans le premier cas était justifié : il n'y a aucune raison pour ton expression de renvoyer une liste, ça ne sert à rien et ça gaspille de la place (en supposant que ça ne soit pas optimisé), tu devrais plutôt utiliser List.iter à la place de List.map ou, mieux, écrire :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

compteur_t := !compteur_t - List.length !voisins_d

(Ou écrire carrément ton code dans un style plus fonctionnel, il y a trop de références !)

--
Jedaï

[Amergin]

Ok! merci, c'est très clair. J'ai tout mis en List.iter, ça marche très bien.

Bon, j'ai encore du mal à me passer des références, mais ça va venir...