Discussion :

[ikeas]

bonjour

pour des raison perso (j'utilise une bibliotheque de templates) j'aimerais faire ceci

Code :

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

1
2
3
4
 
template<typename T> void function(){
new T();
}

avec Alpha qui est une classe concrete et IBase qui est un interface
soit

Code :

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

1
2
3
4
5
6
7
8
9
10
11
 
class Alpha {
public:
      Alpha() {};
      virtual ~Alpha() {};
};
 
class IBeta {
public:
     virtual void canDecode() = 0;
};

evidement function<Alpha>(); fonctionne
et function<IBeta>(); plante a la compile

y'a t'il une solution pour tester si le type T est abstrait dans la definition du template ?

merci

[ternel]

Tu sais que function<IBeta>();, c'est {return new IBeta();}?

Parce comme IBeta::decode() est virtuelle pure, ça ne peut pas fonctionner.

[ikeas]

oui j'avais compris

j'utilise un bibliotheque de reflexion http://www.extreme.indiana.edu/reflcpp/ et manifestement il ne l'on pas reflechi assez

Code :

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

1
2
3
4
5
6
 
template <typename Obj_TP>
PtrHolder_smptr_t 
ClassType_body_tmpl<Obj_TP>::createInstance() const {
    return PtrHolder_smptr_t(new SmartPtrHolder_tmpl<Obj_TP>(new Obj_TP));
}

manifestement tu peux utiliser des classes abstraite (pour faire des interfaces), mais ca ne passe pas....

ceci etant j'aimerais savoir si je peux faire un distinguo entre les Type abstrait et les type concret, forcement a la compilation
disons un code pour les concrets et un autre pour les non concret

c'est possible ca en c++ ?

[ternel]

Oui, mais tu ne veux pas appeler createInstance sur une classe abstraite.
Par contre, il doit y avoir une conversion possible entre les types de pointeurs.

[ikeas]

attend je reformule
j'utilise une bibliothèque que je n'ai pas fait moi même (merci le net)
je tente sans être obligé de tout deconstruire de trouver une solution pour éviter qu'il possède les méthodes createinstance (y'en a plusieurs) quand le type d’objet défini dans le Template se trouve être un type abstrait

je sais très bien qu'on ne peut pas construire un objet abstrait

ce que j'aimerais juste savoir c'est si on peut faire une compilation conditionnelle sur un Template en fonction du type
ou autoriser quand même la compilation et résoudre le problème au runtime avec un try/catch par exemple

enfin une solution pour que je n'ai pas a me refaire la librairie complète pour mettre une classe de base (templaté) avec des createinstance vide
puis une classe dérivée avec le code et de revoir la compilation de gccxml et du compilateur natif pour utiliser soit l'une soit l'autre des classes
mais la c un taf compiqué

[ternel]

Il y a bien les spécialisations de template, mais je n'en fais tellement peu que je t'envoie dans notre faq.

Cela dit, pour moi, c'est la manière d'utiliser la bibliothèque qui est peut-être erronnée.

As-tu essayé de modifier ton code appelant (qu'il faudrait nous montrer) pour fournir un std::nullptr, plutot que laisser la bibliothèque instancier?