Discussion :

[victor_gasgas]

Bonjour,

Sur un des tutos de Laurent Gomilla, http://loulou.developpez.com/tutorie...eur3d/partie7/, il est proposé une méthode pour extraire le type de base d'un autre type, en sortant référence et const :

Code :

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

1
2
3
4
5
6
7
8
template <typename T> struct Base {typedef T Type;};
template <typename T> struct Base<T&> {typedef T Type;};
template <typename T> struct Base<const T> {typedef T Type;};
template <typename T> struct Base<const T&> {typedef T Type;};
 
// Base<int>::Type équivaut à int
// Base<const int&>::Type équivaut également à int
// etc...

Mais je me suis dis qu'il doit surement avoir l'équivalent en c++0x, donc je vais de ce pas faire un tour dans la documentation de boost sur typetrait ici boost sur typetrait ici, mais je n'arrive pas à trouver quelque chose de correspondant.

Si quelqu'un peut m'indiquer s'il connaît, où pour confirmer qu'il faudrait utiliser conjointement std::remove_const et std::remove_reference, je serais reconnaissant!

Je suis sous g++-4.6. Merci d'avance Bonne journée!

[Arzar]

Bonjour,

Le C++ supporte l'héritage multiple donc ça n'a pas vraiment de sens de parler du "type de base d'un autre type"..

Par exemple :

Code :

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

1
2
3
4
5
6
7
8
struct A{};
struct B{};
struct C : public A, public B{};
struct D{}:
struct E{};
 
struct F : public C, public D, public E{};
{};

Que est le "type de base de F" ? A, B, C, D ou E ? Tout à la fois ?

Donc non, ce n'est pas possible. En revanche, il existe en C++0x et dans boost un trait qui permet de tester si un type est parent d'un autre, il s'agit du trait std::is_base_of :

Code :

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

1
2
 
std::cout << std::is_base_of<A, F>::value // affiche "1"

[victor_gasgas]

Ah oui pardon je me suis mal exprimé

Quand je parlais du type de base je faisais l'analogie avec le tutoriel cité en début de poste, à savoir récupéré le type sans certains attributs comme const, ou encore retirer les références :

Code :

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

1
2
3
4
5
6
7
8
template <typename T> struct Base {typedef T Type;};
template <typename T> struct Base<T&> {typedef T Type;};
template <typename T> struct Base<const T> {typedef T Type;};
template <typename T> struct Base<const T&> {typedef T Type;};
 
// Base<int>::Type équivaut à int
// Base<const int&>::Type équivaut également à int
// etc...

Mais cela de façon factoriser, avec des trais standards par exemples!

[Flob90]

Pour faire ca il faut que tu regardes dans le header type_traits , par exemple :

Code :

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

1
2
3
4
 
template<class> struct remove_const;
template<class> struct remove_reference;
template<class> struct remove_pointer;

[victor_gasgas]

Merci, j'ai regardé et je pense que c'est bien ce qu'il me faut!

Bonne journée!

[Arzar]

Oh bon sang désolé j'étais complètement à coté de la plaque.

Outre les deux traits mentionnés par Flob90, tu peux aussi t'intéresser à std::remove_cv qui, grossièrement, supprime les const et volatile et surtout std::decay qui semble être une combinaison de std::remove_reference et std::remove_cv. C'est ce qui semble se rapprocher le plus d'un trait qui permettant de retrouver "le type de base" (sauf que std::decay semble aussi gérer certain cas particulier comme les tableaux et les fonctions)