Шаблон псевдоним для класса члена шаблона

Question

Я следующий шаблон

template<class F> 
struct A{ 
    template<int N> 
    struct B{ 
    using type = int; 
    }; 
}; 

Я хотел бы сделать шаблон псевдоним, однако:

//doesn't compile. 
template<class F, int N > 
using alias_A = typename A<F>::B<N>::type; 

GCC: 
question.cpp:12:36: error: expected ';' before '::' token 
using alias_A = typename A<F>::B<N>::type; 
            ^
question.cpp:12:36: error: 'type' in namespace '::' does not name a type 

При отладке я найти:

//does compile 
struct C{}; 
using alias_B = typename A<C>::B<0>::type; 

Может кто-нибудь указать, что я делаю неправильно? Я чувствую, что мне не хватает чего-то очевидного.

Answer 1

Вы должны сказать C++ что это внутренний тип B<N> шаблон:

template<class F, int N > 
using alias_A = typename A<F>::template B<N>::type; 

В этом случае компилятор анализирует то, что вы написали, как operator<, а не в качестве открывающей скобки для параметра шаблона ,

This post дает исчерпывающее изложение того, когда и зачем вам это нужно.