Определить тип локального класса в шаблоне класса

Question

Предположим, что класс Data имеет шаблон локального класса Element<i>, следующий код имеет ошибку компиляции. Код кажется простым, но что не так?

template<unsigned i, class Data> 
class A 
{ 
public: 
    typedef typename Data::Element<i> ElementTy; // compilation error: token error 
}; 

Answer 1

Вам нужен template ключевое слово:

typedef typename Data::template Element<i> ElementTy; 

Это говорит компилятору, что имя следующее является шаблоном.