ネストしたテンプレートクラスを使ったテンプレート関数

Question

前提・実現したいこと

以下のネストしたテンプレートクラス S を引数にしたテンプレート関数 func を作ったが，内部のクラス M のインスタンスが作れずにエラーになりました。何が不足しているのか，調べたがわかりませんでした。どなたか，ご教示ください。お願いします。

該当のソースコード

template<typename T>
struct S{
    struct M{
        M(T b){}
    };
    
    S(T a){}
};

template<typename T>
void func(S<T> i){
    S<T>::M m{0};///ここでエラー
}

int main(){
    S<int> s{10};
    func(s);
}

やってみたこと

以下のように，インスタンス j　はエラーが出ないのです。この両者の違いがわかりませんでした。

template<typename T>
void func(S<T> i){
    S<T>::M m{0};///ここでエラー
    S<T> j{20};  ///これはOK
}

Answer 1

template<typename T>
void func(S<T> i) {
-    S<T>::M m{0};///ここでエラー
+    typename S<T>::M m{0};
}

---

ここでエラー

出たエラーを書きましょう。
例えばg++の場合

test.cpp: In instantiation of 'void func(S<T>) [with T = int]':
test.cpp:17:11:   required from here
test.cpp:12:5: error: dependent-name 'S<T>::M' is parsed as a non-type, but instantiation yields a type
   12 |     S<T>::M m{0};
      |     ^
test.cpp:12:5: note: say 'typename S<T>::M' if a type is meant

とS<T>::Mの前にtypenameが必要だと教えてくれています。

Comments

[jbe00214]

ありがとうございます。clangを使っているのですが，Expected ';' after expressionのエラーに気を取られていました。Missing 'typename' prior to dependent type name 'S<int>::M'が出ていました。この思い込みだけで，1日時間を取られてしまいました。ありがとうございました。