The beauty of Kotlin functions

Type of Kotlin functions and why inline functions appeared in the Kotlin.

Transcript

1. The beauty of Kotlin functions Type of Kotlin functions and why inline functions appeared in the Kotlin.
2. Who am I? 2
3. The beauty of Kotlin functions Type of Kotlin functions and why inline functions appeared in the Kotlin.
4. fun 4
5. Functions in Kotlin fun nameOfFunction(param1: Type1?, param2: Type2,..., paramN: TypeN): Type? { // Body of the method here } 5
6. Functions in Kotlin fun nameOfFunction(param1: Type1?, param2: Type2,..., paramN: TypeN): Type? { // Body of the method here } 6
7. Functions in Kotlin fun nameOfFunction(param1: Type1?, param2: Type2,..., paramN: TypeN): Type? { // Body of the method here } 7
8. Аргументи по замовчуванню fun reformat(str: String, normalizeCase: Boolean = true, upperCaseFirstLetter: Boolean = true, divideByCamelHumps: Boolean = false, wordSeparator: Char = ' ') { ... } 8
9. Аргументи по замовчуванню reformat(str) 9
10. Аргументи по замовчуванню reformat(str) reformat(str, true, true, false, '_') 10
11. Аргументи по замовчуванню reformat(str) reformat(str, true, true, false, '_') reformat(str, normalizeCase = true, upperCaseFirstLetter = true, divideByCamelHumps = false, wordSeparator = '_' ) 11
12. Аргументи по замовчуванню reformat(str) reformat(str, true, true, false, '_') reformat(str, normalizeCase = true, upperCaseFirstLetter = true, divideByCamelHumps = false, wordSeparator = '_' ) reformat(str, wordSeparator = '_') 12
13. Functions in Kotlin fun nameOfFunction(param1: Type1?, param2: Type2,..., paramN: TypeN): Type? { // Body of the method here } 13
14. Результуючий тип Unit fun printHello(name: String?) { ... } 14
15. Результуючий тип Unit fun printHello(name: String?) { ... } fun printHello(name: String?): Unit { ... } 15
16. Результуючий тип Unit fun printHello(name: String?): Unit { if (name != null) println("Hello ${name}") else println("Hi there!") // return // return Unit } 16
17. Functions in Kotlin fun nameOfFunction(param1: Type1?, param2: Type2,..., paramN: TypeN): Type? { // Body of the method here } 17
18. Функція з одним виразом fun double(x: Int): Int = x * 2 18
19. Функція з одним виразом fun double(x: Int): Int = x * 2 fun double(x: Int) = x * 2 19
20. Не фіксоване число аргументів fun <T> asList(vararg ts: T): List<T> { val result = ArrayList<T>() for (t in ts) result.add(t) return result } 20
21. Не фіксоване число аргументів val list = asList(1, 2, 3) 21
22. Не фіксоване число аргументів val a = arrayOf(1, 2, 3) val list = asList(-1, 0, *a, 4) 22
23. Локальні функції fun dfs(graph: Graph) { fun dfs(current: Vertex, visited: Set<Vertex>) { if (!visited.add(current)) return for (v in current.neighbors) dfs(v, visited) } dfs(graph.vertices[0], HashSet()) } 23
24. Локальні функції fun dfs(graph: Graph) { val visited = HashSet<Vertex>() fun dfs(current: Vertex) { if (!visited.add(current)) return for (v in current.neighbors) dfs(v) } dfs(graph.vertices[0]) } 24
25. Функції-узагальнення (Generic Functions) fun <T> singletonList(item: T): List<T> { // ... } 25
26. Функції-узагальнення (Generic Functions) fun <T> singletonList(item: T): List<T> { // ... } 26
27. Функції-узагальнення (Generic Functions) fun <T> singletonList(item: T): List<T> { // ... } 27
28. Функції-узагальнення (Generic Functions) fun <T> singletonList(item: T): List<T> { // ... } val l = singletonList<Int>(1) 28
29. Функції-узагальнення (Generic Functions) fun <T> singletonList(item: T): List<T> { // ... } val l = singletonList<Int>(1) val l = singletonList(1) 29
30. Функції-розширення (Extension Functions) fun MutableList<Int>.swap(index1: Int, index2: Int) { val tmp = this[index1] this[index1] = this[index2] this[index2] = tmp } 30
31. Функції-розширення (Extension Functions) fun MutableList<Int>.swap(index1: Int, index2: Int) { val tmp = this[index1] this[index1] = this[index2] this[index2] = tmp } 31
32. Функції-розширення (Extension Functions) fun MutableList<Int>.swap(index1: Int, index2: Int) { val tmp = this[index1] this[index1] = this[index2] this[index2] = tmp } 32
33. Функції-розширення (Extension Functions) fun MutableList<Int>.swap(index1: Int, index2: Int) { val tmp = this[index1] this[index1] = this[index2] this[index2] = tmp } val l = mutableListOf(1, 2, 3) l.swap(0, 2) 33
34. Функції-розширення (Extension Functions) fun MutableList<Int>.swap(index1: Int, index2: Int) { val tmp = this[index1] this[index1] = this[index2] this[index2] = tmp } fun <T> MutableList<T>.swap(index1: Int, index2: Int) { val tmp = this[index1] this[index1] = this[index2] this[index2] = tmp } 34
35. Функції-розширення (Extension Functions) fun Any?.toString(): String { if (this == null) return "null" return toString() } 35
36. Посилання на функції fun isOdd(x: Int) = x % 2 != 0 36
37. Посилання на функції fun isOdd(x: Int) = x % 2 != 0 val numbers = listOf(1, 2, 3) println(numbers.filter(::isOdd)) // виведе [1, 3] 37
38. Посилання на функції fun isOdd(x: Int) = x % 2 != 0 fun isOdd(s: String) = s == "brillig" || s == "slithy" || s == "tove" val numbers = listOf(1, 2, 3) println(numbers.filter(::isOdd)) // посилається на isOdd(x: Int) 38
39. Посилання на функції val predicate = ::isOdd // посилається на isOdd 39
40. Посилання на функції val predicate = ::isOdd // посилається на isOdd val predicate: (String) -> Boolean = ::isOdd // посилається на isOdd(x: String) 40
41. Приклад: композиція функцій fun <A, B, C> compose(f: (B) -> C, g: (A) ->B) : (A) -> C { return { x -> f(g(x)) } } 41
42. Приклад: композиція функцій fun <A, B, C> compose(f: (B) -> C, g: (A) ->B) : (A) -> C { return { x -> f(g(x)) } } 42
43. Приклад: композиція функцій fun <A, B, C> compose(f: (B) -> C, g: (A) ->B) : (A) -> C { return { x -> f(g(x)) } } 43 fun isOdd(x: Int) = x % 2 != 0 fun length(s: String) = s.length val oddLength = compose(::isOdd, ::length) val strings = listOf("a", "ab", "abc") println(strings.filter(oddLength)) // виведе "[a, abc]"
44. Приклад: композиція функцій fun <A, B, C> compose(f: (B) -> C, g: (A) ->B) : (A) -> C { return { x -> f(g(x)) } } 44 fun isOdd(x: Int) = x % 2 != 0 fun length(s: String) = s.length val oddLength = compose(::isOdd, ::length) val strings = listOf("a", "ab", "abc") println(strings.filter(oddLength)) // виведе "[a, abc]"
45. Прив'язані функції val numberRegex = "\\d+".toRegex() println(numberRegex.matches("29")) // виведе "true" 45
46. Прив'язані функції val numberRegex = "\\d+".toRegex() println(numberRegex.matches("29")) // виведе "true" val isNumber = numberRegex::matches println(isNumber("29")) // виведе "true" 46
47. Прив'язані функції val numberRegex = "\\d+".toRegex() println(numberRegex.matches("29")) // виведе "true" val isNumber = numberRegex::matches println(isNumber("29")) // виведе "true" val strings = listOf("abc", "124", "a70") println(strings.filter(isNumber)) // виведе "[124]" 47
48. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 48
49. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 49
50. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 50
51. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 51
52. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 52
53. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 53
54. Функції вищого порядку fun <T> lock(lock: Lock, body: () -> T): T{ lock.lock() try{ return body() } finally { lock.unlock() } } 54
55. Функції вищого порядку fun toBeSynchronized() = sharedResource.operation() val result = lock (lock, ::toBeSynchronized) 55
56. Функції вищого порядку val result = lock(lock, { sharedResource.operation() }) 56
57. Лямбда-вирази • Лямбда-вираз завжди укладено в фігурні дужки {} • Параметри (якщо вони є) оголошені до знака -> (допустимо не вказувати параметри) • Тіло виразу випливає після знака -> val sum = { x: Int, y: Int -> x + y } 57
58. Лямбда-вирази val sum = { x: Int, y: Int -> x + y } val sum: (Int, Int) -> Int = { x, y -> x + y } 58
59. Лямбда-вирази ints.filter { it > 0 } //Ця константа має тип '(it: Int) -> Boolean' 59
60. Лямбда-вирази max(strings, { a, b -> a.length < b.length }) 60
61. Лямбда-вирази max(strings, { a, b -> a.length < b.length }) fun compare(a: String, b: String): Boolean = a.length < b.length 61
62. Лямбда-вирази fun <T> max(collection: Collection<T>, less: (T, T) -> Boolean): T? { var max: T? = null for (it in collection) if (max == null || less(max, it)) max = it return max } 62
63. Лямбда-вирази fun <T> max(collection: Collection<T>, less: (T, T) -> Boolean): T? { var max: T? = null for (it in collection) if (max == null || less(max, it)) max = it return max } 63
64. Лямбда-вирази fun <T> max(collection: Collection<T>, less: (T, T) -> Boolean): T? { var max: T? = null for (it in collection) if (max == null || less(max, it)) max = it return max } 64
65. Лямбда-вирази lock(lock, { sharedResource.operation() }) 65
66. Лямбда-вирази lock(lock, { sharedResource.operation() }) lock (lock) { sharedResource.operation() } 66
67. Лямбда-вирази fun <T, R> List<T>.map(transform: (T) -> R): List<R> { val result = arrayListOf<R>() for (item in this) result.add(transform(item)) return result } 67
68. Лямбда-вирази fun <T, R> List<T>.map(transform: (T) -> R): List<R> { val result = arrayListOf<R>() for (item in this) result.add(transform(item)) return result } 68
69. Лямбда-вирази val doubled = ints.map { it -> it * 2 } 69
70. Лямбда-вирази ints.map { it * 2 } 70
71. Лямбда-вирази strings.filter { it.length == 5 }.sortBy { it }.map { it.toUpperCase() } 71
72. Анонімні функції fun(x: Int, y: Int): Int = x + y fun(x: Int, y: Int): Int { return x + y } 72
73. Замикання var sum = 0 ints.filter { it > 0 }.forEach { sum += it } print(sum) 73
74. Вбудовані (inline) функції Ключове словом inline, яке підказує компілятору, що замість виклику функції він повинен вбудовувати її тіло в те місце, де відбувається виклик. 74
75. Вбудовані (inline) функції Правило просте: якщо ваш код безліч разів викликає функцію, приймаючу лямбда в якості аргументу, краще зробити її inline-функцією. 75
76. Вбудовані (inline) функції lock(l) { foo() } 76
77. Вбудовані (inline) функції l.lock() try { foo() } finally { l.unlock() } 77
78. Вбудовані (inline) функції inline fun <T> lock(lock: Lock, body: () -> T): T { // ... } 78
79. noinline inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) { // ... } 79
80. Нелокальні return fun foo() { ordinaryFunction { return // ERROR: can not make `foo` return here } } 80
81. Нелокальні return fun foo() { inlineFunction { return // OK: the lambda is inlined } } 81
82. Нелокальні return fun hasZeros(ints: List<Int>): Boolean { ints.forEach { if (it == 0) return true // returns from hasZeros } return false } 82
83. Crossinline inline fun f(crossinline body: () -> Unit) { val f = object: Runnable { override fun run() = body() } // ... } 83
84. Дякую за увагу Q&A 84