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

Contribuez C++ Discussion :

[C++0x]Pas de concepts


Sujet :

Contribuez C++

Vue hybride

Message précédent Message précédent   Message suivant Message suivant
  1. #1
    Rédacteur/Modérateur
    Avatar de JolyLoic
    Homme Profil pro
    Développeur informatique
    Inscrit en
    Août 2004
    Messages
    5 463
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 50
    Localisation : France, Yvelines (Île de France)

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

    Informations forums :
    Inscription : Août 2004
    Messages : 5 463
    Par défaut [C++0x]Pas de concepts
    Bonjour,

    Le vote a eu lieu aujourd'hui, et la décision a été prise de ne pas inclure les concepts dans C++0x. Les principaux arguments étaient que beaucoup d'acteurs estimaient que la proposition n'était pas assez mature, et risquait de repousser le standard.

    Nous n'avons pas encore décidé comment le travail sur les concepts doit continuer, et quand ils pourront être intégrés dans le langage.
    Ma session aux Microsoft TechDays 2013 : Développer en natif avec C++11.
    Celle des Microsoft TechDays 2014 : Bonnes pratiques pour apprivoiser le C++11 avec Visual C++
    Et celle des Microsoft TechDays 2015 : Visual C++ 2015 : voyage à la découverte d'un nouveau monde
    Je donne des formations au C++ en entreprise, n'hésitez pas à me contacter.

  2. #2
    Membre éprouvé
    Étudiant
    Inscrit en
    Octobre 2007
    Messages
    189
    Détails du profil
    Informations professionnelles :
    Activité : Étudiant

    Informations forums :
    Inscription : Octobre 2007
    Messages : 189
    Par défaut
    Pour les ignorants comme moi, aurais-tu un lien de ce que sont les concepts ?

  3. #3
    Membre Expert
    Avatar de Goten
    Profil pro
    Inscrit en
    Juillet 2008
    Messages
    1 580
    Détails du profil
    Informations personnelles :
    Âge : 34
    Localisation : France

    Informations forums :
    Inscription : Juillet 2008
    Messages : 1 580
    Par défaut
    En gros ça permet de définir une interface que doit fournir un paramètre de template.
    Ca permet en premier lieu d'avoir des erreurs du compilo plus direct, par exemple si t'essayes de stocker dans un vecteur un objet qui n'est pas copi-able.

    Ca aurait permis d'écrire ce genre de chose :

    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
    template <typename T> requires equalityComparable<T>
    bool isEqual(const T& lhs, const T& rhs)
    {
         return lhs==rhs;
    }
     
    // et on définit un concept comme ceci :
     
    auto concept equalityComparable<typename T>
    {
        bool operator==(const T&);
    }
    Désolé pour la pauvreté de l'exemple mais j'ai pas mieux en tête xD. D'ailleurs je suis pas sur de l'exactitude de la syntaxe du concept (au niveau de la définition de l'opérateur)


    J'ai pas de lien très poussé sous la main, jte retrouve ça.

  4. #4
    Rédacteur/Modérateur
    Avatar de JolyLoic
    Homme Profil pro
    Développeur informatique
    Inscrit en
    Août 2004
    Messages
    5 463
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 50
    Localisation : France, Yvelines (Île de France)

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

    Informations forums :
    Inscription : Août 2004
    Messages : 5 463
    Par défaut
    Un des exemples fondateurs est std::sort. Si tu fais std::sort sur des itérateurs de std::list, tu auras un message d'erreur obscur qui parlera peut-être d'un problème avec un opérateur [] ou un opérateur + dans du code qui n'est pas à toi, mais fait partie de la bibliothèque standard.

    Avec des concepts, tu aurais eu une erreur dans ton code, indiquant que sort a besoin d'itérateurs à accès direct (RandomAccessIterator), et que tu lui as fourni des itérateurs d'un mauvais type.

    Le but étant de rendre les messages d'erreur des templates compréhensibles par le commun des mortels.

    Et ils permettaient aussi bien d'autres choses, entre autre une bonne gestion de l'overloading des templates, ce qui aujourd'hui doit se faire à la main avec des astuces et des classes de traits. Avec les concepts, les classes de traits auraient probablement disparu peu à peu.
    Ma session aux Microsoft TechDays 2013 : Développer en natif avec C++11.
    Celle des Microsoft TechDays 2014 : Bonnes pratiques pour apprivoiser le C++11 avec Visual C++
    Et celle des Microsoft TechDays 2015 : Visual C++ 2015 : voyage à la découverte d'un nouveau monde
    Je donne des formations au C++ en entreprise, n'hésitez pas à me contacter.

  5. #5
    Membre éprouvé
    Étudiant
    Inscrit en
    Octobre 2007
    Messages
    189
    Détails du profil
    Informations professionnelles :
    Activité : Étudiant

    Informations forums :
    Inscription : Octobre 2007
    Messages : 189
    Par défaut
    D'accord, merci à vous deux.

    Je crois en fait que j'en avais déjà entendu parler. N'y avait-il pas l'intention d'introduire le mot clef where ?

  6. #6
    Rédacteur
    Avatar de 3DArchi
    Profil pro
    Inscrit en
    Juin 2008
    Messages
    7 634
    Détails du profil
    Informations personnelles :
    Localisation : France

    Informations forums :
    Inscription : Juin 2008
    Messages : 7 634
    Par défaut
    Bonjour,
    Effectivement, c'est dommage.
    Entre autres, les concepts :
    -> jouent le rôle des classes traits : ils spécifient les exigences qu'un paramètre d'une classe/fonction template doit remplir (le code suivant ne suit pas la syntaxe exacte proposée mais illustre le propos ):
    Code : Sélectionner tout - Visualiser dans une fenêtre à part
    1
    2
    3
    4
    5
    6
    7
    8
    9
    10
    11
    12
     
    // définition d'un concept :
    concept Comparable<typename T> {
    bool operator<(T, T);
       // On spécifique qu'il doit exister un opérateur '<' de la forme indiquée ci-dessus.
    }
     
    // utilisation dans une fonction template :
    template<class T>
       requires Comparable<T>
    T min(T t1, T T2)
    {...
    _> jouent un peu le rôle des classes politiques avec les concept map : les concepts map permettent de dire comment un concept (un 'require') est rempli par une classe dans le cas où l'exigence n'est pas immédiate :
    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
     
    class personne {
    public:
    std::string nom;
    std::string prénom;
    };
     
    concept Comparable<typename T> {
    bool operator<(T, T);
    }
     
    concept_map Comparable<personne > { 
    // ca ne définit pas un opérateur '<' sur la classe personne
    // mais ça indique comment l'exigence doit être remplie
    bool operator<(const personne& a, const personne& b) {
    return (a.nom == b.nom) ?(
        (a.prénom == b.prénom)?
            false
            : (a.prénom< b.prénom))
        : (a.nom < b.nom)
    ;
    }
    Tu peux trouver des infos sur les concepts ici , ici ou

  7. #7
    Alp
    Alp est déconnecté
    Expert confirmé

    Avatar de Alp
    Homme Profil pro
    Inscrit en
    Juin 2005
    Messages
    8 575
    Détails du profil
    Informations personnelles :
    Sexe : Homme
    Âge : 36
    Localisation : France, Bouches du Rhône (Provence Alpes Côte d'Azur)

    Informations forums :
    Inscription : Juin 2005
    Messages : 8 575
    Par défaut
    C'est bien dommage

    Qui plus est, j'avais commencé un article dessus

Discussions similaires

  1. [RDF] Un littéral constante mais pas un concepts
    Par geforce dans le forum Ontologies
    Réponses: 1
    Dernier message: 12/09/2014, 17h18
  2. Je n’appréhende pas le concept GPRS
    Par Henri-gp dans le forum Arduino
    Réponses: 0
    Dernier message: 21/01/2014, 16h39
  3. [MCD] Premiers pas en conception de BDD
    Par Hildeguard dans le forum Schéma
    Réponses: 12
    Dernier message: 22/12/2010, 13h04
  4. [Conception] [débutant] Update ne marche pas
    Par yvandube dans le forum PHP & Base de données
    Réponses: 5
    Dernier message: 16/06/2006, 19h28
  5. [Conception] Pk ma valeur par defaut ne se met pas?
    Par kevinf dans le forum PHP & Base de données
    Réponses: 19
    Dernier message: 06/06/2006, 10h44

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