Discussion :

[boboss123]

Bonjour,

J'ai des structures à comparer.
Pour comparer une structure, on est donc normalement obligé de créer une fonction qui compare chaque champs un à un pour éviter les problèmes de padding :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
BOOL compareMyStruct(MY_STRUCT * struct1, MY_STRUCT * struct2){
	if(
		(struct1->elm1 != struct2->elm1) ||
		(struct1->elm2 != struct2->elm2) ||
		// ..
		(struct1->elmX != struct2->elmX)	
	){
		return FALSE;
	}
 
	return TRUE;
}

Y a t-il une petite astuce pour que si j'ajoute un membre dans la structure, qu'il y ai une erreur/warning à la compilation si j'oublie de modifier la fonction compareMyStruct() en conséquence ?

=> Je cherche une méthode fiable pour éviter tout oubli

Merci d'avance

[ternel]

Non.

Mais si la déclaration de la fonction est à coté de la définition de la structure, une paire de commentaire bien placés devraient aider.

C'est la première étape de "documenter et spécifier".

[boboss123]

Le problème des commentaires, c'est que quand tu dois rendres un projet rapidement et que l'on te met la pression, tu as vite fait de ne pas lire les commentaires alors qu'avec un bon gros #error, ça c'est imparable... mais bon s'il n'y a pas le choix, allons y pour les commentaires

merci

[mith06]

Pourquoi un memcmp ne marcherais pas?

[Neckara]

Pourquoi un memcmp ne marcherais pas?

Le compilateur peut ajouter des octets de padding et je pense (à vérifier) que ces octets ont une valeur indéterminé.

[LittleWhite]

Le compilateur peut ajouter des octets de padding et je pense (à vérifier) que ces octets ont une valeur indéterminé.

On doit pouvoir empécher cela avec les indications pour le compilateur lié au packing des structures.

[boboss123]

Pourquoi un memcmp ne marcherais pas?

Ce que j'ai remarqué dans la déclaration d'une structure (je ne sais pas si c'est vrai dans tous les cas) :
1- les variables sont placées dans l'ordre de leur déclaration.
2- les variables sont placées à des adresses qui sont divisibles par la taille de la variable.
3- la taille totale de la structure est divisible par la taille de la plus grosse variable

Ex

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
 
typedef struct {
    UINT8 val8bits;
    UINT32 val32bits;
    UINT16 val16bits;
    UINT8 val8bits_2;
} MY_STRUCT;
 
void main(void){
    MY_STRUCT myStruct;
 
    myStruct.val8bits = 1;
    myStruct.val32bits = 2;
    myStruct.val16bits = 3;
    myStruct.val8bits_2 = 4;
 
    printf("sizeof(myStruct) = %i\r\n", sizeof(myStruct));
    printf("offset @myStruct.val8bits = 0\r\n");
    printf("offset @myStruct.val32bits = %i\r\n", (unsigned int)&myStruct.val32bits - (unsigned int)&myStruct.val8bits);
    printf("offset @myStruct.val16bits = %i\r\n", (unsigned int)&myStruct.val16bits - (unsigned int)&myStruct.val8bits);
    printf("offset @myStruct.val8bits_2 = %i\r\n", (unsigned int)&myStruct.val8bits_2 - (unsigned int)&myStruct.val8bits);
}

Si myStruct.val8bits est à l'adresse 0, myStruct.val32bits sera donc à l'adresse 4 (4 correspond à 8 octets = 32bits), myStruct.val16bits à l'adresse 8 et myStruct.val8bits_2 à l'adresse 10.
Il y a 3 octets de padding entre myStruct.val8bits et myStruct.val32bits et 1 octets de padding après myStruct.val8bits_2.
=> la taille de la structure sera donc de 12 octets

Lorsqu'une variable est déclarée en locale comme dans le cas cité précédemment (variable temporaire), elle est mise sur la pile et les champs ne sont pas initialisés à la déclaration de la variable. Les valeurs des octets de padding dépendent donc des valeurs des anciennes variables qui était précédemment au même endroit dans la pile.
Par contre les variables qui sont déclarées en extern/static (variables permanentes) ont tous leur octets qui sont initialisés à 0 au lancement du programme : je suppose donc qu'un memcmp sur deux structures en static doit fonctionner (à condition de ne pas avoir fait un memcpy avec une structure non static/extern pour modifier les valeurs de ces structures).


Si on change l'ordre des variables de la structure comme ceci :

Code :

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

1
2
3
4
5
6
7
 
typedef struct {
    UINT8 val8bits;
    UINT8 val8bits_2;
    UINT16 val16bits;
    UINT32 val32bits;
} MY_STRUCT;

=> la taille de la structure sera de 8 octets et il n'y aura pas d'octets de padding

Attention : comme je l'ai dit précédemment, je ne suis pas sure que ça soit vrai dans tous les cas (je ne connais pas bien la norme du C).

[droggo]

Voe,

Le problème des commentaires, c'est que quand tu dois rendres un projet rapidement et que l'on te met la pression, tu as vite fait de ne pas lire les commentaires alors qu'avec un bon gros #error, ça c'est imparable... mais bon s'il n'y a pas le choix, allons y pour les commentaires

merci

Faut pas pousser, quelques mots bien placés, en plus sur un programme que tu développes !!