So verwenden Sie Pattern Matching für das Umschreiben von Typen und die Typzusicherung in Java 14

So verwenden Sie Pattern Matching für das Umschreiben von Typen und die Typzusicherung in Java 14

Einführung:
Java ist eine statisch typisierte Sprache und die Typprüfung ist eine ihrer wichtigsten Funktionen. In früheren Java-Versionen wurde die Typprüfung hauptsächlich mithilfe des Schlüsselworts „instanceof“ und erzwungener Typkonvertierung implementiert. Allerdings wurde in Java 14 die neue Funktion „Pattern Matching“ eingeführt, die das Umschreiben von Typen und die Typzusicherung prägnanter und intuitiver macht. In diesem Artikel wird die Verwendung von Pattern Matching zum Typumschreiben und zur Typzusicherung in Java 14 vorgestellt und relevante Codebeispiele bereitgestellt.

1. Typüberschreibung

Typüberschreibung bedeutet, dass bei Verwendung der Typkonvertierung der Zieltyp direkt in der Konvertierungsanweisung angegeben werden kann, ohne dass eine erzwungene Typkonvertierung erforderlich ist. Dies war in früheren Java-Versionen nicht zulässig und die Typkonvertierung muss durch Umwandlung erreicht werden. In Java 14 kann Pattern Matching verwendet werden, um eine präzisere Typumschreibung zu erreichen.

Hier ist ein Beispielcode, der zeigt, wie man Pattern Matching für die Typumschreibung in Java 14 verwendet:

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());
        }
    }
}

Im obigen Code definieren wir eine Variablensequenz vom Typ CharSequence und weisen sie einem String zu. Verwenden Sie dann die if-Anweisung und das Schlüsselwort „instanceof“, um zu bestimmen, ob die Sequenz vom Typ „String“ ist. Wenn ja, können Sie die Typumschreibung in der if-Anweisung verwenden, um die Variable s direkt als String-Typ anzugeben, und Sie können s direkt als String-Typ-Variable in der if-Anweisung verwenden. Dadurch entfällt der vorherige Schritt der erzwungenen Typkonvertierung.

2. Typzusicherung

Typzusicherung bedeutet, dass Sie bei Verwendung der Typprüfung das Ergebnis der Typprüfung einer Variablen direkt einer neuen Variablen zuweisen können, ohne das Schlüsselwort „instanceof“ erneut zur Typprüfung zu verwenden. In Java 14 können Sie Pattern Matching verwenden, um präzisere Typzusicherungen zu erzielen.

Hier ist ein Beispielcode, der zeigt, wie man Pattern Matching für die Typzusicherung in Java 14 verwendet:

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");
        }
    }
}

Im obigen Code definieren wir ein Variablenobjekt vom Typ Object und weisen es einer Zeichenfolge zu. Verwenden Sie dann die if-Anweisung und das Schlüsselwort „instanceof“, um zu bestimmen, ob das Objekt vom Typ „String“ ist. Wenn ja, können Sie eine Typzusicherung in der if-Anweisung verwenden, um die Variable s direkt als String-Typ anzugeben, und Sie können s direkt als String-Typ-Variable in der if-Anweisung verwenden. Wenn nicht, können wir es in der else-Anweisung entsprechend behandeln.

Fazit:

Dieser Artikel stellt die Verwendung von Typumschreibung und Typzusicherung mithilfe von Pattern Matching in Java 14 vor und bietet relevante Codebeispiele. Durch Pattern Matching können wir die Typkonvertierung und -prüfung prägnanter und intuitiver durchführen und so eine umständliche erzwungene Typkonvertierung und die Verwendung redundanter Instanzen von Schlüsselwörtern vermeiden. Ich hoffe, dass die Leser durch diesen Artikel mehr über diese neue Funktion erfahren und sie in der tatsächlichen Entwicklung auf ihren eigenen Code anwenden können.

Das obige ist der detaillierte Inhalt vonSo verwenden Sie Pattern Matching für das Umschreiben von Typen und die Typzusicherung in Java 14. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!