Mengapakah \'melanjutkan T\' dibenarkan untuk sempadan parameter jenis dalam Java, tetapi tidak \'melaksanakan T\'?

Melanjutkan lwn. Pelaksanaan dalam Sempadan Parameter Jenis Generik

Soalan:

Di Java, mengapa "extends T" dibenarkan untuk menentukan sempadan parameter jenis, tetapi "melaksanakan T" tidak dibenarkan?

Sebagai contoh, kod berikut dilarang:

<code class="java">public interface C {}
public class A<B implements C> {}</code>

Sementara kod ini sah:

<code class="java">public class A<B extends C> {}</code>

Jawapan:

Semantiknya, tidak ada perbezaan antara "melanjutkan" dan "melaksanakan" dalam bahasa kekangan generik. Kemungkinan kekangan dihadkan kepada "lanjutan" dan "super", mencerminkan arah keserasian warisan atau tugasan.

• lanjutkan T: Kelas yang dikaitkan dengan parameter jenis boleh diberikan kepada atau dilanjutkan daripada jenis T.
• super T: Kelas yang dikaitkan dengan parameter jenis boleh ditetapkan daripada jenis T.

Dalam kes contoh kod tidak sah, ia cuba menggunakan "implements" untuk mentakrifkan kekangan pada parameter jenis B. Walau bagaimanapun, "implements" bukanlah jenis kekangan yang sah dan oleh itu tidak dibenarkan.

Atas ialah kandungan terperinci Mengapakah \'melanjutkan T\' dibenarkan untuk sempadan parameter jenis dalam Java, tetapi tidak \'melaksanakan T\'?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!