Comment fonctionnent les classes de traits et à quoi servent-elles ?

Question

Je suis en train de lire l'ouvrage de Scott Meyers C++ efficace . Il parle de classes de traits, j'ai compris que j'en ai besoin pour déterminer le type de l'objet lors de la compilation, mais je n'arrive pas à comprendre son explication sur ce que ces classes font réellement (d'un point de vue technique).

Answer 1

Vous vous attendez peut-être à une sorte de magie qui ferait fonctionner les caractères typographiques. Dans ce cas, soyez déçu : il n'y a pas de magie. Les caractères de type sont manuellement définis pour chaque type. Par exemple, considérons iterator_traits qui fournit des définitions de types (par exemple value_type ) pour les itérateurs.

En les utilisant, vous pouvez écrire

iterator_traits<vector<int>::iterator>::value_type x;
iterator_traits<int*>::value_type y;
// `x` and `y` have type int.

Mais pour que cela fonctionne, il y a en fait une définition explicite quelque part dans le <iterator> qui se lit à peu près comme suit :

template <typename T>
struct iterator_traits<T*> {
    typedef T value_type;
    // …
};

Il s'agit d'un spécialisation partielle de la iterator_traits type pour les types de la forme T* c'est-à-dire des pointeurs d'un certain type générique.

Dans le même ordre d'idées, iterator_traits sont spécialisés pour d'autres itérateurs, par exemple typename vector<T>::iterator .

Answer 2

Les classes de traits font pas déterminer le type de l'objet. En revanche, ils fournissent des informations supplémentaires sur un type, généralement en définissant des typedefs ou des constantes à l'intérieur du trait.