Bolehkah Pembolehubah Jenis Merujuk Subjenisnya Sendiri di Jawa?

Bolehkah Pembolehubah Jenis Merujuk Jenis Semasa?

Dalam bahasa pengaturcaraan, pembolehubah jenis adalah penting untuk menyatakan kekangan jenis dan polimorfisme. Walau bagaimanapun, terdapat batasan bagaimana pembolehubah ini boleh digunakan. Satu soalan biasa ialah sama ada pembolehubah jenis boleh merujuk kepada subjenis yang tepat ia berada.

Pertimbangkan kod berikut:

class A {
    <t extends a> foo();
}

class B extends A {
    @Override
    T foo();
}</t>

Di sini, kami mentakrifkan kelas A dengan kaedah generik foo() yang mengambil parameter jenis T. Kami juga mentakrifkan subkelas B yang mengatasi kaedah foo(). Persoalannya, bolehkah parameter jenis T dalam foo() digunakan untuk merujuk kepada subjenis B yang tepat dalam kelas B?

Jawapan:

Malangnya, Java tidak tidak membenarkan pembolehubah jenis merujuk kepada subjenis tepat yang mereka tinggali. Pembolehubah jenis T dalam contoh di atas kekal sebagai jenis yang tidak diketahui dalam skop foo() dan tidak boleh diselesaikan kepada subjenis B.

Corak Templat Berulang Secara Aneh (Jenis Diri):

Untuk mencapai tingkah laku yang diingini iaitu mempunyai jenis "diri", seseorang boleh menggunakan reka bentuk corak yang dikenali sebagai corak Curiously Recurring Template (CRT), juga dipanggil "jenis diri." Corak ini melibatkan penentuan kelas asas abstrak yang menguatkuasakan kontrak untuk mengembalikan jenis masa jalan sesuatu kejadian. Kelas terbitan melaksanakan jenis kendiri dengan menyelesaikan parameter jenis kepada jenis mereka sendiri.

Berikut ialah contoh corak CRT dalam Java:

abstract class SelfTyped<self extends selftyped>> {
    abstract SELF self();
}

public class MyLeafClass extends SelfTyped<myleafclass> {
    @Override
    MyLeafClass self() {
        return this;
    }
}

MyLeafClass mlc = new MyLeafClass();
mlc.self(); // returns mlc</myleafclass></self>

Sementara corak ini menyediakan cara untuk merujuk kepada jenis semasa menggunakan self(), ia harus digunakan dengan berhati-hati kerana ia memperkenalkan potensi penyalahgunaan dan boleh menjejaskan keselamatan jenis.

Atas ialah kandungan terperinci Bolehkah Pembolehubah Jenis Merujuk Subjenisnya Sendiri di Jawa?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!