Bagaimana untuk Mengkhususkan Fungsi Templat secara Eksplisit dalam Kelas Templat C?

Pengkhususan Eksplisit Fungsi Templat dalam Kelas Templat dalam C

Dalam C , apabila bekerja dengan kelas dan fungsi templat, mungkin perlu untuk secara eksplisit mengkhususkan fungsi templat dalam kelas templat. Walau bagaimanapun, mencari sintaks yang betul untuk ini boleh menjadi mencabar.

Pertimbangkan kod berikut:

struct tag {};

template< typename T >
struct C
{   
    template< typename Tag >
    void f( T );                 // declaration only

    template<>
    inline void f< tag >( T ) {} // ERROR: explicit specialization in non-namespace scope
};

Kod ini, yang berjaya menyusun dalam Visual C 2008 tetapi gagal dalam GCC 4.2, cuba untuk secara eksplisit mengkhususkan fungsi f untuk jenis teg dalam kelas templat C. Ralat pengkompil menunjukkan bahawa pengkhususan eksplisit tidak dibenarkan dalam skop bukan ruang nama dalam kelas templat.

Cara yang betul untuk mengkhususkan secara eksplisit fungsi templat dalam kelas templat adalah dengan memajukan panggilan kepada fungsi ahli suatu jenis separa khusus. Ini boleh dilakukan menggunakan kelas pembantu:

template<class T, class Tag>
struct helper {
    static void f(T);   
};

template<class T>
struct helper<T, tag1> {
    static void f(T) {}
};

template<class T>
struct C {
    // ...
    template<class Tag>
    void foo(T t) {
        helper<T, Tag>::f(t);
    }
};

Dalam kod ini, helper ialah kelas templat dengan dua parameter templat: T (jenis objek yang dikendalikan) dan Tag (tag pengkhususan) . Versi pembantu separa khusus ditakrifkan untuk pengkhususan tag1, yang menyediakan pelaksanaan untuk fungsi f. Kelas templat C kemudian menggunakan fungsi ahli foo untuk mewakilkan panggilan kepada fungsi helper::f yang sesuai berdasarkan teg yang ditentukan.

Atas ialah kandungan terperinci Bagaimana untuk Mengkhususkan Fungsi Templat secara Eksplisit dalam Kelas Templat C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!