classe dérivée héritant sans canevas par classe CRTP, l'accès à un membre du groupe de base objet

Question

Si je tente d'appeler une fonction membre d'un membre de la classe de base d'une classe de modèle à l'autre bout de la hiérarchie d'héritage,

class memberobj {public: void bar(){}}; 

class basis {public: memberobj foo;}; 

template<class Base, class Derived> 
class crtp : public Base { /* ... */ }; 

template<class Option> 
class choice : crtp< basis, choice<Option> > { 
    using basis::foo; 
public: 
    void test() {foo.bar();} 
}; 

class someoption {}; 

int main() { 
    choice<someoption> baz; 
    baz.test(); 
    return 0; 
} 

Je reçois ce message d'erreur:

g++-4.6 -o bin/crtptest crtptest.cpp 
crtptest.cpp: In member function ‘void choice<Option>::test()’: 
crtptest.cpp:12:21: error: ‘class basis’ has no member named ‘bar’ 
make: *** [bin/crtptest] Error 1 

si bar est évidemment un membre de un membre debasis, pas de basis lui-même.
Cela ne se produit pas avec les classes finales non-template (dont un nombre est déjà utilisé, toutes dépendant de la classe intermédiaire crtp, donc je ne voudrais rien changer à ce sujet), ni avec une classe de template qui dérive directement à partir de basis.

Quel est le problème ici?

Answer 1

Vous le faites fausse route:

using basis::foo; //wrong way 

Qu'est-ce que basis? Ce n'est pas la classe de base de choice. Vous devriez faire ceci:

typedef crtp< basis, choice<Option> > base; 
using base::basis::foo; 

Parce que crtp< basis, choice<Option> > est la base de choice classe et foo devient membre de choicepar sa classe de base. Donc, il y a une différence subtile.

Maintenant, il fonctionne: http://ideone.com/RPnyZ