如何在模板声明中删除重复的模板参数

Question

为了简洁起见，我想在其显式实例化中只命名一次模板参数，但是我收到了编译器错误。我试图使用在Type alias, alias template下的cppreference中描述的C++语法。下面是我的示例代码：

struct M {}; 

template< typename T1 > 
struct S {}; 

template< typename T2, typename T3 > 
struct N {}; 

// type alias used to hide a template parameter (from cppreference under 'Type alias, alias template') 
//template< typename U1, typename U2 > 
//using NN = N< U1, U2<U1> >; // error: attempt at applying alias syntax: error C2947: expecting '>' to terminate template-argument-list, found '<' 

int main() 
{ 
    N< M, S<M> > nn1; // OK: explicit instantiation with full declaration, but would like to not have to use M twice 
    // NN< M, S > nn2; // desired declaration, error: error C2947: expecting '>' to terminate template-argument-list, found '<' 

    return 0; 
} 

有什么问题吗？

Answer 1

typename U2是一个typename，而不是一个模板。因此，U2<U1>没有意义。使用模板模板参数替换：

template< typename U1, template<typename> class U2 > 
using NN = N< U1, U2<U1> >; 

demo