Bagaimanakah C Traits Boleh Menyelesaikan Isu Penyusunan dengan Polimorfisme Statik dan Typedefs dalam Corak Templat Berulang Aneh?

Polymorfisme Statik dan Typedefs dalam C

Corak Templat Berulang Aneh (CRTP) ialah teknik dalam C untuk mencapai polimorfisme statik. Walau bagaimanapun, apabila cuba menyamaratakan corak ini untuk mengubah suai jenis pulangan berdasarkan jenis terbitan, kod tersebut mungkin tidak dikompil, seperti yang ditemui oleh pengguna menggunakan MSVC 2010.

Isu:

Kod berikut, bertujuan untuk membenarkan jenis pulangan yang berbeza dalam kelas terbitan, gagal compile:

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>

Ralat yang dihadapi ialah "bukan ahli 'derived'.'" Ini berlaku kerana jenis terbitan tidak lengkap apabila digunakan sebagai hujah templat untuk kelas asasnya.

Penyelesaian menggunakan Ciri:

Penyelesaian biasa ialah menggunakan templat kelas ciri. Dalam pendekatan ini, templat kelas base_traits ditakrifkan untuk merangkum kedua-dua jenis dan fungsi daripada kelas terbitan. Kelas asas asal diubah suai untuk menggunakan ciri ini.

template <typename derived_t>
struct base_traits;

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

template <typename t>
struct derived : base<derived>> {
    typedef typename base_traits<derived>::value_type value_type;
    value_type derived_foo() {
        return value_type();
    }
};

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></derived></derived></typename></derived_t></derived_t></derived_t></typename></typename>

Dengan mengkhususkan kelas asas_sifat untuk setiap jenis yang digunakan dalam hujah templat terbitan, jenis dan fungsi yang diingini boleh diakses melalui ciri, membolehkan kedua-dua statik polimorfisme dan jenis pulangan dinamik.

Atas ialah kandungan terperinci Bagaimanakah C Traits Boleh Menyelesaikan Isu Penyusunan dengan Polimorfisme Statik dan Typedefs dalam Corak Templat Berulang Aneh?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!