Mengapa Pengkhususan Eksplisit Fungsi Templat Gagal dalam Kelas Templat Bukan Skop Ruang Nama dalam C ?

Pengkhususan Eksplisit Fungsi Templat dalam Kelas Templat dalam C

Ralat:

Pembangun cuba untuk mengkhususkan secara eksplisit fungsi templat dalam kelas templat bukan ruang nama berskop mungkin menghadapi ralat penyusunan dalam GCC. Kod berikut menunjukkan isu sedemikian:

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 'structC<T>'

Penyelesaian:

Pengkhususan eksplisit fungsi ahli tidak disokong dalam kelas templat bukan ruang nama berskop. Sebaliknya, pertimbangkan untuk memajukan panggilan kepada fungsi ahli daripada jenis pengantara separa khusus:

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

Pendekatan ini memanfaatkan pengkhususan templat separa untuk mencapai gelagat yang diingini sambil mematuhi keperluan sintaksis GCC.

Atas ialah kandungan terperinci Mengapa Pengkhususan Eksplisit Fungsi Templat Gagal dalam Kelas Templat Bukan Skop Ruang Nama dalam C ?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!