Bolehkah Kaedah Java Overridden Mempunyai Jenis Pulangan Berbeza?

Bolehkah Kaedah Overridden Mempunyai Jenis Pulangan Berbeza?

Kaedah overridden di Java mempunyai fleksibiliti untuk mengubah jenis pulangan, mengikut prinsip jenis pulangan kovarian. Ini bermakna kaedah mengatasi boleh mengembalikan jenis data yang lebih khusus daripada yang diisytiharkan dalam kaedah ganti.

Untuk menggambarkan, pertimbangkan contoh berikut:

class ShapeBuilder {
    ...
    public Shape build() {
        ....
    }
}

class CircleBuilder extends ShapeBuilder{
    ...
    @Override
    public Circle build() {
        ....
    }
}

Dalam senario ini, walaupun ShapeBuilder's kaedah build() mengembalikan objek Shape, kaedah overriding build() CircleBuilder mengembalikan objek Circle, yang merupakan jenis yang lebih khusus yang memanjangkan Bentuk. Ini dibenarkan kerana Bulatan boleh diserahkan kepada Bentuk.

Jenis pulangan kovarian mematuhi seksyen 8.4.5 Spesifikasi Bahasa Java, yang menggariskan peraturan berikut:

1. Kaedah tidak sah mungkin ditindih hanya dengan kaedah batal.
2. Jenis pulangan primitif mesti kekal sama dalam ganti kaedah.

3. Untuk jenis rujukan:

   • Jenis pemulangan kaedah mengatasi boleh menjadi subjenis jenis pemulangan kaedah yang diganti.
   • Pemulangan jenis boleh ditetapkan kepada jenis pulangan kaedah yang ditindih melalui penukaran yang tidak ditandai.
   • Jenis pulangan boleh dipadamkan kepada jenis yang sama.

Sebelum Java 5, Java telah menguatkuasakan jenis pulangan invarian, yang memerlukan jenis pulangan kaedah yang ditindih untuk dipadankan dengan tepat dengan kaedah yang ditindih.

Atas ialah kandungan terperinci Bolehkah Kaedah Java Overridden Mempunyai Jenis Pulangan Berbeza?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!