Discussion :

[kami08]

Bonjour,

j'utilise un tableau de pointeur qui represente une table de hachage (chaque case pointe sur une liste). La fonction de hachage prend une chaîne de caractères et me retourne un entier représente un indice dans le tableau.

Avant d'insérer dans le tableau, je dois d'abord vérifer si la case est vide !
Donc ma question est, quand je déclare ce tableau de pointeurs, par quelle valeurs les cases seront initialisées ? par NULL ou autre valeurs ?
Si non pas par NULL,, comment je vérifie si la case est libre (Ps: sans que je l'initialise moi meme).
ma structure :

Code C :

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

1
2
typedef struct {char *c, struct ts *svt}ts;
ts* tab[100];

merci.

[ternel]

En C, si tu ne fais rien pour initialiser, rien n'est fait par le langage.

La seule subtilité, c'est l'initialisation partielle d'un tableau.
C'est à dire, que la déclaration int* tab[16] = {NULL}; définit la première case à NULL et les 15 suivantes à 0.

[Obsidian]

Bonjour et bienvenue :

Réponse courte : elles ne seront pas initialisées du tout ! Il faudra donc prendre le soin de le faire au moment où tu déclares ton tableau.

Réponse un peu plus longue : l'initialisation de tes variables est indépendante du modèle de structures de données que tu utilises. La norme C stipule que les variables globales ou statiques doivent être initialisées à zéro par le programme compilé (principalement parce que comme elles sont persistantes, on ne peut pas savoir si c'est la première fois ou non qu'on les visite et il leur faut donc une valeur initiale déterminée à l'avance) et que tout ce qui est dynamique est laissé tel quel : la mémoire est simplement réservée pour ton usage personnel et elle t'est mise à disposition dans l'état dans lequel elle se trouve.

C'est important parce l'utilisation de variables ou d'espace mémoire non initialisé est a priori un « comportement indéfini » mais dans certains cas, si tu appelles une fonction qui alloue de la mémoire, que tu en sors, et que tu entres à nouveau dans la même fonction juste après, il est probable que tu ré-alloues exactement la même plage et que les valeurs qui s'y trouvent, bien qu'obsolètes, paraissent cohérentes et que ta fonction renvoie des résultats en apparence légitimes mais malgré tout complètement faux.

Cela conduit à des bugs très difficiles à déceler et encore plus à corriger. D'où l'intérêt d'adopter une bonne méthodologie, de se pencher sur ces cas de figure dès le départ comme tu le fais, et de s'aider de logiciels de profilage et d'analyse mémoire comme valgrind.

[kami08]

et donc comment je peux verifier si j'ai déja remplis une case auparavant ou pas ?
faut-il que je l'initialiser par NULL pour le verifier ?? y'a pas d'autres moyens ?

[ternel]

Un tableau est toujours rempli, mais par défaut, de "bruit".

A toi de faire en sorte de savoir si tu peux te servir des pointeurs de ton tableau.
Il n'y a que deux solutions classiques:

• Mettre des NULL et vérifier chaque pointeur avant de s'en servir, c'est à dire faire comme avec n'importe quel pointeur.
• Avoir le nombre de cases actives, et n'utiliser que les premières. (façon "buffer")

Dans le cas d'une table de hashage, seule la première est utilisable: ton tableau est plein, mais de listes qui sont vides.

[Obsidian]

Pour compléter ce que dis très bien ternel, et pour faire référence à ceci :

faut-il que je l'initialiser par NULL pour le verifier ?? y'a pas d'autres moyens ?

C'est justement la justification de ce point dont il faut débattre : c'est exactement la même chose dans tous les autres langages sauf que, comme tu le précises, on s'attend justement à ce que le framework que l'on utilise nous les ait justement mises à zéro pour nous, implicitement. Cela implique donc à la fois d'avoir convenu, même tacitement, d'un état initial (ici NULL) et qu'une routine exécutée automatiquement avant l'exécution de notre propre programme ait fait le ménage pour nous.

Pourquoi est-ce que ce n'est pas le cas ici ? Parce qu'on travaille justement au niveau de la routine en question. Routine qui, dans les autres langages, a de fortes chances d'être elle-même écrite en C. Et également parce que comme on l'a expliqué au dessus, non seulement la valeur initiale doit être clairement définie (ce n'est pas forcément NULL ni zéro), mais également parce que cela a un coût ! Même en C, cela reste encore un peu abstrait, surtout sur des machines modernes, mais quand on travaille en assembleur et sur des microcontrôleurs à la cadence limitée, ça prend tout son sens ! De fait, il est déraisonnable d'imposer dans la norme des traitements coûteux à la fois en mémoire (code machine) et en temps d'exécution sur chacune des variables si cela est potentiellement inutile. Et ça l'est puisque la plupart du temps, c'est le programmeur qui commence par affecter une valeur à sa variable, soit depuis une constante, soit en évaluant une expression (qui elle même peut être un paramètre extérieur, par exemple).

Maintenant, si ça te saoule d'écrire une boucle pour initialiser le moindre tableau (et on peut le comprendre), soit tu utilises memset() pour mettre une plage à zéro si celle-ci est déjà réservée (par exemple avec malloc()… et encore : pour cela, il existe calloc()), soit tu utilises la notation ensembliste pointée du doigt par ternel : « { } ». Dans le cas présent, tu n'aurais besoin que de rajouter :

Code C :

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

1
2
typedef struct {char *c, struct ts *svt}ts;
ts* tab[100] = { NULL };

… à ton code. À noter tout de même qu'en C, NULL n'est pas un mot-clé réservé du langage mais une macro définie avec #define dans <stddef.h> (que l'on ne voit jamais parce que ce fichier est généralement inclus par les autres fichiers standard comme <stdio.h>) et que c'est une valeur réservée choisie précisément pour représenter l'absence de valeur, comme dans les bases de données. Seulement, je ne connais aucune plateforme qui ait l'idée saugrenue de définir cette valeur autrement qu'à zéro. Si ça te tracasse, tu peux utiliser #if, #ifder, #error, et assert() en début de programme pour interrompre la compilation ou l'exécution de ton programme sur toute plateforme sur laquelle ce serait quand même le cas, mais tu n'en es pas là pour le moment.

[Bktero]

Un tableau est toujours rempli, mais par défaut, de "bruit".

Ce n'est vrai que pour les variables qui ont une "automatic storage duration". Dans le cas contraire, elles contiennent des 0 (ou des NULL ou équivalent).

Pour plus de détails https://gradot.wordpress.com/2012/09...ructures-en-c/

[Sve@r]

et donc comment je peux verifier si j'ai déja remplis une case auparavant ou pas ?
faut-il que je l'initialiser par NULL pour le verifier ?? y'a pas d'autres moyens ?

Bonjour

Hé oui, il n'y a pas d'autre moyen. C'est seulement en remplissant toi-même les cases de ton tableau que tu pourras savoir avec certitude que tu les as remplies.
Et NULL (pour un pointeur) parce que c'est la seule valeur licite qui indique "pointeur créé mais pas encore utilisable parce que sans mémoire".

[Elijha]

Bonjour,

Avant l'utilisation de tableau, pour les initialiser, j'utilise la fonction memset.
Dans ton cas :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#include <string.h>
typedef struct {char *c, struct ts *svt}ts;
ts* tab[100];
 
/* Dans le main ou fonction d'init */
memset(&tab, NULL, sizeof(tab));
 
/* Test d'une cellule non allouée */
if(tab[i] == NULL {
    /* code */
}

Après il t'es possible de faire une comparaison avec NULL.

Bonne continuation