Comment nommer un modèle imbriqué dans une classe de base modèle?

Question

Dans la configuration suivante, comment puis-je faire en sorte que je puisse me référer au nom Bar à l'intérieur de la classe dérivée Derived<T>? J'ai essayé using Foo<T>::Bar; J'ai essayé using Foo<T>::Bar;, mais cela n'aide pas. Y at-il une sorte de déclaration using qui peut rendre le nom d'un modèle de base imbriqué connu de la classe dérivée, de sorte que je peux garder le ­ cla ­ ration Bar<int> x?

Je sais que je peux dire typename Foo<T>::template Bar<int> x;, mais j'ai beaucoup de ces cas et je ne veux pas alourdir inutilement le code avec tant de verbosité. J'ai aussi beaucoup de "int s" distincts, donc un typedef pour chaque instance de modèle imbriqué n'est pas réalisable non plus.

Aussi, je ne peux pas utiliser GCC 4.7 à ce stade ni C++ 11, et aimerais donc une solution "traditionnelle" sans alias de template.

Answer 1

En C++ 11 vous pouvez utiliser un modèle d'alias:

template <typename T> struct Derived : Foo<T> 
{ 
    template<typename X> using Bar = typename Foo<T>::template Bar<X>; 
    Bar<int> x; 
}; 

Modifier

La solution traditionnelle est ce que vous avez déjà dit, typename Foo<T>:template Bar<int>, ou de simuler un « typedef modèle "

template <typename T> struct Derived : Foo<T> 
{ 
    template<typename X> 
    struct Bar 
    { typedef typename Foo<T>::template Bar<X> type; }; 
    typename Bar<int>::type x; 
}; 

l'une des raisons pour ajouter des modèles d'alias à la langue est qu'ils soutiennent ce qui ne peut pas être exprimé facilement en C++ 03.

Answer 2

Déclarer x comme Foo<T>::Bar<int> x; fonctionne simplement pour moi.

Answer 3

Cela fonctionne:

template <typename T> struct Foo 
{ 
    template <typename U> struct Bar { }; 
}; 

template <typename T> struct Derived : Foo<T> 
{ 
    template<class W> 
    struct Bar : public Foo<T>::template Bar<W> { 

    }; 

    Bar<int> x; 
}; 

IDK si c'est ce que vous cherchez, mais il ne compile.