Discussion :

[Johor]

Bonjour,

Voila j'ai un probleme en ce qui concerne l'utilisation des unsigned.
J'ai une fonction qui a pour prototype :

Code :

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

void         *ma_fonction(unsigned long int taille);

Je ne peux malhereusement pas toucher a ce prototype. Lorsque j'envoi un nombre superieur a 0 a ma_fonction, aucun soucis (normal !). Mais je voudrais que lorsque j'envoi a cette meme fonction un nombre negatif, elle me mette une erreur. Or, je ne sais pas comment checker la valeur de la variable "taille" puisque lorsque j'envoi a ma_fonction par exemple "-20", elle le transforme en :

4294967295 - 20 = 4294967275

La taille fait donc comme qui dirait "le tour en sens inverse".
Comment remedier a ce probleme sachant que je ne peux pas checker "taille" en amont dans la fonction qui appelle "ma_fonction"?

Merci

[Thierry Chappuis]

Si tu utilises gcc comme compilateur, tu peux utiliser l'option -Wconversion pour capturer l'erreur sous forme d'avertissement à la compilation. Sinon, si ta fonction ne travaille pas avec les entiers supérieurs à LONG_MAX, toutes les valeurs de taille telles que LONG_MAX < taille <= ULONG_MAX sont en principe des entiers négatifs ayant été convertis. Dans ce cas, il te suffit de renvoyer une erreur lorsque taille est supérieure à LONG_MAX.

Sinon, je n'ai pas d'autre idée.

Thierry

[DaZumba]

je voudrais que lorsque j'envoi a cette meme fonction un nombre negatif, elle me mette une erreur.

Ca n'a pas de sens. Pour ma_fonction(), taille a forcement une valeur positive puisque c'est un unsigned long.

Comment remedier a ce probleme sachant que je ne peux pas checker "taille" en amont dans la fonction qui appelle "ma_fonction"?

Pourquoi pas ? Il est evident que c'est au moment de la conversion long vers unsigned long qu'il faut tester que ta valeur n'est pas negative. Si tu travailles avec des contraintes impossibles du genre "je ne peux pas tester avant l'appel a la fonction", alors ton probleme n'a pas de solution.

[Johor]

Ca n'a pas de sens. Pour ma_fonction(), taille a forcement une valeur positive puisque c'est un unsigned long.

Pour etre clair, voici a quoi ressemble mon programme :

Code :

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

1
2
3
4
5
6
7
8
9
void           *ma_fonction(unsigned long int taille)
{
    bla bla bla;
}
 
int             main()
{
    ma_fonction(-20);
}

Pourquoi pas ? Il est evident que c'est au moment de la conversion long vers unsigned long qu'il faut tester que ta valeur n'est pas negative. Si tu travailles avec des contraintes impossibles du genre "je ne peux pas tester avant l'appel a la fonction", alors ton probleme n'a pas de solution.

En fait il s'agit de la fonction malloc que je refais, donc bien evidement je la teste en refaisant une lib et je renomme "ma_fonction" en "malloc". Donc c'est bien dans cette fonction que la valeur doit etre checkee, et pas en amont.

[Médinoc]

Pour moi, c'est bien en amont que ça doit être vérifié: Car si on essaie de passer une valeur négative à malloc(), ce sera tout aussi faux que si on essaie de la passer à ta fonction...

[DaZumba]

Donc c'est bien dans cette fonction que la valeur doit etre checkee, et pas en amont.

A l'interieur de ta fonction, tu as un unsigned long. Par definition, ce ne peut pas etre un nombre negatif. Tu pourrais essayer de "deviner" que ton unsigned long provient de la conversion d'un long negatif, comme le propose Thierry Chappuis, mais si l'utilisateur veut allouer une tres grande taille, tu risques de lui interdire sous pretexte que c'est "peut-etre" une taille negative convertie. Fais comme malloc() -- si tu demandes malloc((size_t) -1) il va tenter d'allouer un gros bloc. La seule taille speciale pour malloc() est zero, ou le comportement est defini par l'implementation.

[Johor]

Ouai en gros j'ai pas vraiment de solution possible. Moi je pensais utiliser une fonction X ou Y qui irait checker dans la memoire pour voir si la taille specifiee n'a pas ete convertie. Mais ca doit pas exister...

[Thierry Chappuis]

