[Free Pascal] Fonctionnement du système de hash TFPGMap

Fonctionnement du système de hash TFPGMap

Bonjour à tous,

Je reviens vers vous car j'ai de nouveau un souci pour comprendre le fonctionnement et le comportement du langage.

J'essaie juste de structurer un dictionnaire de HASH. Cela faisait des erreurs en mémoire.

Alors, j'ai pris un exemple tout bête... Un dictionnaire de chaine de caractère...
Code:

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 {$mode objfpc}{$H+} uses sysutils,fgl ; TYPE HASHMAP_DeTest = specialize TFPGMap<string,String>; procedure TestMAP; Var DICT_Test : HASHMAP_DeTest; begin DICT_Test := DICT_Test.Create; //DICT_Test.Sorted = True; // Impossible de faire ce genre de chose //DICT_Test.add('Clef','Valeur'); DICT_Test['Test'] := 'coucou'; end; begin TestMAP; end.
Sous FP en compilant, impossible de trouver "crt" ... (je l'ai enlevé depuis)
A la compilation avec FPC pas de problème ...

Mais à l'execution ...

Citation:

31 lines compiled, 0.4 sec
1 warning(s) issued
An unhandled exception occurred at $000000000044DE11:
EAccessViolation: Access violation
$000000000044DE11
$0000000000400259
$0000000000400A1E

J'ai pas dû faire comme il faut certainement, mais j'ai du mal a voir.

Merci d'avance pour l'aide que vous pourrez m'apporter sur le sujet.

Cordialement
MAD

Code:

DICT_Test := HASHMAP_DeTest.Create;

;)

Bonjour Andnotor,

En effet, après avoir relu je me suis aperçu de ça.

Je pensais quand faisant la déclaration dans VAR l'instanciation était effectuée.

Pensant que c'était un langage objet, je croyais qu'il reservait la mémoire et copiait le code dedans.

Erreur !
Il faut donc reprendre la classe pour instancier l'objet déclaré...

Merci en tout cas pour la réponse.

Cordialement
MAD

Voilà pour ceux qui serait dans mon cas, voici le corigé de l'exercice ... :aie:

Code:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
{$mode objfpc}{$H+}
{$R+}
 
Program coucou;
 
 
uses fgl; 
 
TYPE
 
	HASHMAP_DeTest = specialize TFPGMap<string, string>;
 
 
Var DICT_Test : HASHMAP_DeTest;
Var NBElements : integer;
Var ind_NBElements : integer;
 
 
begin  
 
	//Il faut absolument instancier avec la classe et non avec le futur objet
	DICT_Test := HASHMAP_DeTest.Create;
  	DICT_Test.add('Clef','Valeur');
	DICT_Test['Clef2'] := 'Valeur2';
 
	//On compte le nombre d'élément pour préparer la boucle. 
	NBElements := DICT_Test.Count;
 
	Writeln('Nombres d''éléments : ',NBElements);
 
	//Lancement de la boucle de parcours	
	For ind_NBElements := 0 to NBElements - 1 do
	begin
		//On affiche Ligne par ligne, la clef et la valeur
		writeln(DICT_Test.Keys[ind_NBElements] + '=' + DICT_Test.Data[ind_NBElements]);		
    end;
 
    //Supprime une ligne
    DICT_Test.Remove('Clef');
 
    //Libère la mémoire 
    DICT_Test.Free;
end.

Citation:

Envoyé par madndf

Je pensais quand faisant la déclaration dans VAR l'instanciation était effectuée.

Non, tu ne fais que déclarer une variable pointeur typé.
Et si des arguments sont nécessaires à la construction, comment ceux-ci pourraient-ils être déterminés automatiquement ? ;)

Citation:

Envoyé par madndf

Pensant que c'était un langage objet, je croyais qu'il reservait la mémoire et copiait le code dedans.

Le code est là, c'est celui que tu as écrit, il n'y a aucune copie. A l'instanciation de l'objet, c'est la mémoire nécessaire à ses propriétés qui est allouée.
Et c'est justement parce que c'est de l'objet qu'on ne peut pas savoir à coup sûr quel sera le type réel (contrairement à un record). Cela peut être le type déclaré comme un type dérivé (polymorphisme).

Citation:

Envoyé par madndf

Il faut donc reprendre la classe pour instancier l'objet déclaré...

Le type déclaré ou un type dérivé ;)

Mais ensuite il est tout à fait possible d'appeler le constructeur sur l'objet instancié (perso je ne le fait jamais). Il sera traité comme une simple méthode et retournera le même pointeur.

Ceci est valide (mais pas forcément très compréhensible) :
Code:

1 2 3 4 5 var DICT_Test : HASHMAP_DeTest; DICT_Test := HASHMAP_DeTest.Create; DICT_Test := DICT_Test.Create;

Salut

Citation:

Envoyé par madndf

Bonjour Andnotor,

Je pensais quand faisant la déclaration dans VAR l'instanciation était effectuée.

Pensant que c'était un langage objet, je croyais qu'il reservait la mémoire et copiait le code dedans.

En quoi le fait d'être un langage objet oblige à cela ?

Le Pascal Objet instancie ses objets sur le tas et cela depuis Delphi, jamais sur la pile comme peut le faire C++, c'est la continuité des allocations d'enregistrement sur le tas des Turbo Pascal.

Une variable de type objet est une référence. Dans ce cadre, l'instanciation "automatique" rend poserait sans doute plus de problèmes car en déclarant une variable, on cherche peut-être à désigner un objet existant déjà référencé, il suffit de penser au passage d'un objet comme paramètre d'une routine. Si l'instanciation automatique existait, il faudrait désallouer après coup les objets crées pour se servir de leur identificateur comme nouvelle référence sur un objet existant. Ce qui serait passablement inefficace. On spécifie explicitement l'allocation.

Quoiqu'il arrive, les instanciations d'objet en Pascal sont explicites (mêmes si elles sont parfois dissimulées), c'est en parfait accord avec la philosophie du Pascal "historique".

Cdlt