Discussion :

[wilval]

Bonjour,
Soit la fontion :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
BOOL MaFonction(void* var)
{
uneStructure  * varStruct= (uneStructure *) var;
...
// varStruct modifiée
...
}
 
typedef struct uneStructure  {
....
} uneStructure

Est-ce var peut être considérée comme une sortie ou est-ce obligatoirement qu'une entrée de la fonction ?
Merci

[Mac LAK]

C'est une entrée, car l'adresse de "var" ne sera pas modifiée par l'appel de la fonction. Or, c'est "var", le paramètre, et non pas ce qui est pointé par "var". Si tu veux le transformer en valeur de retour (= pouvoir modifier "var", il faut passer "void** var" comme paramètre.

Après, les données pointées par "var" peuvent être modifiées, en effet, mais ça c'est plutôt un effet de bord... Et pas mal "planqué", car l'utilisation du type "void*" masque le type réel de la donnée, donc fait sauter les vérifications du compilateur à ce sujet.

Typiquement, tu peux y passer un pointeur sur n'importe quoi sans le moindre cast, donc tu vas aussi très certainement faire n'importe quoi dans les appels.

[wilval]

Pour ma question initiale, c'est ok.
Mais j'ai pas dû tout comprendre sur les pointeurs génériques.

Code :

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

1
2
3
BOOL MaFonction(void* var)
{
uneStructure  * varStruct= (uneStructure *) var;

1)Dis-moi si je me trompe :
var est une adresse en paramètre sur un type inconnu.
varStruct prend ensuite pour valeur var qui est forcée à pointer sur uneStructure.

2) En quoi est-ce que cet exemple ci-dessus permet de "protéger" la variable var de l'utilisateur de la fonction MaFonction ? ie par rapport à ça :

Code :

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

1
2
3
BOOL MaFonction(uneStructure  * varStruct)
{
//code;

[Mac LAK]

var est une adresse en paramètre sur un type inconnu.

C'est une adresse sans type, pour être plus précis... Ce qui ne change absolument pas le fait que var est passé par valeur : tu ne peux pas modifier le pointeur en question (même si tu peux modifier les données situées à l'adresse var).

varStruct prend ensuite pour valeur var qui est forcée à pointer sur uneStructure.

Et c'est là que tu risques les ennuis : qu'est-ce qui te garantit que le pointeur est valide, et de taille suffisante ?

2) En quoi est-ce que cet exemple ci-dessus permet de "protéger" la variable var de l'utilisateur de la fonction MaFonction ?

Simple, prends ceci par exemple :

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
BOOL MaFonctionAvecVoid (void* var) {
.....
}
 
BOOL MaFonctionSansVoid (uneStructure* var) {
.....
}
 
int main() {
 
   char dummy = '\0' ;
 
   MaFonctionAvecVoid(&dummy) ; // Compile, mais plantage plus que probable à l'exécution.
   MaFonctionSansVoid(&dummy) ; // Refuse de compiler.
}

Passer un pointeur à une fonction SANS lui passer AUSSI la taille des données accessibles via ce pointeur, c'est un casse-gueule de première...