Cara menggunakan Padanan Corak untuk menulis semula jenis dan penegasan jenis dalam Java 14

Cara menggunakan Padanan Corak untuk menulis semula jenis dan penegasan taip dalam Java 14

Pengenalan:
Java ialah bahasa yang ditaip secara statik, dan penyemakan jenis adalah salah satu ciri terpentingnya. Dalam versi Java sebelumnya, semakan jenis dilaksanakan terutamanya dengan menggunakan instanceof kata kunci dan penukaran jenis paksa. Walau bagaimanapun, ciri baharu Padanan Corak telah diperkenalkan di Java 14, menjadikan penulisan semula jenis dan penegasan jenis lebih ringkas dan intuitif. Artikel ini akan memperkenalkan cara menggunakan Padanan Corak untuk menulis semula jenis dan penegasan jenis dalam Java 14, dan menyediakan contoh kod yang berkaitan.

1. Jenis Overriding

Type overriding bermaksud apabila menggunakan jenis penukaran, jenis sasaran boleh ditentukan terus dalam penyata penukaran tanpa memerlukan penukaran jenis paksa. Ini tidak dibenarkan dalam versi Java sebelumnya dan penukaran jenis mesti dicapai melalui hantaran. Dalam Java 14, Padanan Corak boleh digunakan untuk mencapai penulisan semula jenis yang lebih ringkas.

Berikut ialah contoh kod yang menunjukkan cara menggunakan Pattern Matching untuk menulis semula jenis dalam Java 14:

public class TypeOverrideExample {
    public static void main(String[] args) {
        CharSequence sequence = "Hello Java 14!";
        if (sequence instanceof String s) {
            // 使用s作为String类型的变量
            System.out.println(s.toLowerCase());
        }
    }
}

Dalam kod di atas, kami mentakrifkan urutan pembolehubah jenis CharSequence dan menetapkannya kepada rentetan . Kemudian, gunakan pernyataan if dan instanceof kata kunci untuk menentukan sama ada jujukan adalah jenis String. Jika ya, maka anda boleh menggunakan penulisan semula jenis dalam pernyataan if untuk menentukan terus pembolehubah s sebagai jenis String, dan anda boleh terus menggunakan s sebagai pembolehubah jenis String dalam pernyataan if. Ini menghapuskan langkah sebelumnya penukaran jenis paksa.

2. Type Assertion

Type assertion bermaksud bahawa apabila menggunakan jenis semakan, anda boleh terus menetapkan hasil semakan jenis pembolehubah kepada pembolehubah baharu tanpa menggunakan kata kunci instanceof sekali lagi untuk semakan jenis. Dalam Java 14, anda boleh menggunakan Padanan Corak untuk mencapai penegasan jenis yang lebih ringkas.

Berikut ialah contoh kod yang menunjukkan cara menggunakan Padanan Corak untuk penegasan jenis dalam Java 14:

public class TypeAssertionExample {
    public static void main(String[] args) {
        Object object = "Hello Java 14!";
        if (object instanceof String s) {
            // 使用s作为String类型的变量
            System.out.println(s.toLowerCase());
        } else {
            System.out.println("object is not a String");
        }
    }
}

Dalam kod di atas, kami mentakrifkan objek berubah jenis Objek dan menetapkannya kepada rentetan. Kemudian, gunakan pernyataan if dan instanceof kata kunci untuk menentukan sama ada objek itu jenis String. Jika ya, maka anda boleh menggunakan penegasan jenis dalam pernyataan if untuk menentukan terus pembolehubah s sebagai jenis String, dan anda boleh terus menggunakan s sebagai pembolehubah jenis String dalam pernyataan if. Jika tidak, kami boleh mengendalikannya dengan sewajarnya dalam penyata else.

Kesimpulan:

Artikel ini memperkenalkan penggunaan penulisan semula jenis dan penegasan jenis menggunakan Padanan Pola dalam Java 14 dan menyediakan contoh kod yang berkaitan. Melalui Padanan Corak, kami boleh melakukan penukaran jenis dan menyemak dengan lebih ringkas dan intuitif, mengelakkan penukaran jenis paksa yang menyusahkan dan penggunaan contoh kata kunci yang berlebihan. Saya harap pembaca dapat mengetahui tentang ciri baharu ini melalui artikel ini dan menerapkannya pada kod mereka sendiri dalam pembangunan sebenar.

Atas ialah kandungan terperinci Cara menggunakan Padanan Corak untuk menulis semula jenis dan penegasan jenis dalam Java 14. Untuk maklumat lanjut, sila ikut artikel berkaitan lain di laman web China PHP!