Mengapa Kita Tidak Boleh Menggunakan \"implements\" untuk Sempadan Parameter Jenis dalam Generik Java?

Perbezaan Terikat Superjenis dalam Generik Java

Di Java, apabila mentakrifkan sempadan untuk parameter jenis, anda mungkin perasan kehadiran "lanjutan" tetapi bukan "melaksanakan." Perbezaan ini telah mencetuskan rasa ingin tahu dalam memahami mengapa ini berlaku.

Mengapa Tiada "melaksanakan T"?

Tidak seperti "melanjutkan," yang menunjukkan perhubungan superjenis di mana subkelas berkongsi antara muka yang sama, "melaksanakan" menandakan hubungan pelaksanaan di mana kelas melaksanakan kaedah yang ditentukan oleh antara muka. Perbezaan ini menjadi ketara semasa penyusunan.

Pertimbangkan contoh di bawah:

<code class="java">interface C {}
class A<B extends C> {} // Allowed
class A<B implements C> {} // Not allowed</code>

Dalam contoh pertama, parameter jenis B dihadkan oleh kelas C menggunakan "lanjutkan." Ini membolehkan B sama ada sama dengan atau subkelas C. Dalam contoh kedua, "implements" digunakan, yang hanya membenarkan B menjadi antara muka yang melaksanakan C. Walau bagaimanapun, parameter jenis tidak boleh menentukan antara muka pelaksana.

Sebab untuk "melanjutkan T"

Bahasa kekangan generik Java memfokuskan pada hubungan supertype. "extends" membolehkan anda mengehadkan parameter jenis kepada superclass atau antara muka tertentu, memastikan bahawa jenis akan sentiasa boleh diserahkan kepada supertype tersebut. Ini mengekalkan prinsip keselamatan jenis dan pewarisan di Jawa.

Sebaliknya, "melaksanakan" tidak sesuai dengan paradigma ini kerana ia mentakrifkan hubungan pelaksanaan dan bukannya hubungan superjenis. Oleh itu, "lanjutkan" ialah pilihan pilihan dan satu-satunya untuk menentukan had pada parameter jenis.

Atas ialah kandungan terperinci Mengapa Kita Tidak Boleh Menggunakan \"implements\" untuk Sempadan Parameter Jenis dalam Generik Java?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!