Discussion :

[roh01]

Bonjour,

Dans l'exemple ci-dessous, je cherche à remplir un tableau à partir des données binaires lues dans un fichier (binaire).

Code :

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

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
44
45
46
47
48
49
50
51
52
53
54
55
56
#define C_NB_MAX_ELEM 10
#define NOMFICHIERSOURCE "Exemple.bin"
 
#include <stdlib.h>
#include <string.h>
 
//Pour l'exemple
typedef int32_t Element_t;
 
//Exemple de programme remplissant des tableaux
in32_t main( void )
{
	Element_t TableauExemple[C_NB_MAX_ELEM]:
	size_t NbElemLus = 0;
 
	NbElementLus = importBinaireElement( NOMFICHIER, TableauExemple );
 
	return EXIT_SUCCESS
}
 
size_t importBinaireElement( char_t * p_NomFichier, Element_t * p_TableauARemplir )
{
	FILE * p_fichierBinaire = NULL; //Tant que le fichier n'est pas ouvert, on met une adresse invalide
	size_t NombreElemLus = 0;
 
	//Verifier que l'epace memoire est disponible
	if( p_TableauARemplir != NULL )
	{
		/* 
			Cette fonction remplit la table p_TableauARemplir de 0. Cette table comporte C_NB_MAX_ELEM elements de taille "sizeof(Element_t)" octets.
		*/
 
		//Ouverture du fichier binaire
		/*
			Le fichier est ouvert en lecture ('r') et en mode binaire ('b').
		*/
		p_fichierBinaire = fopen(p_NomFichier, "rb");
 
		//Si l'ouverture du fichier a reussi, la variable p_fichierBinaire contient une valeur valide
	   if (p_fichierBinaire != NULL)
	   {
			/*
				Cette fonction lit au plus C_NB_MAX_ELEM elements, chacun de taille "sizeof(Element_t)" octets, depuis le fichier accede au travers de p_fichierBinaire.
				Les elements sont ranges dans p_TableauARemplir. La fonction retourne le nombre d'elements vraiments lus.
			*/
			NombreElemLus = fread(p_TableauARemplir, sizeof(Element_t), C_NB_MAX_ELEM, p_fichierBinaire);
 
			// La lecture etant terminee, on ferme le fichier et affectons a nouveau une valeur invalide a  p_fichierBinaire
			fclose(p_fichierBinaire);
			p_fichierBinaire = NULL;
	   }
	}
 
	//Retourner le nombre d'elements importes
	return NombreElemLus;
}

Ce programme doit être statique. Je définis donc une taille maximum pour le tableau que je souhaite remplir : elle est égale au nombre maximum d'éléments que pourrait contenir le tableau.

La ligne suivante a pour but de controler que le tableau où seront rangées au plus C_NB_MAX_ELEM données est suffisamment alloué en mémoire.

Code :

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

if( p_TableauARemplir != NULL )

Malheureusement, je ne sais pas comment vérifier la quantité de mémoire allouée à partir d'une adresse. Ici, je voudrais vérifier que p_TableauARemplir est l'adresse du premier byte d'une zone mémoire à laquelle qu'au moins C_NB_MAX_ELEM*sizeof(Element_t) bytes auront été alloués. Est-ce possible. Pourriez-vous m'aider ?

Dans cet exemple, ce n'est peut-être pas necessaire, mais la fonction importBinaireElement pourrait être utilisée dans des circonstances moins favorables.

Merci d'avance.

[Invité(e)]

Bonjour,

Tu peux modifier le prototype de importBinaireElement :

Code :

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

1
2
size_t importBinaireElement( char_t * p_NomFichier, 
    Element_t * p_TableauARemplir, size_t taille_tableau );

Et l'appeler comme ceci :

Code :

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

1
2
size_t nb_elem_max = sizeof TableauExemple  / sizeof *TableauExemple ;
NbElementLus = importBinaireElement( NOMFICHIER, TableauExemple, nb_elem_max );

Et la fonction de lecture devient :

Code :

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

1
2
NombreElemLus = fread(p_TableauARemplir, sizeof(Element_t), taille_tableau, 
    p_fichierBinaire);

[Mac LAK]

Ici, je voudrais vérifier que p_TableauARemplir est l'adresse du premier byte d'une zone mémoire à laquelle qu'au moins C_NB_MAX_ELEM*sizeof(Element_t) bytes auront été alloués. Est-ce possible. Pourriez-vous m'aider ?

Directement, c'est strictement impossible à partir d'un simple pointeur : en fait, tu ne peux même pas savoir (s'il est différent de NULL) si cela pointe vers de la mémoire allouée, globale ou même simplement accessible !
Si c'est un pointeur initialisé n'importe comment, donc vraisemblablement dans une zone mémoire non mappée, tu n'as pas d'autre choix que de tenter de déréférencer le pointeur pour "tester" la zone... Si ça plante, c'est que c'était mauvais, et si ça marche, ça ne veut même pas dire que c'est de la mémoire réellement "libre". Comble de joie, tu ne peux même pas intercepter l'erreur (SIGSEGV usuellement)...
Bref, le flou, il faut faire confiance à l'appelant (principe majeur en C, d'ailleurs).

C'est éventuellement possible avec des classes C++, mais en C, tu n'as aucune solution à part celle indiquée par mabu : passer la taille du tableau en paramètre, en plus du tableau lui-même, et faire confiance à l'utilisateur de ta fonction...


Note : Si tu veux blinder au maximum, et que tu es sous Visual Studio, pense aussi à tester la valeur 0xCCCCCCCC en mode Debug, cela permet de vérifier les pointeurs non-initialisés qui sont par défaut à cette valeur sous VS (en Release, ils n'ont aucune valeur particulière s'ils ne sont pas initialisés).
Tu obtiens un truc du genre :

Code :

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

1
2
3
4
5
6
7
if ((p_fichierBinaire != NULL)
    #ifdef _DEBUG
    && (p_fichierBinaire != 0xCCCCCCCCul)
    #endif
    ) {
        ....
    }

Cela ne coûte pas grand-chose, et c'est une bonne pratique générale...
Pour ma part, j'utilise un truc hérité de Delphi que j'apprécie particulièrement, c'est une macro "assigned" qui teste directement la validité d'un pointeur, fonction qui est alors adaptable à pas mal de plate-formes (y compris celles ayant un mapping mémoire réduit) par compilation conditionnelle :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
#define assigned(pointer) ( \
    ((pointer)!=NULL) \
    #if defined(_DEBUG) && defined(_MSC_VER)
    && ((pointer)!=(0xCCCCCCCCul)) \
    #endif
    )
 
/* Usage :*/
    if (assigned(mon_pointeur)) {
        ....
    }

A utiliser bien sûr avec les précautions d'usage liées aux répétitions des paramètres de macros...

[roh01]

Merci pour vos réponses.