Bagaimanakah Kami Boleh Melaksanakan Jenis Ahli `diri` secara Automatik dalam C?

Pelaksanaan Autonomi Jenis Ahli sendiri dalam C

C tidak mempunyai sintaks eksplisit untuk kata kunci diri seperti yang terdapat dalam PHP, yang menandakan jenis daripada kelas lampiran. Secara tradisinya, tingkah laku ini boleh dicontohi secara manual dengan mentakrif alias typedef dalam setiap kelas:

struct Foo
{
   typedef Foo self;
};

Walau bagaimanapun, pendekatan ini melibatkan pengulangan nama kelas, memperkenalkan potensi risiko ketidakpadanan dan ralat. Untuk menangani perkara ini, kaedah alternatif yang memanfaatkan decltype dan rakan telah dicadangkan:

struct Foo
{
   typedef decltype(*this) self;
};

Malangnya, sintaks ini tidak sah dalam konteks definisi kelas.

Untuk mencapai pelaksanaan autonomi kendiri , pendekatan yang lebih canggih diperlukan. Menggunakan pemrograman meta templat, kami boleh mentakrifkan templat kelas Diri yang merangkum gelagat kelas sambil menghapuskan keperluan untuk replikasi jenis manual:

template <typename...Ts>
class Self;

template <typename X, typename...Ts>
class Self<X,Ts...> : public Ts...
{
protected:
    typedef X self;
};

Untuk menggunakan mekanisme ini, kami memperkenalkan dua makro:

#define WITH_SELF(X) X : public Self<X>
#define WITH_SELF_DERIVED(X,...) X : public Self<X,__VA_ARGS__>

Menggunakan makro ini, kita boleh menentukan kelas dengan jenis ahli sendiri:

class WITH_SELF(Foo)
{
    void test()
    {
        self foo;
    }
};

Untuk terbitan kelas, makro WITH_SELF_DERIVED membenarkan berbilang warisan:

class WITH_SELF_DERIVED(Bar,Foo)
{
    /* ... */
};

Penyelesaian ini serasi dengan kedua-dua gcc 4.8 dan clang 3.4, membolehkan pelaksanaan autonomi jenis ahli diri dalam C tanpa memerlukan pengulangan nama kelas yang jelas.

Atas ialah kandungan terperinci Bagaimanakah Kami Boleh Melaksanakan Jenis Ahli `diri` secara Automatik dalam C?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!