Discussion :

[kidpaddle2]

Bonjour,

Je travaille sur un lecteur de CSV (CSV_reader) ligne par ligne, sans analyse, où l'exploitation des données est faite à part par l'implémentation d'une interface (Row_translator).

J'aimerais donc restreindre mon template CSV_reader aux classes dérivées de CSV_translator, afin d'appeler la méthode adaptée translate_row() à chaque lecture de ligne. Je tâtonne, et je n'arrive pas à faire taire mon compilateur.

Une idée ? Au fait, je suis au début de la conception, si vous avez une meilleure idée pour faire ce que je veux...

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
class CSV_reader;
class CSV_reader::Row_translator;
 
template <class Translator : public Row_translator>
class CSV_reader : public CSVFile {
    std::ifstream m_csv;
 
    public:
        class Row_translator {
            public:
                virtual void translate_row(Row const &) = 0;
        };
 
        explicit CSV_reader(std::string path) : m_csv(path.c_str()) {}
 
        void read(std::vector<Translator>&);
};

J'ai essayé de profiter du polymorphisme sans template, mais sans succès :/

Merci d'avance.

Cordialement,

Kidpaddle2

[Flob90]

Tu doit pouvoir vérifier que le paramètre template hérite (publiquement) de la classe que tu veus avec SFINAE, ou les concepts (si tu as un compilateur qui les as ou boost qui doit en avoir).

[kidpaddle2]

Merci de ta réponse.

J'utilise boost effectivement, mais il n'y a rien de natif dans le langage (quelque chose dans le goût de ce que j'ai marqué) ? Aussi, qu'est-ce qui me permettrait de le faire dans boost ?

[Flob90]

SFINAE est une technique de programmation non spécifique à boost (j'ai pas de source d'exemple en tête, il faut chercher su google :s) les concepts que propose boost sont juste plus générique (je les ai pas utilisé, mais je pense qu'ils permettent de faire ca).

[Goten]

Non rien en natif dans le language, t'as boost.concept_check pour ça. Faut juste faire bien attention en définissant tes concepts..
Ou alors plus dans l'esprit de base, tu documentes tes concepts, et tu laisses l'utilisateur se tiré une balle dans le pied si il le veut. .

Sinon ouai SFINAE + static_assert

[Flob90]

Ou alors plus dans l'esprit de base, tu documentes tes concepts, et tu laisses l'utilisateur se tiré une balle dans le pied si il le veut. .

Je pense que documenter est aussi la meilleur solution, l'utilisateur est bien assez responsable pour savoir ce qu'il fait. concept ou SFINAE ca marche, mais c'est quand même assez lourd à mettre en place (surtout pour une seul classe) par rapport à une bonne doc.

[Davidbrcz]

Avec boost::enable_if et boost::is_base_of, ca marche nikel.

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
 
#include <boost/type_traits.hpp>
#include <boost/utility/enable_if.hpp>
 
class Base{};
class D: public Base{}; 
 
template <class C,class Enable=void>  class foo; //la classe générale, ne pas donner de définition permet de générer une erreur si C ne dérive pas de Base
 
template <class C >  class foo<C,typename boost::enable_if<boost::is_base_of<Base,C> >::type>{}; //une spécialisation partielle quand C dérive de Base.
 
 
 
int main(int argc, char const *argv[])
{
    foo<D> f;
    //foo<int> ff; //plante
    return 0;
}

Edit: les concepts, c'est pour vérifier qu'une classe vérifie bien une interface donnée. Pour juste une histoire de rectriction, y'a plus léger dans boost.

[Goten]

oh dear, ça m'apprendra à pas lire le sujet en entier :p, j'ai loupé cette histoire de dérivation :p.

En effet la solution de David est la meilleure dans ce cas là.

[Joel F]

En general:
-enable_if pour la selection/masquage d'interface au vu de traits présent ou non
- static_assert pour la vioaltion de pre-condition statique
- concept_check pour la vioaltion de cocnept

Faut toujours se poser la question de savoir si le test correspond vraiment à une selection par le traits ou une erreur.

[3DArchi]

Salut,
C++0x propose un std::enable_if, un std::is_base_of, un static_assert etc... Dispo sur Visual 2010 et gcc.
Sinon, SFINAE est sur la F.A.Q. C++ : F.A.Q : Qu'est-ce que SFINAE ?