嵌套在模板 class 中的模板 class 的前向声明

Question

您可以在普通 class 内转发声明模板内部 class，并将定义的类型用作任何其他转发声明的类型。

class Outer {
    template <int N> class Inner;
    typedef Inner<0> Inner0;
    Inner0* f();
};

template<int N>
class Outer::Inner {};

现在如果 Outer 本身就是一个模板 class，有没有办法将 Inner 的声明保留在 Outer 的声明之外？像 :

template<typename T>
class Outer {
    template <int N> class Inner;
    typedef Inner<0> Inner0;
    Inner0* f();
};

template<typename T, int N> //This won't work
class Outer<T>::Inner {};

是否有正确的语法来使用正确的模板参数声明 Outer？

Answer 1

尝试以下方法

template<typename T>
template <int N>
class Outer<T>::Inner {};

根据 C++ 标准（14.5.2 成员模板）

1 A template can be declared within a class or class template; such a template is called a member template. A member template can be defined within or outside its class definition or class template definition. A member template of a class template that is defined outside of its class template definition shall be specified with the template-parameters of the class template followed by the template-parameters of the member template.

嵌套在模板 class 中的模板 class 的前向声明

Forward declaration of template class nested inside template class

c++

templates

nested