Java SE 12では、switch式に加え、フォール・スルーを防ぐ新しい種類のcaseラベルが導入されています。これらの機能はプレビュー機能として使用できます。

プレビュー機能とは、設計、仕様および実装は完了しているが、永続的でない新機能のことであり、将来のJDKリリースでは別の形式で存在するか、完全になくなる可能性があることを意味します。

メインラインのJDKリリースで機能をプレビュー機能として導入すると、可能なかぎり多くの開発者に、その機能を実際の環境で試用してフィードバックを提供してもらうことができます。また、ツール・ベンダーは、Java開発者がその機能を本番環境で使用する前に、機能のサポートを構築することができます。開発者のフィードバックは、その機能に設計ミスがあるかどうか、たとえば、ハード面での技術的エラー(タイプ・システムの欠陥など)、ソフト面での操作性の問題(従来の機能との意外な相互作用など)、または不適切なアーキテクチャの選択(将来の機能の方向性を妨げるような選択)などを確認する上で役立ちます。このフィードバックを通じて機能の長所と短所が評価され、その機能がJava SE Platformで長期的な役割を担うかどうか、担う場合は調整が必要かどうかを判断します。その結果、機能は、(調整あり、または調整なしで)最終かつ永続的なステータスが付与されるか、(調整あり、または調整なしで)プレビュー期間をさらに継続するか、あるいは削除されます。

すべてのプレビュー機能はJDK Enhancement Proposal (JEP)に記載され、そこでは機能の範囲の定義と設計の概略が説明されています。たとえば、JEP 325はプレビュー機能のSwitch式について説明しています。プレビュー機能の役割とライフサイクルの背景情報は、JEP 12を参照してください。

javac --enable-preview --release 12 MyApp.java

Note: MyApp.java uses preview language features.
Note: Recompile with -Xlint:preview for details

java --enable-preview MyApp

Java SE 12ではswitch式が導入されており、この式は(すべての式と同様に)単一の値として評価され、文で使用することができます。また、Java SE 12では新しい種類のcaseラベルも導入され、これによりフォール・スルーを防ぐためのbreak文は必要なくなりました。

曜日の文字数を出力する次のswitch文について検討してみます。

public enum Day { SUNDAY, MONDAY, TUESDAY,
    WEDNESDAY, THURSDAY, FRIDAY, SATURDAY; }

// ...

    int numLetters = 0;
    Day day = Day.WEDNESDAY;
    switch (day) {
        case MONDAY:
        case FRIDAY:
        case SUNDAY:
            numLetters = 6;
            break;
        case TUESDAY:
            numLetters = 7;
            break;
        case THURSDAY:
        case SATURDAY:
            numLetters = 8;
            break;
        case WEDNESDAY:
            numLetters = 9;
            break;
        default:
            throw new IllegalStateException("Invalid day: " + day);
    }
    System.out.println(numLetters);

曜日名の長さは、変数numLettersに格納するかわりに値を戻せた方が便利で、これはswitch式を使用して行うことができます。また、フォール・スルーを防ぐのに、記述が面倒で付け忘れがちなbreak文が必要がなくなれば、さらに便利です。これは、新しい種類のcaseラベルで実現できます。次のswitch式では、新しい種類のcaseラベルを使用して、曜日の文字数を出力します。

    Day day = Day.WEDNESDAY;    
    System.out.println(
        switch (day) {
            case MONDAY, FRIDAY, SUNDAY -> 6;
            case TUESDAY                -> 7;
            case THURSDAY, SATURDAY     -> 8;
            case WEDNESDAY              -> 9;
            default -> throw new IllegalStateException("Invalid day: " + day);
        }
    );    

新しい種類のcaseラベルの形式は次のとおりです。

case label_1, label_2, ..., label_n -> expression;|throw-statement;|block 

Javaランタイムが矢印の左側にある任意のラベルに一致すると、矢印の右側にあるコードが実行されて、フォール・スルーしません。つまり、switch式(または文)内の他のコードは実行されません。矢印の右側のコードが式である場合、その式の値はswitch式の値になります。

新しい種類のcaseラベルをswitch文で使用できます。次の例は最初の例と同様ですが、「コロンcase」ラベルのかわりに「矢印case」ラベルが使用されています。

    int numLetters = 0;
    Day day = Day.WEDNESDAY;
    switch (day) {
        case MONDAY, FRIDAY, SUNDAY -> numLetters = 6;
        case TUESDAY                -> numLetters = 7;
        case THURSDAY, SATURDAY     -> numLetters = 8;
        case WEDNESDAY              -> numLetters = 9;
        default -> throw new IllegalStateException("Invalid day: " + day);
    };
    System.out.println(numLetters);

「コロンcase」ラベルは、次のようにswitch式で使用できます。

    int numLetters = switch (day) {
        case MONDAY:
        case FRIDAY:
        case SUNDAY:
            System.out.println(6);
            break 6;
        case TUESDAY:
            System.out.println(7);
            break 7;
        case THURSDAY:
        case SATURDAY:
            System.out.println(8);
            break 8;
        case WEDNESDAY:
            System.out.println(9);
            break 9;
        default:
            throw new IllegalStateException("Invalid day: " + day);
    };

Java SE 12ではbreak文が拡張されて、引数(caseラベルがswitch式で生成する値)を取れるようになっています。

    int numLetters = switch (day) {
        case MONDAY, FRIDAY, SUNDAY -> {
            System.out.println(6);
            break 6;
        }
        case TUESDAY -> {
            System.out.println(7);
            break 7;
        }
        case THURSDAY, SATURDAY -> {
            System.out.println(8);
            break 8;
        }
        case WEDNESDAY -> {
            System.out.println(9);
            break 9;
        }
        default -> {
            throw new IllegalStateException("Invalid day: " + day);
        }
    };  

