Bolehkah Kaedah Overriding di Java Mempunyai Jenis Pulangan Berbeza?

Kaedah Mengatasi dengan Jenis Pulangan Kovarian di Jawa

Walaupun ada kepercayaan popular, kaedah yang ditindih mungkin menyimpang dari segi pulangannya jenis di Jawa. Lebih khusus lagi, Java membenarkan jenis pulangan kovarian, membenarkan kaedah mengatasi memiliki jenis pulangan yang lebih halus daripada kaedah mengatasi. Ini memerlukan bahawa jenis pemulangan kaedah mengatasi mesti boleh diserahkan kepada jenis pemulangan kaedah yang diganti.

Contoh ilustrasi ialah coretan kod berikut:

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

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

Dalam keadaan ini , kaedah build() kelas CircleBuilder mengatasi kaedah build() yang diwarisi daripada ShapeBuilder. Yang penting, kaedah build() dalam CircleBuilder mengembalikan objek Circle, yang merupakan jenis yang lebih khusus berbanding dengan objek Shape yang dikembalikan oleh ShapeBuilder.

Tingkah laku ini dikodkan dalam bahagian 8.4.5 Spesifikasi Bahasa Java, yang menyatakan dengan jelas bahawa "Jenis pulangan mungkin berbeza antara kaedah yang mengatasi satu sama lain jika jenis pulangan ialah jenis rujukan." Prinsip ini menyokong konsep pulangan kovarian, di mana jenis pulangan kaedah mengatasi boleh dikhususkan kepada subjenis.

Selain itu, spesifikasi menggariskan syarat khusus yang mesti dipenuhi untuk kebolehgantian jenis pulangan antara dua kaedah :

• Jenis pemulangan void mesti sepadan dengan tepat.
• Jenis pemulangan primitif mestilah sama.

• Jenis pulangan rujukan mestilah sama ada:

  • Menjadi subjenis antara satu sama lain.
  • Boleh ditukar kepada subjenis antara satu sama lain melalui tidak ditandai penukaran.

Sebelum Java 5, Java dipatuhi jenis pulangan invarian. Sebaliknya, jenis pulangan kovarian menawarkan fleksibiliti yang lebih besar dalam mengatasi kaedah, membolehkan jenis pulangan diselaraskan dengan lebih rapat dengan pelaksanaan khusus kaedah yang ditindih.

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