Ouai en gros j'ai pas vraiment de solution possible. Moi je pensais utiliser une fonction X ou Y qui irait checker dans la memoire pour voir si la taille specifiee n'a pas ete convertie. Mais ca doit pas exister...

Non, ça n'existe pas. Et je ne vois pas comment elle procéderait. Le contenu de la mémoire n'est pas typé. Une telle fonction ne verrait rien d'autre qu'une suite interminable de 0 et de 1. C'est l'interprétation par le programme des données en mémoire qui fait apparaître la notion de type.

Thierry

[corrector]

Voila j'ai un probleme en ce qui concerne l'utilisation des unsigned.

Bingo! Le problème est lié à l'utilisation d'entiers non-signés. Conclusion...

J'ai une fonction qui a pour prototype :

Code :

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

void         *ma_fonction(unsigned long int taille);

Je ne peux malhereusement pas toucher a ce prototype.

Alors tu es coincé.

Lorsque j'envoi un nombre superieur a 0 a ma_fonction, aucun soucis (normal !). Mais je voudrais que lorsque j'envoi a cette meme fonction un nombre negatif, elle me mette une erreur. Or, je ne sais pas comment checker la valeur de la variable "taille" puisque lorsque j'envoi a ma_fonction par exemple "-20", elle le transforme en :

4294967295 - 20 = 4294967275

La taille fait donc comme qui dirait "le tour en sens inverse".
Comment remedier a ce probleme sachant que je ne peux pas checker "taille" en amont dans la fonction qui appelle "ma_fonction"?

La réponse est dans la question : on ne peut pas. Donc, il faut éviter de ce retrouver dans une telle situation.

La leçon est : un argument qui est positif ne doit pas être déclarer comme non-signé.

En fait il s'agit de la fonction malloc que je refais, donc bien evidement je la teste en refaisant une lib et je renomme "ma_fonction" en "malloc".

Tu reimplémentes une libc?

[Johor]

Tu reimplémentes une libc?

Oui exact, je reimplemente la lib C avec les fonctions malloc, realloc et free. Mes fonctions marchent bien puisque je lance des programmes avec et ils ne plantent pas (genre gimp, firefox, mozilla et tout le touti). Donc par consequent, a priori si ces programmes sont bien codes, ca ne pose pas de probleme puisque les programmeurs sont pas assez bete pour faire des mallocs negatifs. Mais cette possibilite va etre verifiee pour mon rendu. Si comme certains disent ici que la taille est checkee en amont, pourquoi alors un appel a malloc avec un nombre negatif renvoie un pointeur null ?!

[Médinoc]

Parce que ce nombre négatif est considéré comme un nombre positif énorme, trop grand pour que malloc() puisse réserver une plage mémoire continue d'une telle taille.

Sous un Windows 32 bits, une taille négative passée à malloc() correspond à une taille supérieure à 2Go, alors que la mémoire "utilisateur" d'un processus est justement limitée à 2Go.

[Johor]

Exemple :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
$>cat main.c
int     main()
{
  char  *test;
 
  test = malloc(-1);
  printf("%s\n", test);
  return (0);
}
 
$>cc main.c -o test
$>./test
(null)

ainsi que :

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
 
$>cat main.c
int     main()
{
 
  char  *test;
 
  test = malloc(-1);
  test[0] = 'a';
  test[1] = 0;
  printf("%s\n", test);
  return (0);
}
$>cc main.c -o test
$>./test
Segmentation fault

(je precise que je suis sous freebsd)

[Médinoc]

J'ai répondu à la question.
malloc(-1) correspond, sur un système 32 bits, à malloc(4294967295), ce qui revient à demander une taille de 4Go moins un octet.
...Et sur aucun système 32bits il n'est possible d'allouer une telle quantité de mémoire contigüe à un programme, avec un simple malloc().

---> Donc, malloc() échoue et retourne NULL.

[Johor]

donc un malloc de -4294967275 devrait correspondre en realite a un malloc de 20 ?

[corrector]

Oui exact, je reimplemente la lib C avec les fonctions malloc, realloc et free. Mes fonctions marchent bien puisque je lance des programmes avec et ils ne plantent pas (genre gimp, firefox, mozilla et tout le touti).

Tu remplaces libc.so (ou tu LD_PRELOAD), ou tu les recompiles?

[Johor]

Tu remplaces libc.so (ou tu LD_PRELOAD), ou tu les recompiles?

LD_PRELOAD pourquoi ?