Java 11 練習問題 ～ローカル変数型推論編～ その8

java 11 練習問題 ～ローカル変数型推論編～

java 11 練習問題 ～ローカル変数型推論編～

動作環境と問題内容について

javaの練習問題です。 出題範囲はjava 9 以降に追加された範囲を中心とします。このシリーズでは、ローカル変数型推論に関する問題を出題します。

難易度は Java SE 11 Programmer I の試験と同程度※を想定しています。

※ただし、場合によっては同試験には出題されない内容や形式が含まれることもあります。あくまでも難易度の目安として解答してください。

実行環境は以下の通りです。

javaのバージョン
　javac 11
　openjdk version “11” 2018-09-25
　OpenJDK Runtime Environment 18.9 (build 11+28)
　OpenJDK 64-Bit Server VM 18.9 (build 11+28, mixed mode)

※問題文に書いてあるプログラムを実行する際は自己責任で実行してください。

問題

次のプログラムを作成した。コンパイル、実行に関して以下の問いに答えなさい。

プログラム(Sample.java)

public class Sample{
    public static void main(String[] args){
        /* A */
    }
}

問．以下の a ～ d のコードのうち、Aの部分に入れた場合にコンパイルエラーになるコードはどれか。すべて選べ。いずれもコンパイルエラーにならない場合は e を選択せよ。

選択肢

a. var v = () -> { };

b. var v = () -> System.out.println(“hello”);

c. var v = (Runnable)() -> { };

d. var v = (Runnable)() -> System.out.println(“hello”);

e. a ～ d のいずれもコンパイル可能

（解答はこちら）

解答

a. var v = () -> { }; と b. var v = () -> System.out.println(“hello”);

解説

java でローカル変数型推論を利用する場合、変数宣言時に代入された値からデータ型が推測される。

代入時の右辺はラムダ式でも問題ないが、元のインタフェースとして 明示的にキャストを行わなければ、データ型が一意に定まらない ため、 ローカル変数型推論でデータ型を定めることができない 。

a. var v = () -> { };

a が実装しているのは引数なし、戻り値 void のメソッドとなっている。これは、例えば Runnable インタフェースなどの実装例である。処理内容も書かれていないが、 ラムダ式としては問題ない 。

ただし、 キャストされていないため右辺のデータ型が一意でない （例ではRunnableを挙げているが、Runnable 以外のインタフェースでも、 引数なしで戻り値が void の抽象メソッドを1つだけ持ったインタフェースならすべて該当 する）。

よってコンパイルエラー。

b. var v = () -> System.out.println(“hello”);

a と同様に ラムダ式の実装方法としては問題なく 、こちらは処理内容が書かれている。処理内容が書かれていたとしても、 キャストされていないため右辺のデータ型が一意でない 。

よってコンパイルエラー。

var について、詳しくはこちらの記事を参照

まとめ

java 10 からは、ローカル変数型推論を用いた変数宣言ができるようになった。

正確に理解した上で、設計や実装時にはソースコードの保守性が下がらないように注意して利用する必要がある。

 ＜＜前回の問題はこちら  |  第1問はこちら  |  次の問題はこちら＞＞ 

新連載はじまりました！新Java基礎 連載リンク

はじめてのJAVA 連載