私は次のコードを持っています：

template <typename TC>
class C
{
    struct S
    {
        template <typename TS>
        void fun() const
        {}
    };

    void f(const S& s)
    {
        s.fun<int>();
    }
};

// Dummy main function
int main()
{
    return 0;
}

これをgcc 9.2とclang（9.0）の両方でビルドすると、templateを呼び出すために必要なキーワードが原因で、コンパイルエラーが発生しますfun。Clangのショー：

error: use 'template' keyword to treat 'fun' as a dependent template name
        s.fun<int>();
          ^
          template 

コンパイラは考えて、なぜ私は理解していないfunのコンテキストで依存名であるfことから、fテンプレート自体ではありません。Cテンプレートではなく通常のクラスに変更すると、エラーはなくなります。ただし、に依存していSないfため、そもそもなぜエラーが発生するのかわかりませんTC。

奇妙なことに、MSVC 19.22はこれを適切にコンパイルします。

注意

投票する前に、どこに、そしてなぜ「テンプレート」と「タイプ名」のキーワードを置かなければならないのか？これがS実際に依存名である場合でもf、それらが現在のインスタンス化のメンバーであるという事実に関係なく依存しないという特別なケースであると考えてください。

考慮してください：

template<typename T>
struct C
{
    struct S
    {
        int a = 99;
    };

    void f(S s, int i)
    {
        s.a<0>(i);
    }
};

template<>
struct C<long>::S
{
    template<int>
    void a(int)
    {}
};

int main()
{
    C<int>{}.f({}, 0); // #1
    C<long>{}.f({}, 0); // #2
}

s.a<0>(i)は、2つの比較演算<and を含む式として解析され>ます。これは＃1では問題ありませんが、＃2では失敗します。

これをに変更するとs.template a<0>(i)、＃2は問題なく、＃1は失敗します。したがって、templateキーワードがここで冗長になることはありません。

MSVCは、同じプログラム内で双方向で式を解釈できs.a<0>(i)ます。しかし、これは規格によると正しくありません。各式は、コンパイラーが処理する1つの解析のみを持つ必要があります。

funのテンプレートパラメータに応じて、テンプレート関数である場合とそうでない場合があります（またはまったく存在しない場合もあります）class C。

これは、S（を特化せずにC）特化できるためです。

template <> struct C<int>::S {};

コンパイラーfunは、最初にclass C（テンプレートパラメーターを置き換える前に）見たときにテンプレートであるかどうかを知りたいので、template必須です。