嵌套类模板类型别名

问题描述

这可能是一个简单的问题，但我似乎无法弄清楚为嵌套类模板定义类型别名的语法。

基本上，我有：

template<class T>
struct Outer {
    template<class U = T>
    struct Inner {};
}

我希望能够从类定义外部访问内部类作为类型。 我试过了：

template<class T> 
using Inner = typename Outer<T>::Inner;

或

template<class T,class U = T> 
using Inner = typename Outer<T>::Inner<U>;

但这没有用。

这实际上应该怎么做？

解决方法

您需要额外的template：

template<class T,class U = T> 
using Inner = typename Outer<T>::template Inner<U>;

Demo