Discussion :

[Super Payet]

Bonsoir, j'ai un petit problème avec cette fonction en caml light (où l et t sont censés être de type (string*int)list et string vect) :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
#let rec hachage_lineaire_aux l t = match l with
	| [] -> t
	| (s,i)::q -> let j = ref (i-1) in
				while t.(!j) <> "" do
					if !j < ((vect_length t)-1) then j := !j + 1
					else j := 0 ; done;
				t.(!j)<-s ,
			hachage_lineaire_aux q t ;;
Entrée interactive:
>.................s ,
>        hachage_lineaire_aux q t...
Cette expression est de type 'a * 'b,
mais est utilisée avec le type string.

Pourriez-vous m'expliquer comment caml fait pour interpréter ceci et/ou me donner une solution, s'il vous plaît ?

[Cacophrene]

Bonjour,

L'erreur est ici triviale mais ce n'est pas toujours facile à voir quand on regarde le code depuis un bon moment à la recherche d'une satanée erreur... simplement à cause d'une virgule (voir la ligne en rouge dans le code ci-dessous) !

Code :

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

1
2
3
4
5
6
7
8
9
let rec hachage_lineaire_aux l t = match l with
    | [] -> t
    | (s,i)::q -> let j = ref (i-1) in
                while t.(!j) <> "" do
                    if !j < ((vect_length t)-1) then j := !j + 1
                    else j := 0 ; done;
                t.(!j)<-s ,
            hachage_lineaire_aux q t ;;

Une autre question, maintenant, qui me vient en regardant ton code : tu utilises une boucle while. Qu'est-ce qui garantit que ta fonction ne va pas boucler indéfiniment parce que tous les éléments de ton tableau contiennent déjà une chaîne de longueur non nulle ?

Cordialement,
Cacophrène

[Super Payet]

Merci beaucoup, j'avais complètement zappé cette virgule. Sinon, pour te répondre je définissais le tableau en fonction de la liste :

Code :

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

let hachage_lineaire l = hachage_lineaire_aux l (make_vect (list_length l) "") ;;

[Cacophrene]

Sinon, pour te répondre je définissais le tableau en fonction de la liste

D'accord.

Ce code étant hors contexte, il m'est difficile de savoir ce qui se passe vraiment, et ce n'est pas le sujet de la discussion, mais à tout hasard je préfère te signaler ceci : attention aux valeurs prises par la variable i dans les couples (s, i), car le tout premier test à l'entrée dans la boucle while déclenchera une erreur si i > List.length l, car alors j est initialisé avec la valeur List.length l... et t.(List.length l) n'existe pas !

Cordialement,
Cacophrène