Version imprimable
Bonsoir,
Ma question concerne la fonction malloc() en C et spécialement le type void* qu'elle retourne. J'ai appris par ailleurs qu'il n'était pas nécessaire de faire un cast du pointeur retourné. Est-ce vrai ? Si c'est le cas merci de m'indiquer la source.
Merci par avance.
C'est dans la FAQ : Faut-il caster malloc ?
C'est vrai, mais je trouve la réponse de la FAQ de dvp un poil trop catégorique.Citation:
Envoyé par uknow
Perso je préfère cette réponse.
Moi j'adhère par contre entièrement la réponse de la FAQ dvp.
1. De l'inutilité : Les raisons les plus fréquentes qui poussent certains programmeurs à caster malloc sont :
a. L'ignorance : "Je mets un cast comme ça c'est sûr que ça marche. Je m'en fiche que ça soit utile ou pas.".
-> Jusqu'à quand programmer dans ces conditions ? Lorsqu'on sait que c'est inutile, il n'y a aucune raison soutenable de le mettre. C'est comme écrire :
Bien sûr que ça marche. Mais le cast est inutile, donc à supprimer.Code:long n = (long)1;
b. La "C/C++"-mania : "En C++, le cast est requis donc vaut mieux toujours le mettre, même en C où ce n'est pas requis".
-> Il y a peu (pour ne pas dire pas) d'intérêt à écrire du code compatible C et C++. Du code C, même 100% incompatible C++, peut toujours être compilé en C (bien sûr) ensuite utilisé dans du code C++. Pas besoin de programmer en langage spaghetti pour mixer ces deux langages.
2. Du danger :
Le cast force le compilateur à faire la conversion même lorsque le type retourné par malloc n'est pas void *. Si on a oublié d'inclure stdlib.h par exemple, le compilateur supposera que malloc est une fonction qui retourne un int. A cause du cast, le compilateur ne génèrera pas un avertissement du type "int converti en pointeur" or affecter le retour d'une fonction qui renvoie int à un pointeur est dangereux (imagine par exemple que la taille d'un int est différente de celle d'un pointeur, qu'est-ce qui va se passer !? or ce n'est pas que ça ...).
Donc personnellement, je recommande vivement de ne jamais caster malloc lorsqu'on programme en C.
La plupart du temps les gens font des casts sur malloc parce qu'ils compilent en C++.
Si ce n'est pas ça c'est parce qu'on leur à enseigné comme ça.
Ce qui rejoint ce que j'ai dit. Selon toi :
- Soit ils font volontairement du C/C++ (ce qui peut faire l'objet d'un débat : "Faire du C/C++ : est-ce bien ou mal ?"), ce qui rejoint mon 1.b.
- Soit ils le font sans le savoir mais juste parce qu'on le leur a enseigné ainsi, ce qui rejoint mon 1.a. et dans ce cas, soit le prof lui-même ne connaît pas assez le C (croyez-moi, ça existe, j'ai vu de mes propres yeux et pas qu'une seule fois), soit c'est un prof qui n'a pas l'intention de tout enseigner à ses élèves (et ça aussi, ça existe).
Perso c'est plutôt pour cette raison :Citation:
Envoyé par Melem
Et comme je compile avec des options qui me :sm: si y a le moindre warning, je risque pas d'oublier un en-tête ;)Citation:
On the other hand, some programmers prefer to make every conversion explicit, to record that they have considered each case and decided exactly what should happen
Et personellement, et j'ai déjà eu l'occasion de le dire plusieurs fois, je suis contre cette "recommandation", pour 2 raisons..Citation:
Envoyé par Melem
- a) l'argument du "danger" :
ce danger n'existe que pour des programmeurs débutants. Il faudrait alors interdire toute utilisation "limite" de tout ce qui en C peut être mal interpété ou mal utilisé par un débutant.. ça fait beaucoup..
- b) l'aspect documentaire / maintenance :
le fait d'avoir des casts explicites dans le code non seulement permet à tout moment de la lecture de savoir à quel type on a affaire, mais également, en cas de modification du type d'un champ, de relever instantanément (erreur ou warning de compil) toute inconsistance entre pointeurs..
Alors je suis effectivement beaucoup plus d'accord avec ce que dit comp.lang.c qu'avec une politique et une affirmation péremptoire de la "nocivité" de cette utilisation...
Tout ceci est un troll énorme entre deux factions de la programmation C. Les gens pour le cast auront leurs raisons et les gens contre aussi.
Je suis contre le cast puisque je compile avec des options de compilation strictes et parce que j'ai déjà eu un problème dû à ce cast.
Jc
pour le troll, effectivement il semble assez velu..
Néanmoins, je ne vois pas ce que viennent faire des options strictes dans ce débat..
Je compile aussi avec des options strictes :P
Oublier d'inclure un fichier d'en-tête n'est pas forcément une erreur de débutant bien que ça arrive le plus souvent, je l'admets, aux débutants. Dans cette réponse, j'ai confondu cstdlib (le stdlib.h de C++) avec cstring (le string.h de C++), d'où inclusion d'un fichier d'en-tête inutile et omission du bon fichier d'en-tête. Je connais au moins 3 raisons (tous des cas déjà vécus, aussi bien quand je débutais que depuis que je me suis amélioré) qui peuvent causer l'oubli d'un fichier d'en-tête :Citation:
a) l'argument du "danger" :
ce danger n'existe que pour des programmeurs débutants.
- Oubli pur et simple. Les oublis, ça peut arriver à tout le monde.
- Confusion avec un autre fichier d'en-tête. On pense avoir inclus le fichier requis mais en fait on a inclus un autre, probablement un qui a un nom ou un rôle plus ou moins ressemblant ...
- Erreur de jugement. Prends ceci par exemple (exemple vraiment très simple) :
Code:
2
3
4
5
6
Ici aussi, dans source1.c, lorsqu'on pense que condition vaut VRAI, alors on pense avoir déjà inclus stdlib.h même s'il n'a pas effectivement été inclus. condition peut être une expression simple, complexe ou hypercomplexe. Faire des erreurs sur l'évaluation de sa valeur peut arriver à tout le monde, pas aux débutants uniquement.Code:
2
On peut tous croire que tu n'as jamais fait d'erreurs de ce genre et que tu n'en feras jamais mais malheureusement, tout le monde n'est pas aussi talentueux que toi. Comme je l'ai dit, toutes ces erreurs me sont déjà arrivées, et j'ai également vu d'autres personnes se faire avoir. C'est un fait, on peut ne pas en discuter.
Explique-moi alors pourquoi personne n'écrit :Citation:
b) l'aspect documentaire / maintenance :
le fait d'avoir des casts explicites dans le code non seulement permet à tout moment de la lecture de savoir à quel type on a affaire,
Pour rappeler que y est un long ? Ce n'est pas pour rien que les conversions implicites existent. void * est compatible avec tous les types pointeurs d'objet. Ca ne rime vraiment rien de caster un void *.Code:
2
3
Si tu modifies un type, tu dois déjà modifier pas mal de choses dans le code source lui-même. Ca se limite rarement à ajouter ou modifier des casts ... (un peu (mais pas vraiment) hors-sujet : cf la signature de Médinoc :mouarf:).Citation:
mais également, en cas de modification du type d'un champ, de relever instantanément (erreur ou warning de compil) toute inconsistance entre pointeurs.
Le compilateur aussi ?Citation:
Envoyé par Melem
Parce que si le fichier n'est pas inclus, la déclaration de malloc n'est pas explicite et alors là le compilo gueule (et arrête de compiler si les bonnes options sont settées).
Au risque de radoter avec la FAQ de comp.lang.c :
Caster un pointeur n'est pas une hérésie punissable du fouet, c'est juste un moyen pour les programmeurs qui savent que le cast n'est pas nécessaire mais qui trouvent que c'est plus lisible avec le cast (la notion de lisibilité étant parfois subjective) de clarifier (selon eux) ce qu'ils font.Citation:
On the other hand, some programmers prefer to make every conversion explicit, to record that they have considered each case and decided exactly what should happen
C'est tout.
Les problèmes cités avec le cast n'existent pas si on regarde les warnings que sort le compilateur (ou qu'on les considère comme des erreurs) et qu'on ne se dit pas bêtement "j'ai eu un exécutable donc y a eu zéro souci à la compilation" (ça c'est clairement une erreur de débutant).
Pas tous. Avec gcc par exemple, l'option -W (enable standard compiler warnings), ni même l'option -pedantic (enable warning demanded by strict ISO C (en mode C90)), ne génère pas le message d'avertissement "implicit declaration". Il faut compiler avec les options les plus strictes possibles (-Wall) pour que ce message soit généré. Et déjà ça ce n'est que gcc, mais on ne va pas passer la soirée à étudier cas par cas les quelques milliers de compilateurs C existants. Je ne connais par contre pas de compilateur qui reste muet devant une conversion implicite d'entier vers pointeur ou de pointeur vers entier même sans options de compilation spéciales, parce que c'est souvent un peu louche.Citation:
Le compilateur aussi ?
Parce que si le fichier n'est pas inclus, la déclaration de malloc n'est pas explicite et alors là le compilo gueule
Au risque de me répéter (3ème fois !), pourquoi on n'écrit jamais long n = (long)1; ?! C'est du même cru que le char * p = (char *)malloc(...);. En quoi expliciter une conversion implicite qui n'a rien de louche améliorerait la lisibilité ? Au contraire, c'est gênant. Bon, je te rejoins quand tu dis que la notion de lisibilité est subjective mais là quand même ...Citation:
Caster un pointeur n'est pas une hérésie punissable du fouet, c'est juste un moyen pour les programmeurs qui savent que le cast n'est pas nécessaire mais qui trouvent que c'est plus lisible avec le cast (la notion de lisibilité étant parfois subjective) de clarifier (selon eux) ce qu'ils font.
On dirait que tu essaies de répondre à ceci :Citation:
Les problèmes cités avec le cast n'existent pas si on regarde les warnings que sort le compilateur (ou qu'on les considère comme des erreurs) et qu'on ne se dit pas bêtement "j'ai eu un exécutable donc y a eu zéro souci à la compilation" (ça c'est clairement une erreur de débutant).
Mais ta phrase est très mal formulée. La mienne aussi apparemment. J'ai répondu, pour contrer souviron34, que lorsqu'on change un type dans un projet, ce n'est rarement en plantant ou en modifiant des casts qu'on va pouvoir mettre à jour le reste du code. Cela demande beaucoup de changements radicaux. Ceci pour conclure que son argument ne peut pas compter.Citation:
Envoyé par Melem
Ceci est mon dernier message sur le sujet, je me suis déjà étendu longuement à ce propos ailleurs sur ce forum...
Voilà ce que c'est de mélanger C et C++ :PCitation:
Envoyé par Melem
Moi je ne fais que du C, et, je ré-itère, je n'ai jamais eu ce cas, en tous cas pas méchamment : à la première compile, le compilo te jette, et si tu fais gaffe à ce qu'il dit, tu t'en rend compte instantanément..
Ce n'est toujours pas une raison valable pour l'instaurer en Commandement...
Une compile, sur un gros projet, tu en fais (en dev, sur ta cope du code) environ une fois toutes les 5 minutes, au plus 1 fois par heure...
Compiler une fois et te rendre compte et corriger, par rapport à perturber des milliers de lignes, franchement pour moi ya pas photo...
Voir plus haut..Citation:
Envoyé par Melem
Un compilo bien réglé et le fait de faire gaffe à la sortie du compilo t'averti dès le premier passage...
Sauf que là c'est une erreur de conception...Citation:
Envoyé par Melem
si le fichier source1 a besoin de stdlib.h, il faut l'inclure de toutes façons, sans intermédiaires.. Sauf (ce que je mentionnais dans un autre thread) sur les gros projets où on a un "CommonC.h" qui comprendra tous les entêtes généraux (stlib, stdio, time, ctype, string, math par exemple)..
Je ne comprend vraiment pas cette façon de NE PAS vouloir inclure plusieurs fois des fichiers d'entête...
Les #ifdef sont justement là pour vérifier qu'on ne les inclue pas inutilement.. Alors pourquoi se priver de mettre les include là où on a besoin ???
Dans un cas comme le cas cité, si je n'ai pas de "CommonC.h", j'incluerais stdlib ET dans include1.h ET dans include.h ET dans source1.c...
J'en ai fait, comme tout le monde, mais comme je l'ai dit l'apparition des erreurs étant tellement évidente à la compile, je ne vois pas en quoi établir une règle aussi absurde et sans fondements réels serait une bonne chose : encore une fois, si on doit faire éviter les erreurs de C possibles, autant enlever les notions de pointeurs, de void, etc etc...Citation:
Envoyé par Melem
Le C est un langage simultanément laxiste et rigoureux, pour des gens qui savent ce qu'ils font..
Comme la langue française peut en même temps être simple et compliquée.. Est-ce pour autant une raison pour écrire en SMS ou ne pas appliquer les règles de grammaire ou d'accord féminin/masculin ???
Parce que là c'est un long, un type élémentaire d'une variable..Citation:
Envoyé par Melem
Soit tu n'as jamais travaillé sur de très gros projets, ou bien tu ne veux pas voir : la plupart du temps, tu as des dizaines de pointeurs, dans des structures, qui peuvent être des élements de listes, de tableaux, des structures, ce que tu veux, qui sont alloués par exemple à un endroit, puis réalloués à d'autres, éventuellement dans diverses fonctions, et libérés encore ailleurs..
La définition de la structure n'est pas forcément proche : que ce soit la routine d'initialisation, d'allocation, de remplissage, de réallocation, de destruction... D'autre part cette structure peut contenir de nombreux pointeurs, chacun pointant sur de nouvelles structures... etc etc..
Avoir tout sans cast explicite fait que tu te tortures l'esprit en relisant le code, savoir que tel sous-sous-sous pointeur sera (est ??) de tel ou tel type...
ça m'arrive en permanence d'avoir des pointeurs de pointeurs de pointeurs de pointeurs... Chacun étant alloué dynamiquement..
Et encore ce n'est qu'un exemple simple...Code:DataSets[k].Source[j].Data[Num].Location[i].Altitude.Value.d
Dans les routines d'allocations ou des réallocation, cela sert d'aspect documentaire... Et cmme je le dit plus bas pour "tracker" un changement..
Absolument.. Void* existe POUR POUVOIR PASSER UN PARAMETRE QUELCONQUE A UNE FONCTION....Citation:
Envoyé par Melem
Son utilisation en tant que cast de résultat de fonction est vraiment d'un usage ultra-limité... :
en fait il n'y a que le malloc, et si on veut stocker un pointeur sur quelque chose d'inconnu dans une structure..
Sauf que justement, sans cast explicite, tu peux oublier tout un tas de trucs, en particulier dans les allocations ou réallocations..Citation:
Envoyé par Melem
Un exemple très simple :
devientCode:char *Table ;
Si d'une part tu n'as pas casté, et d'autre part tu as omis sizeof(char), alors tu es dans une grande panade, sur un très gros soft...Code:char **Table ;
C'est tout...
Comme je n'utlise aucun IDE, que je suis sous Unix/Linux, et que je compile toujours avec gcc en ligne de commande, et j'ai toujours -Wall -strict_prototypes -ansi (-ANSI90)..Citation:
Envoyé par Melem
:P
si tu ne fais pas de conversion EXPLICITE, il suffit d'oublier -Wall et tu ne l'as pas...Citation:
Envoyé par Melem
Les compilateurs ne restent pas muets, encore faut-il voir sortir les erreurs...
C'est tout simplement faux...Citation:
Envoyé par Melem
Reprend mon exemple plus haut..
Un "gros" changement dans un projet n'est pas vraiment pas rapport au type, mais souvent de transfomer une valeur en un tableau, ou un tableau en une liste (et donc un pointeur) ou un tableau à plus de dimensions.
Si on a casté, avec xemacs par exemple (et je suis sûr que c'est pareil avec les IDE classiques) tu fais "replace / toto = (char *) / toto = (char **) /" et il te positionnera sur toutes les lignes contenant ça et te demandera "remplacer ou non ?".. et tu auras beaucoup moins d'occurences (et donc de possibilités de se tromper) que si tu cherches "toto" ou même "toto ="...
J'ai très rarement vu un changement de vrai type, ou alors c'est que la conception avait mal fait son boulot..
Enfin, je ne m'étendrais plus là-dessus, mais je trouve plus qu'irritant la façon de vouloir inculquer comme le Grand Méchant Diable cette pratique..
Et même de la déconseiller..
Je dirais le mieux serait de dire : les 2 options sont possibles et se défendent..
Mais, d'après tes premières remarques, c'est possible que ce soit parce que vous côtoyez trop C++ que vous pensiez ça.... Ou alors c'est peut-être l'usage des IDE, ou du C côté Windows..
Je n'en ai jamais fait, ni des uns ni des autres, et moi, en C pur, je MAINTIENS QU'IL EST BIEN DE CASTER :D
Sujet récurrent en effet... Juste une réaction sur un point :
Il y en a pourtant, notamment sur les modules d'interfaces inter machines (ex : définition de structures, protocoles de communication, etc.).Citation:
Envoyé par Melem
En effet, avoir du code compilant indifféremment en C et en C++ permet les points suivants :
- Même fichier source pour toutes les cibles, donc risques de régressions très fortement réduit lors des évolutions.
Pour être honnête, on peut aussi bien sûr avoir ceci avec un mix C/C++, mais dans ce cas on n'a pas le point 2.- Sur les cibles compilées en C++, évite d'avoir à utiliser un deuxième compilateur et/ou de la compilation conditionnelle à base de extern "C", qui pose parfois des soucis lors de l'édition de liens. Ou tout simplement parce qu'il faut "répéter" les réglages du compilateur C++ vers les réglages du compilateur C, ce qui est là encore une source de régressions.
- Permet de supporter les compilateurs C non ANSI qui existent sur certaines cibles, notamment les microcontrôleurs... En effet, certains de ces compilateurs ont un prototype pour malloc qui renvoie autre chose qu'un void*.
Oui, ces compilateurs sont moches, vilains et tout ce que l'on veut, j'approuve des deux mains. Mais quand on n'a pas le choix parce que c'est le seul et unique compilateur existant pour cette cible, et que ladite cible est imposée par le client ou par l'historique, et bien il faut faire avec.
Toutefois, en dehors de modules destinés et dédiés à la communication entre machines de nature assez différente (au niveau architecture, endianness, compilateurs et normes supportées), il est effectivement assez rare d'avoir l'utilité réelle de compiler en mode compatible C et C++. Mais le cas de figure existe, et ne doit pas être omis.
Ca ne ressemble pas un peu à :Citation:
En effet, avoir du code compilant indifféremment en C et en C++ permet les points suivants :
1. Même fichier source pour toutes les cibles, donc risques de régressions très fortement réduit lors des évolutions.
Pour être honnête, on peut aussi bien sûr avoir ceci avec un mix C/C++, mais dans ce cas on n'a pas le point 2.
2. Sur les cibles compilées en C++, évite d'avoir à utiliser un deuxième compilateur et/ou de la compilation conditionnelle à base de extern "C", qui pose parfois des soucis lors de l'édition de liens. Ou tout simplement parce qu'il faut "répéter" les réglages du compilateur C++ vers les réglages du compilateur C, ce qui est là encore une source de régressions.
? :roll:Citation:
En effet, avoir du code compilant indifféremment en C et en C++ permet les points suivants :
1. avoir du code compilant indifféremment en C et en C++, donc ...
2. avoir du code compilant indifféremment en C et en C++, ...
Bref, c'est justement ce qui n'a pas d'intérêt, selon moi. La compatibilité au niveau binaire est, de loin, plus importante et plus avantageuse que la compatibilité au niveau "source". On a des centaines de langages qui n'ont strictement rien à voir alors qu'on a toujours réussi à les rendre binaire-compatibles. Et puis, faire du C avec le C++ ... ça ne me dit pas grand-chose.
Pour le 3, ça peut passer mais là c'est maintenant un problème purement C. Ca ça peut être une raison de caster malloc.
Bref, avant de continuer le débat, je tiens à vous informer que la FAQ en question a été mise à jour (merci à Pouet_Forever) et cela datant du 30/12/2009 je crois. Je rappelle le lien : [FAQ] Faut-il caster malloc ?. C'est un bon compromis non (avec la même conclusion quand même :P).
Non. Le premier est, bien entendu, faisable par plusieurs méthodes, dont la tienne et la mienne.Citation:
Envoyé par Melem
La seconde, par contre, impose de régler (makefile, projet, machintruc) DEUX compilateurs au lieu d'un seul, avec des options par forcément simples à mettre en concordance... Sans parler du fait de peut-être devoir déployer un compilateur de plus.
La compatibilité binaire est bien sûr très importante, mais une compatibilité au niveau source offre parfois de bien meilleurs avantages.
Cela a au moins le mérite d'être très nettement moins dogmatique que la version précédente... Je mentionnerais juste que les compilateurs non-ANSI ne sont pas forcément aussi vieux que ça ! ;)Citation:
Envoyé par Melem
ça s'améliore, mais ce n'est pas encore ça..Citation:
Envoyé par Melem
Quand je lis :
Citation:
dans lequel caster malloc est non seulement inutile mais aussi de mauvais style).
Je suis absolument désolé mais je suis résolument contre ces épithètes..
Si on veut être une vraie FAQ, on devrait dire comme le dit comp.lang.c..
"Il y a 2 styles. Chacun a ses pour et ses contres. Mais peu importe celui que vous prenez, votre style doit être homogène"
:P
PS: et à la limite, lister les aguments en faveur des 2 approches..
MAis je ne vois pas ce qui vous permet de juger que c'est "un mauvais style"..
Et si on remplaçait la réponse par ceci alors :J'ai enlevé le "de mauvais style", que je vais la garder pour moi-même, mais il faut quand même préciser que le cast est inutile, sinon ça ne répond pas la question. Que le lecteur décide ensuite de caster ou pas malloc, les int -> long, les type [] -> type *, etc., c'est son affaire, du moment qu'il sait que le cast n'est pas requis en C ANSI.Citation:
soit vous compilez en mode "C++", c'est-à-dire que votre compilateur (qui est donc apparemment capable de compiler aussi bien du code C que du code C++) pense que votre code est écrit en C++ (dans lequel le cast de void * vers un autre type pointeur est obligatoire) et non en C (dans lequel ce cast est inutile). Généralement les fichiers sources C++ portent l'extension .cpp et les fichiers sources C l'extension .c, mais cela peut changer d'un compilateur à un autre. Il faut donc faire bien attention sur ce point là.