テンプレート化されたクラス内でテンプレート化されたクラスの静的データメンバーを定義する

Question

私は別のクラステンプレートの中にクラステンプレートを持っています。内部クラスには静的データメンバーがあります。私はそれを定義するのに苦労しています。私はgccを幸せにするために何を得たか

error: template definition of non-template ‘int Out<T>::In<U>::var’ 
int Out<T>::template In<U>::var; 
          ^~~ 

：以下の例は、GCC-7.1

template <typename T> 
struct Out { 
    template <typename U> 
    struct In { 
    static int var; 
    }; 
}; 

template <typename T> 
template <typename U> 
int Out<T>::template In<U>::var; 

のgccで打ち鳴らす3.8で動作しますが、いないはエラーになりますか？

---

編集：結局のところ、この仕事にするtemplateを取り払う：、まだ疑問が残り

template <typename T> 
template <typename U> 
int Out<T>::In<U>::var; 

をtemplateここで許可されていますか？

Answer 1

定義のこのタイプは、より一般的にIn前templateずに見られます。 Out<T>::Inは「現在の専門分野のメンバー」であるため、templateというキーワードはここでは必要ありません。 templateキーワードがメンバ名の前に必要とされるときに指定ルールの

、[temp.names]/4を参照されたいです。技術用語「現在の専門分野のメンバー」の定義については、[temp.dep.type]/4を参照してください。

しかし、文法では::と名前の間で許可されているため、実際にはキーワードが許可されており、セマンティクスでは、後続の名前がテンプレート引数とともに使用されるか、クラステンプレート名[temp.names ]/5）、これを禁止する他の規則はスタンダードにはない。 [temp.names]/5の注釈は、次のように説明しています。

[ Note: As is the case with the typename prefix, the template prefix is allowed in cases where it is not strictly necessary; i.e., when the nested-name-specifier or the expression on the left of the -> or . is not dependent on a template parameter, or the use does not appear in the scope of a template. - end note]