嵌套 class 模板類型別名

Question

這可能是一個簡單的問題，但我似乎無法弄清楚為嵌套 class 模板定義類型別名的語法。

基本上，我有：

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

我希望能夠從 class 定義外部訪問內部 class 作為類型。 我試過了：

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

或者

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

但這沒有用。

這實際上應該怎么做？

Answer 1

您需要額外的template ：

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