Java SE 11では、暗黙的に型指定されるラムダ式の仮パラメータをvar識別子で宣言できます(「ローカル変数の型推論」を参照)。

Java SE 10では、コンテキストからローカル変数の型を推論するためのサポートが導入され、これにより、コードの可読性が向上し、必要なボイラープレート・コードの量が削減されます。

JDK 10以降では、nullでない初期化子を持つローカル変数をvar識別子で宣言できるため、読みやすいコードを記述できます。

次に、冗長で読みにくいコードの例を示します。

URL url = new URL("http://www.oracle.com/"); 
URLConnection conn = url.openConnection(); 
Reader reader = new BufferedReader(
    new InputStreamReader(conn.getInputStream()));

この例は、var識別子でローカル変数を宣言することにより、次のように書き直すことができます。変数の型はコンテキストから推論されます。

var url = new URL("http://www.oracle.com/"); 
var conn = url.openConnection(); 
var reader = new BufferedReader(
    new InputStreamReader(conn.getInputStream()));

varはキーワードではなく予約された型名であるため、変数、メソッドまたはパッケージ名としてvarを使用する既存のコードは影響を受けません。ただし、クラス名またはインタフェース名としてvarを使用するコードは影響を受けるため、クラスやインタフェースの名前を変更することが必要となります。

varは次のタイプの変数に使用できます。

• 初期化子を伴うローカル変数宣言:

  var list = new ArrayList<String>();    // infers ArrayList<String>
  var stream = list.stream();            // infers Stream<String>
  var path = Paths.get(fileName);        // infers Path
  var bytes = Files.readAllBytes(path);  // infers bytes[]
  

• 拡張forループのインデックス:

  List<String> myList = Arrays.asList("a", "b", "c");
  for (var element : myList) {...}  // infers String

• 従来のforループで宣言されるインデックス変数:

  for (var counter = 0; counter < 10; counter++)  {...}   // infers int

• try-with-resources変数:

  try (var input = 
       new FileInputStream("validation.txt")) {...}   // infers FileInputStream
  

• 暗黙的に型指定されるラムダ式の仮パラメータの宣言: 仮パラメータが推論型のラムダ式は、暗黙的に型指定されます。

  BiFunction<Integer, Integer, Integer> = (a, b) -> a + b;

  JDK 11以降では、暗黙的に型指定されるラムダ式の各仮パラメータをvar識別子で宣言できます。

  (var a, var b) -> a + b;

  その結果、暗黙的に型指定されるラムダ式の仮パラメータ宣言の構文は、ローカル変数宣言の構文と一致します。暗黙的に型指定されるラムダ式の各仮パラメータにvar識別子を適用する場合、その結果はvarをまったく使用しない場合と同じになります。

  推論される仮パラメータとvarで宣言される仮パラメータを暗黙的に型指定されるラムダ式内で混在させたり、varで宣言される仮パラメータとマニフェスト型を明示的に型指定されるラムダ式内で混在させることはできません。次の例は使用できません。

  (var x, y) -> x.process(y)      // Cannot mix var and inferred formal parameters
                                  // in implicitly typed lambda expressions
  (var x, int y) -> x.process(y)  // Cannot mix var and manifest types
                                  // in explicitly typed lambda expressions

Java Platform, Standard Edition (Java SE) 9の大きな変更点は、Java Platformモジュール・システムの導入です。

Java Platformモジュール・システムでは、モジュールという新しい種類のJavaプログラミング・コンポーネントが導入されています。モジュールは名前付きで自己記述型のコードとデータのコレクションです。タイプ(Javaのクラスとインタフェース)を含むパッケージのセットとしてコードが編成されており、リソースおよび他の種類の静的情報がデータに含まれます。モジュールはパッケージをエクスポートまたはカプセル化でき、他のモジュールに対する依存関係を明示的に表現できます。

Java Platformモジュール・システムの詳細は、OpenJDKのProject Jigsawに関する項を参照してください。

新しいモジュール・システム以外にも、いくつかの変更がJava言語に加えられました。このガイドの残りの部分では、これらの変更について説明します。

finalとしてのリソースがすでにあるか、実質的にfinalの変数がある場合、新しい変数を宣言せずにその変数をtry-with-resources文で使用できます。「事実上final」の変数とは、初期化された後に値が変更されることがない変数のことです。

たとえば、次の2つのリソースを宣言したとします。

        // A final resource
        final Resource resource1 = new Resource("resource1");
        // An effectively final resource
        Resource resource2 = new Resource("resource2");

Java SE 7または8では、次のように新しい変数を宣言します。

        try (Resource r1 = resource1;
             Resource r2 = resource2) {
            ...
        }

Java SE 9では、r1およびr2を宣言する必要はありません。

// New and improved try-with-resources statement in Java SE 9
        try (resource1;
             resource2) {
            ...
        }

the try-with-resources文の詳細な説明は、Javaチュートリアル(Java SE 8以前)を参照してください。

Java SE 9には、言語の軽微な変更がいくつかあります。

Oracleのアクセシビリティについての詳細情報は、Oracle Accessibility ProgramのWebサイト(http://www.oracle.com/pls/topic/lookup?ctx=acc&id=docacc)を参照してください。