Java 14 で型の書き換えと型アサーションにパターン マッチングを使用する方法
はじめに:
Java は静的に型付けされた言語であり、型チェックはその最も重要な機能の 1 つです。以前の Java バージョンでは、型チェックは主に、instanceof キーワードと強制的な型変換を使用して実装されていました。ただし、パターン マッチングの新機能が Java 14 で導入され、型の書き換えと型アサーションがより簡潔かつ直感的になりました。この記事では、Java 14 での型の書き換えと型アサーションにパターン マッチングを使用する方法を紹介し、関連するコード例を示します。
1. 型オーバーライド
型オーバーライドとは、型変換を使用するときに、強制的な型変換を必要とせずに、変換ステートメントでターゲットの型を直接指定できることを意味します。これは以前の Java バージョンでは許可されていなかったので、型変換はキャストによって実現する必要がありました。 Java 14 では、パターン マッチングを使用して、より簡潔な型の書き換えを実現できます。
以下は、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()); } } }
上記のコードでは、CharSequence 型の変数シーケンスを定義し、それを割り当てます。文字列として。次に、if ステートメントと instanceof キーワードを使用して、シーケンスが String 型であるかどうかを判断します。その場合は、if ステートメントで型の書き換えを使用して変数 s を String 型として直接指定し、if ステートメントで s を String 型の変数として直接使用できます。これにより、強制的な型変換の前のステップが不要になります。
2. 型アサーション
型アサーションとは、型チェックを使用するときに、instanceof キーを再度使用せずに、変数の型チェック結果を新しい変数に直接割り当てることができることを意味します。チェックした。 Java 14 では、パターン マッチングを使用して、より簡潔な型アサーションを実現できます。
以下は、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"); } } }
上記のコードでは、Object 型の変数オブジェクトを定義し、それを割り当てます。文字列に。次に、if ステートメントと instanceof キーワードを使用して、オブジェクトの型が String であるかどうかを判断します。その場合は、if ステートメントで型アサーションを使用して変数 s を String 型として直接指定し、if ステートメントで s を String 型変数として直接使用できます。そうでない場合は、else ステートメントで適切に処理できます。
結論:
この記事では、Java 14 での型の書き換えと型アサーションのためのパターン マッチングの使用方法を紹介し、関連するコード例を示します。パターン マッチングにより、型変換とチェックをより簡潔かつ直観的に実行できるようになり、面倒な強制的な型変換や冗長な instanceof キーワードの使用が回避されます。読者がこの記事を通じてこの新機能について学び、実際の開発で自分のコードに適用していただければ幸いです。
以上がJava 14 での型の書き換えと型アサーションにパターン マッチングを使用する方法の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。