IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)
Navigation

Inscrivez-vous gratuitement
pour pouvoir participer, suivre les réponses en temps réel, voter pour les messages, poser vos propres questions et recevoir la newsletter

C Discussion :

dépollution


Sujet :

C

  1. #1
    Membre Expert
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Octobre 2008
    Messages
    1 515
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 46
    Localisation : France

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : Octobre 2008
    Messages : 1 515
    Par défaut dépollution
    En C, il n'est pas possible de passer à une fonction
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    void f(T const * const * a)
    un argument d'un des types suivants :
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    T * * a;
    T * const * b;
    T * * const c;
    En fait, pour pouvoir appeler la fonction f, il faut faut au moins que le paramètre passé soit de type :
    C'est à dire, pointeur vers un pointeur vers un const.

    Pourquoi ? Quel danger y a-t-il à passer a, b ou c à ma fonction f ?

    En fait cette restriction en C me parrait étrange car il n'y a à mon avis danger à passer mes pointeurs a, b ou c à ma fonction f, car ma fonction est "plus const" que mes variables a, b et c.

    Mais, puisque le C interdit le passage d'une variable non const ** à une fonction const * const *, j'imagine qu'il y a une bonne raison, qui m'échappe. Si quelqu'un connait cette raison, j'aimerai qu'il me la présente.

  2. #2
    Expert éminent
    Avatar de Médinoc
    Homme Profil pro
    Développeur informatique
    Inscrit en
    Septembre 2005
    Messages
    27 391
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 41
    Localisation : France

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : Septembre 2005
    Messages : 27 391
    Par défaut
    Alors, côté explication:
    1. a et c, c'est pareil (passage par copie).
    2. Le problème de a est un problème connu du C, résolu en C++.
      En fait, le C considère T* et T const * comme deux types différents (ce qu'ils sont), et donc T * const * et T const * const * sont à ses yeux des pointeurs vers des types différents. Je suppose que la source du problème est un problème de covariance/contravariance.
      (Note: Je rappelle que le const que j'ai mis en italique est obligatoire: Convertir un T ** en T const ** poserait un problème de const-correctness).
    3. Pour b, je suppose que c'est pareil.

    Le C++ autorise le cast implicite de T** en T const * const *, et c'est bien pratique. Le compilateur C de Visual Studio le supporte aussi en tant qu'extension, mais ne le reconnait pas comme une extension (puisque c'est toujours actif même avec le flag /Za).
    SVP, pas de questions techniques par MP. Surtout si je ne vous ai jamais parlé avant.

    "Aw, come on, who would be so stupid as to insert a cast to make an error go away without actually fixing the error?"
    Apparently everyone.
    -- Raymond Chen.
    Traduction obligatoire: "Oh, voyons, qui serait assez stupide pour mettre un cast pour faire disparaitre un message d'erreur sans vraiment corriger l'erreur?" - Apparemment, tout le monde. -- Raymond Chen.

  3. #3
    Membre Expert
    Homme Profil pro
    Ingénieur développement logiciels
    Inscrit en
    Octobre 2008
    Messages
    1 515
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 46
    Localisation : France

    Informations professionnelles :
    Activité : Ingénieur développement logiciels

    Informations forums :
    Inscription : Octobre 2008
    Messages : 1 515
    Par défaut
    Mais la vraie question est, pourquoi ne peut-on pas affecter une variable de type T * const * à une variable de type T const * const * sans déclancher un warning, alors qu'on peut affecter sans warning une variable de type T * à une variable de type T const * ?

    D'une autre côté c'est vrai que ce ne sont que des warnings, et l'affectation est en fait permise malgré tout. Mais si on veut enlever ce warning il faut caster, ce qui est finalement beaucoup plus dangereux. Ce n'est donc pas seulement un warning inutile, c'est un warning dangereux.

  4. #4
    Expert éminent
    Avatar de Médinoc
    Homme Profil pro
    Développeur informatique
    Inscrit en
    Septembre 2005
    Messages
    27 391
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 41
    Localisation : France

    Informations professionnelles :
    Activité : Développeur informatique
    Secteur : High Tech - Éditeur de logiciels

    Informations forums :
    Inscription : Septembre 2005
    Messages : 27 391
    Par défaut
    Citation Envoyé par matafan Voir le message
    Mais la vraie question est, pourquoi ne peut-on pas affecter une variable de type T * const * à une variable de type T const * const * sans déclancher un warning, alors qu'on peut affecter sans warning une variable de type T * à une variable de type T const * ?
    L'ajout de const au premier niveau de pointeur est explicitement autorisée et facile à reconnaître. L'ajout de const aux niveaux suivants est plus complexe. Comme je l'ai dit, en C++ ça marche. Mais j'ignore pourquoi cela n'a pas été ajouté dans les derniers standards du C...[/QUOTE]
    SVP, pas de questions techniques par MP. Surtout si je ne vous ai jamais parlé avant.

    "Aw, come on, who would be so stupid as to insert a cast to make an error go away without actually fixing the error?"
    Apparently everyone.
    -- Raymond Chen.
    Traduction obligatoire: "Oh, voyons, qui serait assez stupide pour mettre un cast pour faire disparaitre un message d'erreur sans vraiment corriger l'erreur?" - Apparemment, tout le monde. -- Raymond Chen.

  5. #5
    Expert confirmé

    Inscrit en
    Novembre 2005
    Messages
    5 145
    Détails du profil
    Informations forums :
    Inscription : Novembre 2005
    Messages : 5 145
    Par défaut
    La regle du C++ est relativement compliquee, le comite C a decide d'avoir une regle plus simple, mais interdisant des cas valides.

    Dans le cas present:
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
     
    char * const * p1;
    char const * const * p2;
     
    p2 = p1
    n'est pas conforme en C et l'est en C++.

    Un cas fort similaire qui est interdit dans les deux langages:
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
     
    char ** p1;
    char const ** p2;
     
    p2 = p1;
    parce que la sequence suivante serait valide mais modifierait c:
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
    6
    7
     
    char const c = 'C';
    char* p3;
    char ** p1 = &p3;
    char const ** p2 = p1;
    *p2 = &c; // oops, p3 vaut &c
    *p3 = 'B';

Discussions similaires

  1. Dépollution de fichiers Excel
    Par jloois dans le forum Excel
    Réponses: 2
    Dernier message: 24/11/2009, 21h08

Partager

Partager
  • Envoyer la discussion sur Viadeo
  • Envoyer la discussion sur Twitter
  • Envoyer la discussion sur Google
  • Envoyer la discussion sur Facebook
  • Envoyer la discussion sur Digg
  • Envoyer la discussion sur Delicious
  • Envoyer la discussion sur MySpace
  • Envoyer la discussion sur Yahoo