Discussion :

[savezoboss]

Bonjour tout le monde , je suis débutant en ocaml;
En effet ayant créé deux matrices à l'aide de la directive Array.create_matrix , j'aimerais les comparer, ainsi si elles sont identiques je renvoie true et false dans le cas contraire.

Merci de m'aider

[drunkskater]

Salut,

De manière générale, quand on pose une question de ce type c'est mieux de dire ce qu'on a essayé, ou ce qu'on a envisagé de faire. Comme ça, ça permet aux gens qui répondent de voir où est le problème et de répondre de façon adaptée.

Par contre dans ce cas précis, j'ai bien peur que tu n'aie pas lu le manuel (du coup tu risques de te sentir bête en voyant la réponse)...

La première question que tu dois te poser, c'est "qu'est-ce que je veux dire par identique". Ca peut paraître bête mais c'est important. En effet, est-ce que :

- Cela veut dire que je parle du même objet physique

- Ou bien est-ce que je peux considérer des objets distincts mais ayant toutes les mêmes propriétés.

Les deux notions sont utiles, tout dépend de ce pour quoi tu les utilises. Par exemple, quand tu dis "On a le même tee-shirt", tu ne parles pas de copropriété. A l'inverse, quand tu dis, "c'était le même mec !", tu ne parles sans doute pas d'un clone.

Je suis pas sûr des termes français mais en anglais quand tu parles du même objet, il s'agit d'égalité physique (ou superficielle). A l'inverse, quand ce sont deux objets "qui ont les mêmes propriétés", on parle d'égalité structurelle (ou profonde).

Je te parle de toute ça alors quand dans ton cas tu penses sans doute à de l'égalité structurelle. Mais on verra que dans le cas des tableaux (et comme pour toute structure mutable), la distinction a une importance et quand on est débutant ça peut être une source de bug.

Du coup, pour l'égalité structurelle, ce que tu aurais pu (dû ?) faire, si tu n'avais pas lu le manuel (que tu aurais dû lire), c'est quelque chose comme [si tes matrices ont la même dimension bien entendu] :

Code :

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

1
2
3
4
5
6
7
8
let ans = ref true in
let n = Array.length m1 in
for i = 0 to n - 1 do
  for j = 0 n - 1 do
   if m1.(i).(j) <> m2.(i).(j) then ans := false
  done
done;
t

Ce code est moche est pas optimal mais bon... C'est juste pour l'idée.

PAR CONTRE, ici pas besoin de se casse la tête car des fonctions de comparaison physique / structurelles sont déjà définies en OCaml...

Il s'agit tout simplement de

Code :

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

=

et

Code :

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

==

Je te laisse faire tourner et analyser le bout de code suivant pour voir qui fait quoi :

Code :

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

1
2
3
4
5
6
7
let x = Array.create_matrix 2 2 0 ;;
let y = Array.create_matrix 2 2 0 ;;
let z = y;;
x = y ;;
y = z ;;
x == y ;;
y == z ;;

La raison pour laquelle cette distinction est importante avec les tableaux c'est que si deux tableaux sont physiquement identiques, alors quand tu modifies l'un, tu modifie "l'autre" ! Faut y faire attention.

Bonne chance.

[savezoboss]

Merci pour votre réponse, je parlais au fait d'une comparaison structurelle(contenu) de deux matrices de même longueur. Je savais pas qu'on pouvait utiliser l'opérateur == (merci pour l'info).

[drunkskater]

Juste pour s'assurer qu'on est d'accord :

= c'est pour structurelle
== c'est pour physique

En général tu auras toujours besoin de ( = ), mais il faut avoir à l'esprit que pour les tableaux ou les listes c'est assez long (O(n)), alors que ( == ) est en O(1). Donc des fois il faut y penser .

Si tu n'as pas d'autre question, tu peux mettre le message en résolu (il faut cliquer sur le bouton en bas de page)

PS : Au fait, il y avait une petite coquille dans mon "code", à la ligne 5, je l'ai corrigée. J'espère que ça t'avait buggué.