Discussion :

[gnulix]

Bonjour,

Les pointeurs sont, à la base, des variables de type "adresse mémoire". Mais un pointeur, ne contient-il rien d'autre comme information? Je suppose que si, à commencer par la taille de la valeur pointée. Non? Sinon, impossible de parcourir un tableau correctement : il faut connaître la taille des sauts à effectuer...?

Je suppose que jusqu'ici, j'ai bon.

Mais les pointeurs ne contiennent-ils pas non aussi la taille totale de la zone allouée par malloc? Sinon, comment le "free" peut-il savoir ce qu'il doit libérer comme mémoire?

Dans ce cas, pourquoi ne peut-on pas connaître la taille d'un tableau?

Merci d'avance pour vos éclairages.

[Melem]

Un pointeur contient une adresse, rien d'autre.

Mais un pointeur, ne contient-il rien d'autre comme information? Je suppose que si, à commencer par la taille de la valeur pointée. Non? Sinon, impossible de parcourir un tableau correctement

C'est une des raisons pour laquelle on passe toujours la taille du tableau (ainsi que l'adresse du premier élément) à une fonction manipulant un tableau.

Mais les pointeurs ne contiennent-ils pas non aussi la taille totale de la zone allouée par malloc? Sinon, comment le "free" peut-il savoir ce qu'il doit libérer comme mémoire?

Non. malloc alloue en effet plus de mémoire que demandée pour enregistrer aussi les informations concernat la mémoire allouée (entre autres la taille) mais le pointeur retourné par malloc pointe sur la mémoire dont on a besoin.

[diogene]

Je suppose que si, à commencer par la taille de la valeur pointée. Non? Sinon, impossible de parcourir un tableau correctement : il faut connaître la taille des sauts à effectuer...?

La taille de l'objet pointé est déterminé par le type du pointeur (pointeur sur int, ...). Le compilateur la connait. La taille des sauts à effectuer est calculée par le compilateur, pas par le contenu du pointeur.

[gnulix]

OK, merci!