Déduction template mystérieuse

Hello,

Ne lire la suite que si vous souhaitez mettre au défi votre sagacité concernant les templates.

Je suis en train d'étudier Boost::Interprocess, notamment managed_shared_memory dans interprocess_fwd.hpp :

Code:

---

1 2 3 4 5 6 7 8 9 10

template <class CharType ,class MemoryAlgorithm ,template<class IndexConfig> class IndexType> class basic_managed_shared_memory;   typedef basic_managed_shared_memory <char ,rbtree_best_fit<mutex_family> ,iset_index> managed_shared_memory;

---

Le dernier argument template, iset_index, est un type a priori incomplet, puisqu'il est lui-même un argument template template, et qu'on ne donne pas son argument template.
Toutefois, la valeur de cet argument template semble déduite, puisqu'on peut instancier managed_shared_memory. Mais après avoir fouillé, je n'arrive pas à trouver comment.

Si vous avez le sens du défi, je vous propose de relever le gant (il est évident que ce que je fournis ici ne permet pas d'avoir la solution ; il faut aller dans les sources de Boost 1.52.0).

Bon, après avoir gratté un peu plus, j'ai fini par trouver.
Ça se passe dans la classe segment_manager, pour ceux que ça intéresse.

Bonsoir,

Je ne comprends pas trop ta question. Les paramètres templates n'ont pas besoin d'être définies pour permettre l'instanciation. La définition n'est utile que si tu en as besoin dans ton template. Par exemple ceci compile :

Code:

---

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21

template<template<class> class> struct A;   template<class> struct B;   typedef A<B> C;   template<template<class> class T> struct A { void foo() { T<char>().foo(); } };   template<class> struct B { void foo(){} };   int main() { C c; c.foo(); }

---

C'est une histoire de point d'instanciation (POI). Les template sont instanciés au plus proche de l'utilisation (c'est en partie dépendant de l'implémentation du compilo). Ici c'est C c; qui demande l'instanciation de la classe (qui ne requière pas la définition de B, je te laisse tester), et l'appel à foo l'instanciation de la fonction membre (et donc la définition de B). Le typedef ne fait rien.

Edit: iset_index n'est pas un type, c'est une classe template.

Citation:

---

Envoyé par Flob90

Je ne comprends pas trop ta question. Les paramètres templates n'ont pas besoin d'être définies pour permettre l'instanciation. La définition n'est utile que si tu en as besoin dans ton template.

---

Effectivement.
Mais dans l'exemple que tu présentes, le template de B est anonyme, et n'est pas utilisé. J'étais quant à moi parti du postulat que le fameux paramètre template avait sa raison d'être, et que le type avait donc besoin d'être renseigné. D'où mon insistance à aller fouiller dans le code.

J'utilise bien le paramètre template dans la fonction foo pourtant (et j'aurais même pu le mettre en attribut dans la classe). Mon code était là pour te montrer que le typedef se moque de savoir ce qui est définie ou non. Tant que ca existe c'est bon. C'est au moment où tu l'utilises (donc dans le cas de boost ca va probablement se retrouver dans ton main), que les définitions sont nécessaire.