Improved Type Inference for Generic Instance Creation

型推論でジェネリック型の型引数を省略できる機能です。具体例を見ると一目瞭然です。

Java6以前で

List<String> list = new ArrayList<String>();

と書いていたのが

List<String> list = new ArrayList<>();

と書けます。<>からdiamondと呼ばれています。

上の例だと少し嬉しい程度にしか見えませんが(Stringの記述をひとつ省略できるだけ)、次ぐらいになるとだいぶ嬉しい感じです。

Map<String, List<String>> map = new HashMap<String, List<String>>();
が
Map<String, List<String>> map = new HashMap<>();
と書けます

型推論に関連してProject Coinの個別セッションで少し面白い話がありました。

Java6で次のように書けます。

List<? extends Number> list = new ArrayList<Integer>();

次のようにも書けます。

List<? extends Number> list = new ArrayList<Number>();

diamond表記にすると次になります。

List<? extends Number> list = new ArrayList<>();

この時、ArrayList<Number>とArrayList<Integer>のどっちに推論すべきか、という問いです。

代入式の左辺だけ見て判断するsimple推論と実引数も合わせて見るcomplex推論のふたつを挙げて、前者だとArrayList<Number>、後者だとArrayList<Integer>になる、と例を挙げていました。具体的にどんなスライドの内容だったか忘れました。スライド見ている時はなるほどと思う内容でしたが、思い出せません。

スライドと違っている可能性はありますが、強引に思いつけるコード例は以下のような感じです。simple推論で代入先の変数型だけ見るとNumber、コンストラクタの実引数も見るcomplex推論だとInteger、となります。

List<? extends Number> list = new ArrayList<>(Arrays.asList(1,2));

どちらの型推論が正解というわけでもなく、既存のコードで両方の戦略で型推論させてどちらが良いか比較したという話です。結局、どちらも90%ぐらいOKで甲乙つけがたいという感じでした。

ここから先が自分の英語力の無さが非常に情けないのですが、たぶん最終的にcomplex推論にした、と言ったと思うのですがいまいち聞き取りに自信がありません。

Automatic Resource Management

例外が発生した時に確実にリソース解放処理を走らせるため、finally節にリソース解放処理を書くイディオムがあります。Javaの中では悪くないイディオムだと思っていましたが、解放処理自体で発生する例外まで考えると、実は意外な落とし穴があります。

try-finallyの入れ子がどうなるかは次を見てください。

• http://mail.openjdk.java.net/pipermail/coin-dev/2009-February/000011.html

上記ページから引用ですが、Project Coinで(つまり問題なければJava7で)次のように書けるようになります。

try (InputStream in = new FileInputStream(src);
     OutputStream out = new FileOutputStream(dest)) {
  省略
}

try文を抜けるとInputStreamとOutputStreamのリソース解放処理(close処理)が走ります。

これがうまく働くにはストリームクラスがAutoClosableインターフェースを実装している必要があります。

素晴らしい、Java7で一番うれしい機能だと、と聞いていた時は興奮しました。

が、日本に戻って冷静になってみると、興奮するほど素晴らしいのか微妙になってきました。何が気になるかと言うと、過去の遺産を考えると、AutoClosableインターフェースを実装しているクラスばかりではない事実があるからです。そうすると、上記構文(なんと呼べばいいのかわからないのでAutoClosable構文と呼びます)と従来のfinallyイディオムを使いわける必要がでてきそうです。AutoClosableがあるかどうかで書き方を変えるのは、考えることが増える気がします。

こんなことを気にして書き方を変えるぐらいなら、一貫して書けるC++のRAIIイディオムの方がマシに見えてきます。

まだよくわかっていない部分もあるので何かを見逃している可能性もあります。

Strings in switch

switch-case文のcaseの定数式に文字列を書ける説明がありました。地味に嬉しいと言うか、できてみるとなぜ今までできなかったのかという気にすらなります。今まではCの呪縛でしょうか。

具体例は http://mail.openjdk.java.net/pipermail/coin-dev/2009-February/000001.html を見てください。

Improved Exception Handling for Java

try {
  省略
} catch (FooException ex) {
  省略
} catch (BarException ex) {
  省略
}

を

try {
  省略
} catch (FooException | BarException ex) {
  省略
}

と書ける例外のmulti-catchの説明もありました。

more precise rethrowというお題目での説明もあったのですが、聞き取れず...