Discussion :

[the Hound]

Bah non, ça l'est pas.

Code :

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

1
2
template <typename T, bool>
void totomachintruc<T, ???>::create()

Le compilo a besoin de savoir de quelle spécialisation tu lui parles.
C'est comme si tu définissais une fonction qui prend un int, que tu veux utiliser, mais sans le nommer. Ce n'est pas possible.

Edit: bon après tu peux spécialiser explicitement quand le bool est à true et à false. Dans ce cas là tu peux carrément te débarrasser du bool déclaré dans la liste de paramètres template.
Mais ce n'est pas une bonne pratique ; en effet à part les cas où tu spécialises en fonction d'un booléen (et donc là où il n'y a que deux cas possibles) il te faudra spécialiser dans le cas "autre chose que ce qui est prévu explicitement", le "cas par défaut" en somme. Dans ces cas là tu ne peux pas te passer du nom du paramètre template (par exemple, ici, impossible de ne pas nommer le typename "T").

[ikeas]

merci

tu connais un bon bouquin qui explique vraiment les templates en c++
avec ce genre de chose ?

et si j'ai bien compris ce que tu as dit (dans ton edit) on pourrait faire

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
23
template <typename T, bool U = __is_abstract(T)>
struct create_helper4 {
  static T* create ();
};
 
template <typename T>
T* create_helper4<T, 0>::create(){
        std::cout << "create on create_helper4 \n";
        return new T();
}
 
template<typename T>
struct create_helper4<T, 1> {
        static T* create();
};
 
template<typename T>
T* create_helper4<T, 1>::create() {
        std::cout << "Cannot create and Abstract Base Class!\n";
                        std::cout << " Create failed on type_info::name() = "
                                        << typeid(T).name() << "\n";
        return 0;
}

[ternel]

Sans être un bouquin, notre faq C++ comprend une section dédiée aux templates, qui t'expliquera déjà pas mal de choses.