Bagaimanakah Kami Boleh Menangani Ralat Masa Penyusun Apabila Menggunakan CRTP dan Typedef dalam Kelas Terhasil C?

Penggunaan Polimorfisme Statik dan Typedef daripada Kelas Terbitan dalam C

Salah satu ciri hebat C , Corak Templat Berulang Secara Aneh (CRTP), membolehkan polimorfisme statik. Ini membolehkan fleksibiliti masa kompilasi dalam menentukan jenis objek yang dibuat berdasarkan hujah templat. Walau bagaimanapun, memanjangkan CRTP untuk membenarkan pengubahsuaian jenis pengembalian fungsi berdasarkan jenis terbitan menimbulkan cabaran.

Pertimbangkan kod berikut yang cuba menyamaratakan CRTP:

template <typename derived_t>
class base {
public:
    typedef typename derived_t::value_type value_type;
    value_type foo() {
        return static_cast<derived_t>(this)->foo();
    }
};

template <typename t>
class derived : public base<derived>> {
public:
    typedef T value_type;
    value_type foo() {
        return T();
    }
};</derived></typename></derived_t></typename>

Kod ini gagal dihimpun dalam Microsoft Visual Studio 2010 disebabkan oleh ralat: 'value_type' bukan ahli 'derived'.

Isu ini berpunca daripada fakta bahawa terbitan tidak lengkap apabila digunakan sebagai hujah templat untuk asas dalam senarai kelas asasnya. Untuk menangani perkara ini, penyelesaian biasa ialah menggunakan templat kelas ciri.

Memperkenalkan templat ciri_asas:

template <typename derived_t> 
struct base_traits;</typename>

Mentakrifkan semula kelas asas menggunakan ciri:

template <typename derived_t> 
struct base { 
    typedef typename base_traits<derived_t>::value_type value_type;
    value_type base_foo() {
        return base_traits<derived_t>::call_foo(static_cast<derived_t>(this));
    }
};</derived_t></derived_t></derived_t></typename>

Dan mengkhususkan ciri_asas untuk diturunkan:

template <typename t> 
struct base_traits<derived> > {
    typedef T value_type;

    static value_type call_foo(derived<t>* x) { 
        return x->derived_foo(); 
    }
};</t></derived></typename>

Pendekatan ini membolehkan penggunaan kedua-dua jenis dan fungsi daripada kelas terbitan melalui ciri-ciri. Dengan mengkhususkan base_traits untuk setiap hujah templat, anda boleh menyediakan ahli yang diperlukan untuk setiap kelas terbitan.

Atas ialah kandungan terperinci Bagaimanakah Kami Boleh Menangani Ralat Masa Penyusun Apabila Menggunakan CRTP dan Typedef dalam Kelas Terhasil C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!