JDK 10 へようこそ

JDK 10 へようこそ
ローカル変数の型推論
その他
David Buck
JVM Sustaining Engineering
Oracle

Hello JJUG!
バックデイビッド
• Java SE サステイニングエンジニアリング
• JVM のバグを直す人
• OpenJDK Updates
Project Maintainer
• 趣味：プログラミング
• ＠DavidBuckJP

アジェンダ
• 現在地
• ローカル変数の型推論
• その他
• 最後に

ＪＤＫ９（２０１７年９月２１日）
• Short Term Release (サポートは今月で終了）
• JEP 193: Variable Handles
• JEP 222: jshell: The Java Shell (Read-Eval-Print Loop)
• JEP 237: Linux/AArch64 Port
• JEP 254: Compact Strings
• JEP 282: jlink: The Java Linker
• JEP 295: Ahead-of-Time Compilation

ＪＤＫ１０（２０１８年３月２０日）
• Short Term Release (サポートは今年の９月で終了）
• 今夜はいっぱい喋る！

ＪＤＫ１１（２０１８年９月）
• Long Term Support (LTS) のリリース
• 309: Dynamic Class-File Constants
• 318: Epsilon: An Arbitrarily Low-Overhead Garbage Collector
• 320: Remove the Java EE and CORBA Modules
• 323: Local-Variable Syntax for Lambda Parameters

新しい GC の研究・開発
• ZGC
• 4TBまでのスケーラビリティ
• ヒープサイズ問わずに
• Live-set のサイズ問わずに
• １０ミリ秒以下の STW
• 64ビット専用の GC
• Shenandoah
• Red Hat 社のプロジェクト
• コンカレントメモリコンパクション

プロジェクト Panama
• Foreign Function Interface
• メモリレイアウト（struct など）
By US DOT - https://www.transportation.gov/fastlane/expanded-canal-means-an-expanded-economy, Public Domain, https://commons.wikimedia.org/w/index.php?curid=54989250

プロジェクト Valhalla
• Value Types （値型）
• Generic Specialization （ジェネリックの特殊化）
By Emil Doepler - Doepler, Emil. ca. 1905. Walhall, die Götterwelt der Germanen. Martin Oldenbourg, Berlin. Photographed by Haukurth (talk · contribs) and cropped by Bloodofox (talk · contribs)., Public Domain

プロジェクト Loom
• Fibers (ファイバー)
• Delimited continuations
(限定継続)
• Explicit tail calls (末尾再帰)
By en:Yanagawa Shigenobu - Public Domain, https://commons.wikimedia.org/w/index.php?curid=3505580

って何？

JEP 286 と言えば
By Konstantin Lanzet (with permission) - CPU collection Konstantin Lanzet, received per EMailCamera: Canon EOS 400D, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=4213086

って何？
ArrayList<String> list = new ArrayList<String>();
Stream<String> stream = list.stream();

って何？
var list = new ArrayList<String>();
var stream = list.stream();

ローカル変数と言えば
• ローカル変巣 var x = foo();
• for ループ for (var i=0; i<10; i++)
• For-each ループ for (var x : foos())
• try-with-resources try (var r=m())

って何？
型推論！＝動的型付け

なぜ？

void removeMatches(Map<? extends String, ? extends
Number> map, int max) {
for (Iterator<? extends Map.Entry<? extends String, ?
extends Number>> iterator =
map.entrySet().iterator();
iterator.hasNext();) {
Map.Entry<? extends String, ? extends Number>
entry = iterator.next();
if (max > 0 && matches(entry)) {
iterator.remove();
max--;
}
}
}

void removeMatches(Map<? extends String, ? extends
Number> map, int max) {
for (var iterator = map.entrySet().iterator();
iterator.hasNext();) {
var entry = iterator.next();
if (max > 0 && matches(entry)) {
iterator.remove();
max--;
}
}
}

try (InputStream is = socket.getInputStream();
InputStreamReader isr = new InputStreamReader(is,
charsetName);
BufferedReader buf = new BufferedReader(isr)) {
return buf.readLine();
}

try (var inputStream = socket.getInputStream();
var reader = new InputStreamReader(inputStream,
charsetName);
var bufReader = new BufferedReader(reader)) {
return bufReader.readLine();
}

他の言語も同じ結論
C++ auto
C# var
Scala var/val
Go := 宣言

なぜローカル変数だけ？
Field やメソッドの引数などの影響は複数のファイルを跨る
ClassA.java ClassB.java影響

をどうやって使う？

制限
• 初期化は必須
var x;
• 配列のカッコは利用できない
var x[] = new int[42];
• 複数の宣言は禁止
var x = 1, y = 2;
• 配列のリテラルは禁止
var x = { 8, 6, 7, 5, 3,
0, 9 };
• 初期化の表現は変数を参照す
ることは禁止
var x = (x = 7);
• Nullの初期化は禁止
var x = null;
• 解決できない poly 表現
var x = f = (x, y) ->
x+y;

Denotable types
var hogehoge = new Object() {
public void sayHi() {
System.out.println(“Hello JJUG!”);
}
};
hogehoge.sayHi();
Class<?> c = hogehoge.getClass();
System.out.println(c.getName()); // Test$1

var とは何？
• 予約語？
• キーワード？

Java の予約語
abstract continue for new switch
assert default goto package synchronized
boolean do if private this
break double implements protected throw
byte else import public throws
case enum instanceof return transient
catch extends int short try
char final interface static void
class finally long strictfp volatile
const float native super while

予約語とキーワード
キーワード
言語で何かの意味する表現
int
final
try
など
予約語
識別子として利用出来ない

var とは？
• タイプの名前（クラス・インタフェース）として利用出来ない
• 変数名やフィールド名としては利用出来る

var とは？
class var {
int x = 1;
int y = 2;
}

var とは？
var var = var();

をどうやって使うべきか？

原理
• P1 書きやすさより読みやすさ

原理
• P2 ローカルコードで理解できるはず

原理
• P3 IDE などのツールに依存すべきではない

原理
• P3 IDE などのツールに依存すべきではない
• P4 明示にタイプを宣言するのはトレードオフ

ガイドライン
• G1 役に立つ情報を表す変数名を使うこと

役に立つ情報を表す変数名を使うこと
// ORIGINAL
try (Stream<Customer> result = dbconn.executeQuery(query)) {
return result.map(...)
.filter(...)
.findAny();
}
// GOOD
try (var customers = dbconn.executeQuery(query)) {
return customers.map(...)
.filter(...)
.findAny();

役に立つ情報を表す変数名を使うこと
// ORIGINAL
List<Customer> x = dbconn.executeQuery(query);
// GOOD
var custList = dbconn.executeQuery(query);

ガイドライン
• G2 ローカル変数のスコープを制限すること

ガイドライン
• G3 初期化の文だけから型が分かる場合、var の利用を検討する
こと

初期化の文だけから型を分かる場合、var
の利用を検討すること
// ORIGINAL
ByteArrayOutputStream outputStream = new
ByteArrayOutputStream();
// GOOD
var outputStream = new ByteArrayOutputStream();

初期化の文だけから型を分かる場合、var
の利用を検討すること
// ORIGINAL
BufferedReader reader =
Files.newBufferedReader(...);
List<String> stringList = List.of("a", "b", "c");
// GOOD
var reader = Files.newBufferedReader(...);
var stringList = List.of("a", "b", "c");

ガイドライン
こと
• G4 連続の呼び出しを分解するために var を利用すること

連続の呼び出しを分解するために var を
利用すること
return strings.stream()
.collect(groupingBy(s -> s,
counting()))
.entrySet()
.stream()
.max(Map.Entry.comparingByValue())
.map(Map.Entry::getKey);

利用すること
Map<String, Long> freqMap = strings.stream()
.collect(groupingBy(s -> s, counting()));
Optional<Map.Entry<String, Long>> maxEntryOpt =
freqMap.entrySet()
.stream()
.max(Map.Entry.comparingByValue());
return maxEntryOpt.map(Map.Entry::getKey);

利用すること
var freqMap = strings.stream()
.collect(groupingBy(s -> s,
counting()));
var maxEntryOpt = freqMap.entrySet()
.stream()
.max(Map.Entry.comparingByValue());
return maxEntryOpt.map(Map.Entry::getKey);

ガイドライン
こと
• G5 ローカル変数の場合、インタフェースへのプログラミング
（”programming to the interface”）は気にしなくてもいい

ローカル変数の場合、インタフェースへのプ
ログラミング（”programming to the
interface”）は気にしなくてもいい
// ORIGINAL
List<String> list = new ArrayList<>();
// Inferred type of list is ArrayList<String>.
var list = new ArrayList<String>();

ガイドライン
こと
• G6 var をダイアモンドか generic メソッドと一緒に利用する時、
気を付けるこ

var をダイアモンドか generic メソッドと
一緒に利用する時、気を付けるこ
PriorityQueue<Item> itemQueue = new
PriorityQueue<Item>();
// OK: both declare variables of type PriorityQueue<Item>
PriorityQueue<Item> itemQueue = new PriorityQueue<>();
var itemQueue = new PriorityQueue<Item>();
// DANGEROUS: infers as PriorityQueue<Object>
var itemQueue = new PriorityQueue<>();

var をダイアモンドか generic メソッドと
一緒に利用する時、気を付けるこ
// DANGEROUS: infers as List<Object>
var list = List.of();
// OK: itemQueue infers as PriorityQueue<String>
Comparator<String> comp = ... ;
var itemQueue = new PriorityQueue<>(comp);
// OK: infers as List<BigInteger>
var list = List.of(BigInteger.ZERO);

ガイドライン
こと
• G6 var をダイアモンドか generic メソッドと一緒に利用する時、
気を付けること
• G7 var をリテラルと一緒に利用する時、気を付けること

var をリテラルと一緒に利用する時、気
を付けること
// ORIGINAL
boolean ready = true;
char ch = '¥ufffd';
long sum = 0L;
String label = "wombat";
// GOOD
var ready = true;
var ch = '¥ufffd';
var sum = 0L;
var label = "wombat";

を付けること
// ORIGINAL
byte flags = 0;
short mask = 0x7fff;
long base = 17;
// DANGEROUS: all infer as int
var flags = 0;
var mask = 0x7fff;
var base = 17;

を付けること
// ORIGINAL
float f = 1.0f;
double d = 2.0;
// GOOD
var f = 1.0f;
var d = 2.0;

を付けること
// ORIGINAL
static final float INITIAL = 3.0f;
...
double temp = INITIAL;
// DANGEROUS: now infers as float
var temp = INITIAL;

JEP 296
Consolidate the JDK Forest into a Single
• ＪＤＫ８
Jdk8u-dev
corba
hotspot
jaxp
jaxws
jdk
langtools
nashorn

JEP 296
Consolidate the JDK Forest into a Single
• ＪＤＫ８ • JDK 10
Jdk8u-dev
corba
hotspot
jaxp
jaxws
jdk
langtools
nashorn
jdk10

JEP 304
Garbage Collector Interface
HotSpot Runtime
JIT GC

JEP 304
HotSpot Runtime
C1 GC

JEP 304
HotSpot Runtime
C2 GC

JEP 304
HotSpot Runtime
Tiered
(C1 と C2)
GC

JEP 304
HotSpot Runtime
JIT Serial

JEP 304
HotSpot Runtime
JIT Parallel

JEP 304
HotSpot Runtime
JIT CMS

JEP 304
HotSpot Runtime
JIT G1

JEP 304
HotSpot Runtime
C2 G1
G1
G1
G1
G1

JEP 307
Parallel Full GC for G1
従来のG1 FullGC JDK 10 以降の G1 FullGC
FullGC
FullGC
FullGC
FullGC
FullGC

JEP 310
Application Class-Data Sharing
java
(JVM)
クラスデータ
(メモリ上)
java
(JVM)
クラスデータ
(メモリ上) java
(JVM)
クラスデータ
(メモリ上)
java
(JVM)
クラスデータ
(メモリ上)

JEP 310
Application Class-Data Sharing
java
(JVM)
java
(JVM)
java
(JVM)
java
(JVM)
クラスデータ
classes.jsa

JEP 312
Thread-Local Handshakes
従来の safepoint (STW) • TLH の実装

JEP 312
Thread-Local Handshakes
デフォルトは有効
無効にするには
-XX:-ThreadLocalHandshakes

JEP 313
Remove the Native-Header Generation Tool
(javah)
Javac HelloWorld
javah -jni HelloWorld
javac -h header_files HelloWorld.java

JEP 314
Additional Unicode Language-Tag Extensions
Locale
言語コード国コードバリアントコード

JEP 314
Locale
例
de_DE_EURO （ドイツ語・ドイツ・ユーロ）

JEP 314
Locale
例
ja_JP_JP (日本語・日本・元号）

JEP 314
Locale
例
ja_JP_JP (日本語・日本・元号）
th_TH_TH （タイ語・タイ王国・タイ数字）

JEP 314
BCP 47 (JDK 7 で導入）
ca：カレンダー例： -u-ca-Japanese
nu : 数字例： -u-nu-thai

JEP 314
BCP 47 (JDK 10 で追加）
cu: 通貨例： -u-cu-jpy
fw: 週の最初の曜日例： -u-fw-wed
rg: 領域例： -u-rg-gbzzzz
tz: 時間帯例： -u-tz-jptyo

JEP 316
Heap Allocation on Alternative Memory Devices
picture by Trolomite - Own work, CC BY-SA 4.0, https://commons.wikimedia.org/w/index.php?curid=45277623
DAX ファイルシステム経由の
NVDIMMメモリアクセス
-XX:AllocateHeapAt=path

JEP 316
1.mkstemp(filename)

JEP 316
1.mkstemp(filename)
2.unlink(filename)

JEP 316
1.mkstemp(filename)
2.unlink(filename)
3.posix_fallocate(fd, ofset, size);

JEP 316
1.mkstemp(filename)
2.unlink(filename)
3.posix_fallocate(fd, ofset, size);
4.mmap(base, size, PROT_READ |
PROT_WRITE, MAP_SHARED |
MAP_FIXED, fd, 0)

JEP 317
Experimental Java-Based JIT Compiler
-XX:+UnlockExperimentalVMOptions -XX:+UseJVMCICompiler
HotSpot Runtime
Graal GC
By anonymous medieval illuminator; Public Domain, https://commons.wikimedia.org/w/index.php?curid=2856329

JEP 319
Root Certificates
• Oracle JDK • OpenJDK
cacertscacerts
Secom Trust Systems
Let's Encrypt
Digicert Inc.
DocuSign
その他

JEP 319
Root Certificates
• Oracle JDK • OpenJDK
cacerts
Secom Trust Systems
Let's Encrypt
Digicert Inc.
DocuSign
その他
cacerts
Secom Trust Systems
Let's Encrypt
Digicert Inc.
DocuSign
その他

JEP 322
Time-Based Release Versioning
java version "9.0.4"
Java(TM) SE Runtime Environment (build 9.0.4+11)
Java HotSpot(TM) Server VM (build 9.0.4+11, mixed mode)
java version "10" 2018-03-20
Java(TM) SE Runtime Environment 18.3 (build 10+45)
Java HotSpot(TM) 64-Bit Server VM 18.3 (build 10+45, mixed mode)

• JDK 10 の開発環境での利用
• var を利用すべき箇所の検討
• JDK 11 EA リリースの検証

リンク集
• ＪＤＫ１０
ダウンロード
http://www.oracle.com/technetwork/java/javase/downloads/index.html
ドキュメント
https://docs.oracle.com/javase/10/
スタイルガイド
http://openjdk.java.net/projects/amber/LVTIstyle.html
• ＪＤＫ１１
EA ビルド
http://jdk.java.net/11/
プロジェクト
http://openjdk.java.net/projects/jdk/11/

JDK 10 へようこそ

More Related Content

What's hot (20)

Similar to JDK 10 へようこそ (20)

More from David Buck (20)

JDK 10 へようこそ