Pattern matching и его воображаемые друзья

Разговоры о pattern matching в Java велись ещё до выхода Java 9, однако на дворе уже Java 11, и непохоже, чтобы дело сильно двигалось. Мы посмотрим, как видят pattern matching авторы Java, какие ещё новые возможности требуются, чтобы этим было удобно пользоваться, и виден ли свет в конце тоннеля.

Transcript

1. Pattern Matching — И его воображаемые друзья Тагир Валеев
2. Disclaimer Ничего этого нет, это всё плод воображения! 2
3. 3 Март: Java 12 2017 2018 2019 2020 Ноябрь: Java Language and Platform Futures: A Sneak Peek by Brian Goetz (Devoxx Belgium) Март: первое обсуждение в amber-dev Май: JEP draft: Pattern Matching Июнь: Submitted as JEP 305 2016 Сентябрь: Java 13 Сентябрь: обновлённые документы: Pattern Matching и Pattern Matching Semantics
4. 4 1 год 2 года 3 года Реализовать pattern matching в Java
5. 5 1 год 2 года 3 года Реализовать pattern matching в Java Выносить ребёнка Долететь от Земли до Юпитера Построить Дредноут
6. 6 Паттерн матчинг: Есть паттерны, которые что-то матчат (или нет)
7. Какие бывают паттерны? (spoiler: разные) 7 ✓ Any pattern: ➢ _
8. Какие бывают паттерны? (spoiler: разные) 8 ✓ Any pattern: ➢ _ ✓ Constant pattern: ➢ 1 ➢ true ➢ TimeUnit.SECONDS ➢ null
9. Какие бывают паттерны? (spoiler: разные) 9 ✓ Any pattern: ➢ _ ✓ Constant pattern: ➢ 1 ➢ true ➢ TimeUnit.SECONDS ➢ null ✓ Type pattern: ➢ String s
10. Какие бывают паттерны? (spoiler: разные) 10 ✓ Any pattern: ➢ _ ✓ Constant pattern: ➢ 1 ➢ true ➢ TimeUnit.SECONDS ➢ null ✓ Type pattern: ➢ String s ✓ Var pattern: ➢ var x
11. Какие бывают паттерны? (spoiler: разные) 11 ✓ Any pattern: ➢ _ ✓ Constant pattern: ➢ 1 ➢ true ➢ TimeUnit.SECONDS ➢ null ✓ Type pattern: ➢ String s ✓ Var pattern: ➢ var x ✓ Deconstruction pattern: ➢ Optional(String s) ➢ Node(Node left, Node right)
12. 12 Pattern matching Match operator
13. 13 void test(Object obj) { if (obj matches _) { System.out.println("Are you crazy?"); } } Фи
14. 14 void test(Object obj) { if (obj matches _) { System.out.println("Are you crazy?"); } if (obj matches var anotherObj) { System.out.println("Oh well... " + anotherObj); } } Фи
15. 15 void test(Object obj) { if (obj matches _) { System.out.println("Are you crazy?"); } if (obj matches var anotherObj) { System.out.println("Oh well... " + anotherObj); } if (obj matches 42) { System.out.println("The Answer!"); } if (obj matches "Joker") { System.out.println("Joker!!!"); } } Фи
16. 16 void test(Object obj) { if (obj matches _) { System.out.println("Are you crazy?"); } if (obj matches var anotherObj) { System.out.println("Oh well... " + anotherObj); } if (obj matches 42) { System.out.println("The Answer!"); } if (obj matches "Joker") { System.out.println("Joker!!!"); } if (obj matches Number n) { System.out.println(n.longValue()); } if (obj matches Optional(Number n)) { System.out.println("Wrapped "+n.longValue()); } } Фи Ня
17. 17 void test(Object obj) { if (obj instanceof Number) { Number n = (Number) obj; System.out.println(n.longValue()); } } Java 1: Версия Java 1 Сколько раз пишем тип 3 2 1
18. 18 void test(Object obj) { if (obj instanceof Number) { Number n = (Number) obj; System.out.println(n.longValue()); } if (obj instanceof Number) { var n = (Number) obj; System.out.println(n.longValue()); } } Java 1: Версия Java 1 Сколько раз пишем тип 3 2 1 Java 10: 10
19. 19 void test(Object obj) { if (obj instanceof Number) { Number n = (Number) obj; System.out.println(n.longValue()); } if (obj instanceof Number) { var n = (Number) obj; System.out.println(n.longValue()); } if (obj matches Number n) { System.out.println(n.longValue()); } } Java 1: Java 10: Версия Java 1 Сколько раз пишем тип 3 2 1 10 100 Java 100:
20. 20 void test(Object obj) { if (obj instanceof Number) { Number n = (Number) obj; System.out.println(n.longValue()); } if (obj instanceof Number) { var n = (Number) obj; System.out.println(n.longValue()); } if (obj instanceof Number n) { System.out.println(n.longValue()); } }
21. 21 <expression> instanceof <type> <expression> instanceof <pattern>
22. 22 <expression> instanceof <type> <expression> instanceof <pattern> void test(Object obj) { if (obj instanceof String) { } }
23. 23 <expression> instanceof <type> <expression> instanceof <pattern> static final int String = 1; void test(Object obj) { if (obj instanceof String) { } } Problem, language designers?
24. 24 <expression> instanceof <type> <expression> instanceof <type pattern> <expression> instanceof <deconstruction pattern>
25. Консистентность Отдельный оператор matches Сломать старый instanceof
26. Консистентность
27. 27 Консистентность
28. 28 Pattern matching Match operator Scoping
29. 29 if(obj instanceof Number n) { System.out.println(n.longValue()); }
30. 30 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {}
31. 31 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {} if(obj instanceof Number n || n.longValue() == 0) {}
32. 32 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {} if(obj instanceof Number n || n.longValue() == 0) {}
33. 33 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {} if(obj instanceof Number n || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) {}
34. 34 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {} if(obj instanceof Number n || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) { System.out.println("Zero or not a number at all"); } else { System.out.println(n.longValue()); }
35. 35 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {} if(obj instanceof Number n || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) { System.out.println("Zero or not a number at all"); } else { System.out.println(n.longValue()); }
36. 36 if(obj instanceof Number n) { System.out.println(n.longValue()); } if(obj instanceof Number n && n.longValue() == 0) {} if(obj instanceof Number n || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) {} if(!(obj instanceof Number n) || n.longValue() == 0) { System.out.println("Zero or not a number at all"); } else { System.out.println(n.longValue()); } if(!(obj instanceof Number n) || n.longValue() == 0) { throw new RuntimeException("Zero or not a number at all"); } System.out.println(n.longValue());
37. 37 private Number n = 10; void test(Object obj) { if(!(obj instanceof Number n) || n.longValue() == 0) { System.out.println(n.longValue()); } else { System.out.println(n.longValue()); } }
38. 38 void test(Object obj) { if(obj instanceof Number) { System.out.println(obj.longValue()); } } Smart cast!
39. 39 Pattern matching Match operator Scoping Deconstruction
40. 40 void printShape(Shape shape) { if (shape instanceof Line(Point from, Point to)) { System.out.println("Line: "+from+" - "+to); } else if (shape instanceof Circle(Point(int x, int y), int radius)) { System.out.println("Circle with center "+x+", "+y+" and radius "+radius); } else { System.out.println("Unknown shape"); } }
41. 41 void printShape(Shape shape) { if (shape instanceof Line(Point from, Point to)) { System.out.println("Line: "+from+" - "+to); } else if (shape instanceof Circle(Point(int x, int y), int radius)) { System.out.println("Circle with center "+x+", "+y+" and radius "+radius); } else { System.out.println("Unknown shape"); } }
42. 42 object Person { def apply(name: String, age: Int, address: Address) = new Person(name, age, address) def unapply(p: Person): Option[Tuple3[String,Int,Address]] = Some((p.name, p.age, p.address)) ... } unapply Programming Scala, 2nd Edition by Alex Payne, Dean Wampler https://www.oreilly.com/library/view/programming-scala-2nd/9781491950135/ch04.html
43. 43 unapply Programming Scala, 2nd Edition by Alex Payne, Dean Wampler https://www.oreilly.com/library/view/programming-scala-2nd/9781491950135/ch04.html Option[A] Tuple3[T1,T2,T3] Integer int value T1 _1 T2 _2 T3 _3 A value object Person { def apply(name: String, age: Int, address: Address) = new Person(name, age, address) def unapply(p: Person): Option[Tuple3[String,Int,Address]] = Some((p.name, p.age, p.address)) ... }
44. 44 Deconstruct public class User { public string FirstName { get; set; } public string LastName { get; set; } public int Age { get; set; } public void Deconstruct(out string firstName, out string lastName) { firstName = FirstName; lastName = LastName; } public void Deconstruct(out string firstName, out string lastName, out int age) { firstName = FirstName; lastName = LastName; age = Age; } } Deconstructors for non-tuple types in C# 7.0 https://andrewlock.net/deconstructors-for-non-tuple-types-in-c-7-0/
45. 45 componentX class Point(_x: Double, _y: Double) { var x: Double = _x var y: Double = _y operator fun component1() = x operator fun component2() = y }
46. 46 componentX class Point(_x: Double, _y: Double) { var x: Double = _x var y: Double = _y fun rotate(angle: Double) { val _x = x*cos(angle)-y*sin(angle) val _y = x*sin(angle)+y*cos(angle) x = _x; y = _y; } operator fun component1() = x operator fun component2() = y }
47. 47 componentX class Point(_x: Double, _y: Double) { var x: Double = _x var y: Double = _y fun rotate(angle: Double) { synchronized(this) { val _x = x * cos(angle) - y * sin(angle) val _y = x * sin(angle) + y * cos(angle) x = _x; y = _y; } } operator fun component1() = synchronized(this) { x } operator fun component2() = synchronized(this) { y } }
48. 48 Язык Частичное применение JVM? Вложенность объектов Атомарность Перегрузка деконструкторов Имена в объявлении Scala ✓ ✓ 1-3 ✓   C#   0 ✓ +/- ✓ Kotlin  ✓ 0    Хочется ✓ ✓ 0 ✓ ✓ ✓
49. 49 void construct(String path, URI uri) { File f1 = new File(path); File f2 = new File(uri); }
50. 50 void construct(String path, URI uri) { File f1 = new File(path); File f2 = new File(uri); } void deconstruct(File f1, File f2) { if(f1 instanceof File(String path)) System.out.println(path); if(f2 instanceof File(URI uri)) System.out.println(uri); }
51. 51 http://cr.openjdk.java.net/~briangoetz/amber/pattern-match-translation.html public interface __Pattern<T> { /* A method handle used to preprocess a target into an intermediate carrier. The method handle accepts a match target and returns the intermediate carrier. If the isCarrierFree() method returns true, then this method need not be called, and null can be used for the carrier in other method handle */ MethodHandle preprocess(); /* A method handle used to determine if the match succeeds. It accepts the match target and the intermediate carrier returned by preprocess(), and returns a boolean indicating whether the match was successful. If the pattern is declared to always match, then this method need not be called. */ MethodHandle predicate(); /* A method handle to return the i'th component of a successful match. It accepts the match target and the intermediate carrier returned by preprocess(), and returns the component. */ MethodHandle component(int i); /* Indicates that this pattern does not make use of an intermediate carrier, and that the preprocess() method handle is a no-op. Combinators exploit carrier freedom to reduce unnecessary allocation. */ boolean isCarrierFree(); /* Returns the pattern descriptor, which is a MethodType whose return type is the match target, and whose parameter types are the components of the match. */ MethodType descriptor(); }
52. 52 class Point { private int x, y; Point(int x, int y) { this.x = x; this.y = y; } extractor Point(int x, int y) { x = this.x; y = this.y; } }
53. 53 class Point { private int x, y; Point(int x, int y) { this.x = x; this.y = y; } extractor Point(int x, int y) { x = this.x; y = this.y; } }
54. 54 Pattern matching Deconstruction Match operator Scoping Record classes
55. 55 record Point(int x, int y);
56. 56 ✓ Как назвать геттеры? getX()? Или просто x()? ✓ Нужна ли изменяемость? ➢ Генерировать ли сеттеры (и как их назвать)? ➢ Что будет по умолчанию? Писать final для неизменяемых или non-final для изменяемых? ➢ Генерировать ли конструктор по умолчанию? ➢ Генерировать ли clone()? ✓ Можно ли добавлять дополнительные поля (кэш для вычисляемого значения)? ✓ Как установить инварианты (requireNonNull, a < b и т. д.)? ✓ Как нормализовать? (a < 0 -> a = 0) ✓ В каком порядке генерировать поля в equals? ✓ Как конкретно сравнивать? ➢ Поле-массив: Arrays.equals? ➢ Поле-double: ==? Double.compare? ✓ Может ли record реализовать интерфейс? ✓ Может ли record расширить (абстрактный) класс с полями? ✓ Можно ли расширить record другим record? ✓ Можно ли расширить record обычным классом?
57. 57 ✓ Как назвать геттеры? getX()? Или просто x()? ✓ Нужна ли изменяемость? ➢ Генерировать ли сеттеры (и как их назвать)? ➢ Что будет по умолчанию? Писать final для неизменяемых или non-final для изменяемых? ➢ Генерировать ли конструктор по умолчанию? ➢ Генерировать ли clone()? ✓ Можно ли добавлять дополнительные поля (кэш для вычисляемого значения)? ✓ Как установить инварианты (requireNonNull, a < b и т. д.)? ✓ Как нормализовать? (a < 0 -> a = 0) ✓ В каком порядке генерировать поля в equals? ✓ Как конкретно сравнивать? ➢ Поле-массив: Arrays.equals? ➢ Поле-double: ==? Double.compare? ✓ Может ли record реализовать интерфейс? ✓ Может ли record расширить (абстрактный) класс с полями? ✓ Можно ли расширить record другим record? ✓ Можно ли расширить record обычным классом?
58. 58 ✓ Как назвать геттеры? getX()? Или просто x()? ✓ Нужна ли изменяемость? ➢ Генерировать ли сеттеры (и как их назвать)? ➢ Что будет по умолчанию? Писать final для неизменяемых или non-final для изменяемых? ➢ Генерировать ли конструктор по умолчанию? ➢ Генерировать ли clone()? ✓ Можно ли добавлять дополнительные поля (кэш для вычисляемого значения)? ✓ Как установить инварианты (requireNonNull, a < b и т. д.)? ✓ Как нормализовать? (a < 0 -> a = 0) ✓ В каком порядке генерировать поля в equals? ✓ Как конкретно сравнивать? ➢ Поле-массив: Arrays.equals? ➢ Поле-double: ==? Double.compare? ✓ Может ли record реализовать интерфейс? ✓ Может ли record расширить (абстрактный) класс с полями? ✓ Можно ли расширить record другим record? ✓ Можно ли расширить record обычным классом?
59. 59 Pattern matching Deconstruction Match operator Record classes Scoping Preconditions
60. 60 record Range(int lo, int hi) { // Explicit default constructor @Override public Range(int lo, int hi) { // validation logic if (lo > hi) throw new IllegalArgumentException(...); // delegate to default constructor default.this(lo, hi); } }
61. 61 Pattern matching Preconditions Deconstruction Match operator Record classes Scoping Static-before- this-super
62. 62 class Point { int x, y; Point(int x, int y) { this.x = x; this.y = y; } } class NonNullPoint extends Point { NonNullPoint(int x, int y) { if (x == 0 && y == 0) throw new IllegalArgumentException(); super(x, y); } } http://hg.openjdk.java.net/amber/amber/branches -> stats-before-this-super
63. 63 record Range(int lo, int hi) { // Explicit default constructor @Override public Range(int lo, int hi) { // validation logic if (lo > hi) throw new IllegalArgumentException(...); // delegate to default constructor default.this(lo, hi); } }
64. 64 record Range(int lo, int hi) requires (lo <= hi) { }
65. 65 record Range(int lo, int hi) { // Explicit default constructor @Override public Range(int lo, int hi) { // validation logic if (lo > hi) { int tmp = lo; lo = hi; hi = tmp; } // delegate to default constructor default.this(lo, hi); } }
66. 66 void test(Point p) { if(p instanceof Point(int x, int y)) { System.out.println(x+"; "+y); } }
67. 67 Pattern matching Static-before- this-super Preconditions Deconstruction Match operator Record classes Scoping Let operator
68. 68 void test(Point p) { let Point(int x, int y) = p; System.out.println(x+"; "+y); }
69. 69 void test(Object p) { let Point(int x, int y) = p; System.out.println(x+"; "+y); }
70. 70 void test(Object p) { let Point(int x, int y) = p else throw new IllegalArgumentException("Oops"); System.out.println(x+"; "+y); }
71. 71 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Scoping Enhanced switch
72. 72 void printObject(Object obj) { switch(obj) { case String s: System.out.println("Строка-шмока: "+s.trim()); break; case Integer i: System.out.println("Целое-шмелое: "+i); break; case Number n: System.out.println("Число-шмисло: "+n); break; default: System.out.println("Что-то с чем-то"); } }
73. 73 void printObject(Object obj) { switch(obj) { case String s: System.out.println("Строка-шмока: "+s.trim()); break; case Number n: System.out.println("Число-шмисло: "+n); break; case Integer i: System.out.println("Целое-шмелое: "+i); break; default: System.out.println("Что-то с чем-то"); } }
74. 74 void printObject(Object obj) { switch(obj) { case String s: System.out.println("Строка-шмока: "+s.trim()); break; case Number n: System.out.println("Число-шмисло: "+n); break; case Integer i: System.out.println("Целое-шмелое: "+i); break; default:// == case _: System.out.println("Что-то с чем-то"); } }
75. 75 void switchTest(int i) { switch (i) { case 1: System.out.println("One"); break; default: System.out.println("Other"); break; case 2: System.out.println("Two"); break; } }
76. Консистентность
77. 77 Консистентность
78. 78 Не мы такие, жизнь такая.
79. 79 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Scoping Enhanced switch Guards
80. 80 void quote(Object obj) { switch (obj) { case Integer i where i < 0: System.out.println("Вы не подскажете, сколько сейчас градусов ниже нуля?"); break; case Double d where Double.isInfinite(d): System.out.println("Бесконечность не предел!"); break; case Number n: System.out.println("Цифры никогда не врут"); } }
81. 81 void quote(Object obj) { switch (obj) { case Integer i where i < 0: System.out.println("Вы не подскажете, сколько сейчас градусов ниже нуля?"); break; case Double d where Double.isInfinite(d): System.out.println("Бесконечность не предел!"); break; case Number n: System.out.println("Цифры никогда не врут"); } } obj = 5
82. 82 void quote(Object obj) { switch (obj) { case Integer i: if (i < 0) { System.out.println("Вы не подскажете, сколько сейчас градусов ниже нуля?"); } break; case Double d: if (Double.isInfinite(d)) { System.out.println("Бесконечность не предел!"); } break; case Number n: System.out.println("Цифры никогда не врут"); } } obj = 5
83. 83 void quote(Object obj) { switch (obj) { case Integer i: if (i >= 0) continue; System.out.println("Вы не подскажете, сколько сейчас градусов ниже нуля?"); break; case Double d: if (Double.isFinite(d)) continue; System.out.println("Бесконечность не предел!"); break; case Number n: System.out.println("Цифры никогда не врут"); } } Continue to the rescue!
84. 84 for(int i=0; i<10; i++) { switch (i) { case 1: System.out.println("one"); continue; case 2: System.out.println("two"); break; default: System.out.println("other"); } }
85. 85 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Scoping Enhanced switch Guards Nullability Матчит ли String s значение null?
86. 86 if (obj instanceof String s) { System.out.println(s.length()); }
87. 87 if (obj instanceof String s) { System.out.println(s.length()); } switch (obj) { case String s: System.out.println("String "+s); break; case Integer i: System.out.println("Integer "+i); break; default: System.out.println("other"); break; }
88. 88 switch (str) { case "JPoint": System.out.println("Бордюр"); break; case "Joker": System.out.println("Поребрик"); break; default:// == case _: System.out.println("Загогулина вдоль дороги"); break; }
89. 89 switch (str) { case "JPoint": System.out.println("Бордюр"); break; case "Joker": System.out.println("Поребрик"); break; case null: System.out.println("Тлен"); break; default:// == case _: System.out.println("Загогулина вдоль дороги"); break; }
90. Консистентность
91. 91 Консистентность
92. 92 switch (str) { case "JPoint": System.out.println("Бордюр"); break; case "Joker": System.out.println("Поребрик"); break; case null: default:// == case _: System.out.println("Загогулина вдоль дороги"); break; }
93. 93 switch (str) { case "JPoint": System.out.println("Бордюр"); break; case "Joker": System.out.println("Поребрик"); break; case _: System.out.println("Загогулина вдоль дороги"); break; }
94. 94 default – это…
95. 95 default – это case Object _
96. 96 default – это case Object _, если switch не по примитиву; case _, если switch по примитиву.
97. 97 default – это case Object _, если switch не по примитиву; case _, если switch по примитиву. C is for Consistency
98. 98 record Node(String name, Node left, Node right) requires name != null { }
99. 99 record Node(String name, Node left, Node right) requires name != null { static Node leaf(String name) { return new Node(name, null, null); } }
100. 100 record Node(String name, Node left, Node right) requires name != null { static Node leaf(String name) { return new Node(name, null, null); } } void printIfNode(Object obj) { if (obj instanceof Node(String name, Node left, Node right)){ System.out.println("Name = " + name); System.out.println("Left = " + left); System.out.println("Right = " + right); } }
102. 102 НУЛЛОМАНИЯ ВЫХОД ЕСТЬ NULLABLE PATTERNS Реабилитация-Программистов.01 Бесплатные консультации тимлидам Телефон доверия 03
103. 103 void printIfNode(Object obj) { if (obj instanceof Node(String name, Node? left, Node? right)){ System.out.println("Name = " + name); System.out.println("Left = " + left); System.out.println("Right = " + right); } }
104. 104 Какая оригинальная мысль! void printIfNode(Object obj) { if (obj instanceof Node(String name, Node? left, Node? right)){ System.out.println("Name = " + name); System.out.println("Left = " + left); System.out.println("Right = " + right); } }
105. 105 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Nullability Nullable patterns Scoping Enhanced switch Guards Switch expressions
106. 106 void printObject(Object obj) { switch(obj) { case String s: System.out.println("Строка-шмока: "+s.trim()); break; case Integer i: System.out.println("Целое-шмелое: "+i); break; case Number n: System.out.println("Число-шмисло: "+n); break; default: System.out.println("Что-то с чем-то"); } }
107. 107 void printObject(Object obj) { System.out.println(switch (obj) { case String s -> "Строка-шмока: " + s.trim(); case Integer i -> "Целое-шмелое: " + i; case Number n -> "Число-шмисло: " + n; default -> "Что-то с чем-то"; }); }
108. 108 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> 0; }; }
109. 109 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> 0; }; } void test(Object obj) { Number n = obj instanceof Integer ? (Integer)obj : obj instanceof Double ? (Double)obj : 0; }
110. 110 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> 0; }; } void test(Object obj) { Number n = (Double) (obj instanceof Integer ? (double)(int)(Integer)obj : obj instanceof Double ? (double)(Double)obj : (double) 0); } Это заботливо добавит компилятор
111. Консистентность
112. 112 Консистентность
113. 113 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> … }; }
114. 114 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> throw new IllegalArgumentException(); }; }
115. 115 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> throw new IllegalArgumentException(); }; } void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: throw new IllegalArgumentException(); }; }
116. 116 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> throw new IllegalArgumentException(); }; } void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: throw new IllegalArgumentException(); }; }
117. 117 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: LOG.debug("Внезапно!"); 0.0; } }
118. 118 final Map<String, Integer> errorCounts = new HashMap<>(); void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: this.errorCounts.merge("Unexpected value", 1, Integer::sum); // А нолик написать и забыли :( } }
119. 119 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: LOG.debug("Внезапно!"); return 0.0; } }
120. 120 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: LOG.debug("Внезапно!"); return 0.0; } } void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default -> { LOG.debug("Внезапно!"); return 0.0; } } }
121. 121 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Nullability Nullable patterns Scoping Enhanced switch Guards Switch expressions Break-return
122. 122 void test(Object obj) { Number n = switch (obj) { case Integer i -> i; case Double d -> d; default: LOG.debug("Внезапно!"); break 0.0; } }
123. 123 OOPS_I_DID_IT_AGAIN: for(int i=0; i<10; i++) { int OOPS_I_DID_IT_AGAIN = 5; System.out.println(switch(i) { case 1 -> 10; default: break OOPS_I_DID_IT_AGAIN; }); }
124. 124 enum Size { L, M, S } String asString(Size size) { return switch(size) { case L -> "Large"; case M -> "Middle"; case S -> "Small"; }; }
125. 125 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Nullability Nullable patterns Scoping Enhanced switch Guards Switch expressions Break-return Exhaustiveness
126. 126 abstract class JavaConference {} final class Joker extends JavaConference {} final class JPoint extends JavaConference {} String asString(JavaConference conf) { return switch(conf) { case Joker c -> "Joker: "+c; case JPoint c -> "JPoint: "+c; }; }
127. 127 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Nullability Nullable patterns Scoping Enhanced switch Guards Exhaustiveness Switch expressions Break-return Sealed types
128. 128 abstract sealed class JavaConference { class Joker extends JavaConference {} class JPoint extends JavaConference {} } String asString(JavaConference conf) { return switch(conf) { case Joker c -> "Joker: "+c; case JPoint c -> "JPoint: "+c; }; }
129. 129 Pattern matching Static-before- this-super Preconditions Deconstruction Let operator Match operator Record classes Nullability Nullable patterns Scoping Enhanced switch Guards Sealed types Exhaustiveness Switch expressions Break-return
130. Что почитать: 130 JEP 305: Pattern Matching http://openjdk.java.net/jeps/305 JEP 325: Switch Expressions (Preview) http://openjdk.java.net/jeps/325 Data Classes for Java http://cr.openjdk.java.net/~briangoetz/amber/datum.html Pattern Matching for Java http://cr.openjdk.java.net/~briangoetz/amber/pattern-match.html Pattern Matching for Java -- Semantics http://cr.openjdk.java.net/~briangoetz/amber/pattern-semantics.html Pattern Matching for Java -- Runtime and Translation http://cr.openjdk.java.net/~briangoetz/amber/pattern-match-translation.html The Amber Expert Group mailing list http://mail.openjdk.java.net/pipermail/amber-spec-experts/
131. https://twitter.com/tagir_valeev https://habrahabr.ru/users/lany https://github.com/amaembo tagir.valeev@jetbrains.com Спасибо за внимание — jetbrains.com 131