Tworzenie prywatnego dziedziczonego szablonu wewnętrznego za pomocą dyrektywy używającej

Question

Próbuję użyć dyrektywy using, aby wprowadzić deklarację dostępu klasy pochodnej o nazwie public w wewnętrznym szablonie klasy deklarowanym w bazie. Kod:

template <typename T> 
class Base 
{ 
public:  
    template<typename U> 
    struct Inner; 
}; 

template<typename T> 
class Derived: private Base<T> 
{ 
public: 
    using typename Base<T>::template Inner; // make it visible 
    Inner<T>* ptr; // no need for typename here, non-qualified name 
}; 

int main() {} 

Ani g ++ ani brzęk ++ skompilować ten kod, zarówno narzekają

error: expected unqualified-id before 'template'

O ile mi wiadomo, Inner jest zależne nazwa szablonu, więc należy używać ::template badając jego nazwę, a także typename wcześniej, ponieważ Base<T>::Inner jest typem zależnym. Próbowałem wszystkich możliwych kombinacji z/bez typename/template i nie kompilowałem. Czy istnieje sposób użycia Inner w sekcji public z Derived?

Answer 1

Niemożliwe. użyciu deklaracja jest od [namespace.udecl]:

using typename_optnested-name-specifierunqualified-id ;

Ale niewykwalifikowanego-id nie może być szablon klasy.

Można po prostu zrobić alias Zamiast:

template<typename T> 
class Derived: private Base<T> 
{ 
public: 
    template <typename U> 
    using Inner = typename Base<T>::template Inner<U>; 

    Inner<T>* ptr; 
};