Saya memiliki kode berikut:

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;
}

Saat membuat ini dengan gcc 9.2 dan dentang (9.0), saya mendapatkan kesalahan kompilasi karena templatekata kunci diperlukan untuk memohon fun. Dentang menunjukkan:

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

Saya tidak mengerti mengapa kompiler berpikir funadalah nama dependen dalam konteks f, karena fbukan template itu sendiri. Jika saya berubah Cmenjadi kelas reguler alih-alih templat, kesalahan hilang; Namun, saya tidak melihat mengapa harus ada kesalahan sejak awal karena keduanya Stidak fbergantung TC.

Anehnya, MSVC 19.22 mengkompilasi ini dengan baik.

catatan

Sebelum pemungutan suara ditutup sebagai dupe dari Di mana dan mengapa saya harus meletakkan kata kunci "templat" dan "ketik nama"? tolong pertimbangkan ini adalah kasus khusus di mana bahkan jika Smemang nama dependen, dalam konteks fitu tidak akan tergantung jika bukan karena fakta bahwa mereka adalah anggota Instansiasi saat ini.

Pertimbangkan :

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)diuraikan sebagai ekspresi yang berisi dua operasi perbandingan <dan >, dan ini baik untuk # 1 tetapi gagal untuk # 2.

Jika ini diubah untuk s.template a<0>(i)kemudian # 2 adalah OK dan # 1 gagal. Dengan demikian templatekata kunci tidak pernah berlebihan di sini.

MSVC mampu menafsirkan ekspresi s.a<0>(i)dua arah dalam program yang sama. Tetapi ini tidak benar menurut Standar; setiap ekspresi seharusnya hanya memiliki satu parse untuk ditangani oleh kompiler.

funmungkin atau mungkin bukan fungsi templat (atau mungkin tidak ada sama sekali) tergantung pada parameter templat class C.

Itu karena Anda dapat berspesialisasi S(tanpa berspesialisasi C):

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

Karena kompiler ingin tahu apakah funtemplate atau tidak ketika pertama kali melihat class C(sebelum mengganti parameter template), templatediperlukan.