Memahami Kovarians, Kontravarians dan Invarian dalam Java Dipermudahkan
Pengenalan
Kovarians, kontravarians , dan invarian ialah konsep asas dalam pengaturcaraan berorientasikan objek, terutamanya dalam Java. Mereka mentakrifkan bagaimana perhubungan antara jenis dan subjenis dipengaruhi oleh transformasi jenis.
Kovarians, Kontravarians dan Invarian Ditakrifkan
Dalam konteks transformasi jenis, kovarians, kontravarians , dan invarian menentukan sama ada hubungan subjenis dikekalkan. Mari kita pertimbangkan satu penjelmaan jenis f yang mengambil jenis A dan mengubahnya menjadi jenis f(A). Jika:
Kovarian: Untuk jenis A dan B sedemikian rupa sehingga A ≤ B (A ialah subjenis B), f(A) ≤ f(B).
Kontravarian: Untuk jenis A dan B sedemikian rupa sehingga A ≤ B, f(B) ≤ f(A).
Invarian: Sama ada kovarians mahupun kontravarians terpakai.
Contoh dalam Java
Mari kita pertimbangkan beberapa contoh dalam Java:
Kovarians: Menggunakan ArrayList, jika Senarai ialah subjenis Senarai, kemudian Senarai ialah subjenis Senarai kerana tatasusunan dalam Java ialah kovarian.
Kontravarian: Menggunakan Pembanding, jika Pembanding ialah subjenis Comparator
Invarian: Menggunakan Generik, Senaraikan bukan subjenis List, dan sebaliknya, menjadikan generik invarian dalam Java.
Implikasi dalam Java
Tugasan: Hanya tugasan dengan jenis kovarian atau invarian sahaja dibenarkan.
Penggunaan Kaedah: Parameter mestilah kovarian atau invarian dan jenis pemulangan mestilah kovarian atau invarian berkenaan dengan kaedah mengatasi.
Mengatasi: Apabila mengatasi kaedah dalam Java, jenis parameter mestilah kontravarian atau invarian dan jenis pulangan mestilah kovarian atau invarian. Walau bagaimanapun, jenis pulangan kovarian dibenarkan dalam Java 1.5 dan ke atas.
Kesimpulan
Memahami kovarians, kontravarian dan invarian adalah penting untuk memanipulasi jenis dengan selamat di Jawa . Konsep ini memastikan ketekalan jenis dan menghalang tingkah laku yang tidak dijangka semasa tugasan, penyebutan kaedah dan penggantian kaedah. Dengan memahami prinsip asas mereka, pembangun boleh mereka bentuk dan melaksanakan kod yang teguh dan boleh diselenggara dengan berkesan.
Atas ialah kandungan terperinci Apakah Kovarian, Kontravarian dan Invarian dalam Java, dan Bagaimana Ia Mempengaruhi Transformasi Jenis?. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!
Kenyataan Laman Web ini
Kandungan artikel ini disumbangkan secara sukarela oleh netizen, dan hak cipta adalah milik pengarang asal. Laman web ini tidak memikul tanggungjawab undang-undang yang sepadan. Jika anda menemui sebarang kandungan yang disyaki plagiarisme atau pelanggaran, sila hubungi admin@php.cn
Java menggunakan kelas pembalut kerana jenis data asas tidak dapat mengambil bahagian secara langsung dalam operasi berorientasikan objek, dan bentuk objek sering diperlukan dalam keperluan sebenar; 1. Kelas koleksi hanya boleh menyimpan objek, seperti senarai menggunakan tinju automatik untuk menyimpan nilai berangka; 2. Generik tidak menyokong jenis asas, dan kelas pembungkusan mesti digunakan sebagai parameter jenis; 3. Kelas pembungkusan boleh mewakili nilai null untuk membezakan data yang tidak tersendiri atau hilang; 4. Kelas pembungkusan menyediakan kaedah praktikal seperti penukaran rentetan untuk memudahkan parsing dan pemprosesan data, jadi dalam senario di mana ciri -ciri ini diperlukan, kelas pembungkusan sangat diperlukan.
Perbezaan antara hashmap dan hashtable terutamanya dicerminkan dalam keselamatan benang, sokongan nilai null dan prestasi. 1. Dari segi keselamatan benang, hashtable adalah benang selamat, dan kaedahnya kebanyakannya kaedah segerak, sementara hashmap tidak melakukan pemprosesan penyegerakan, yang bukan benang-selamat; 2. Dari segi sokongan nilai null, hashmap membolehkan satu kunci null dan nilai null berbilang, manakala hashtable tidak membenarkan kekunci atau nilai null, jika tidak, nullPointerException akan dibuang; 3. Dari segi prestasi, hashmap lebih cekap kerana tidak ada mekanisme penyegerakan, dan Hashtable mempunyai prestasi penguncian yang rendah untuk setiap operasi. Adalah disyorkan untuk menggunakan ConcurrentHashMap sebaliknya.
Penyusun JIT mengoptimumkan kod melalui empat kaedah: kaedah dalam talian, pengesanan tempat panas dan penyusunan, spekulasi jenis dan devirtualisasi, dan penghapusan operasi yang berlebihan. 1. Kaedah sebaris mengurangkan panggilan overhead dan memasukkan kaedah kecil yang sering dipanggil terus ke dalam panggilan; 2. Pengesanan tempat panas dan pelaksanaan kod frekuensi tinggi dan mengoptimumkannya untuk menjimatkan sumber; 3. Jenis spekulasi mengumpul maklumat jenis runtime untuk mencapai panggilan devirtualisasi, meningkatkan kecekapan; 4. Operasi berlebihan menghapuskan pengiraan dan pemeriksaan yang tidak berguna berdasarkan penghapusan data operasi, meningkatkan prestasi.
Blok permulaan contoh digunakan dalam Java untuk menjalankan logik inisialisasi apabila membuat objek, yang dilaksanakan sebelum pembina. Ia sesuai untuk senario di mana beberapa pembina berkongsi kod inisialisasi, permulaan medan kompleks, atau senario permulaan kelas tanpa nama. Tidak seperti blok inisialisasi statik, ia dilaksanakan setiap kali ia ditegaskan, manakala blok permulaan statik hanya dijalankan sekali apabila kelas dimuatkan.
Terdapat dua jenis penukaran: tersirat dan eksplisit. 1. Penukaran tersirat berlaku secara automatik, seperti menukar int untuk berganda; 2. Penukaran eksplisit memerlukan operasi manual, seperti menggunakan (int) mydouble. Kes di mana penukaran jenis diperlukan termasuk memproses input pengguna, operasi matematik, atau lulus pelbagai jenis nilai antara fungsi. Isu-isu yang perlu diperhatikan adalah: Mengubah nombor terapung ke dalam bilangan bulat akan memotong bahagian pecahan, mengubah jenis besar menjadi jenis kecil boleh menyebabkan kehilangan data, dan beberapa bahasa tidak membenarkan penukaran langsung jenis tertentu. Pemahaman yang betul tentang peraturan penukaran bahasa membantu mengelakkan kesilapan.
Mod kilang digunakan untuk merangkum logik penciptaan objek, menjadikan kod lebih fleksibel, mudah dikekalkan, dan ditambah longgar. Jawapan teras adalah: dengan mengurus logik penciptaan objek secara berpusat, menyembunyikan butiran pelaksanaan, dan menyokong penciptaan pelbagai objek yang berkaitan. Keterangan khusus adalah seperti berikut: Mod Kilang menyerahkan penciptaan objek ke kelas kilang khas atau kaedah untuk diproses, mengelakkan penggunaan Newclass () secara langsung; Ia sesuai untuk senario di mana pelbagai jenis objek yang berkaitan dicipta, logik penciptaan boleh berubah, dan butiran pelaksanaan perlu disembunyikan; Sebagai contoh, dalam pemproses pembayaran, jalur, paypal dan contoh lain dicipta melalui kilang -kilang; Pelaksanaannya termasuk objek yang dikembalikan oleh kelas kilang berdasarkan parameter input, dan semua objek menyedari antara muka yang sama; Varian biasa termasuk kilang -kilang mudah, kaedah kilang dan kilang abstrak, yang sesuai untuk kerumitan yang berbeza.