Tweet
Tweet

Slide 1

Slide 1 text

変態文法と Kotlin Puzzlers

Slide 2

Slide 2 text

長澤 太郎 ● エムスリー株式会社 ● 日本Kotlinユーザグループ代表

Slide 3

Slide 3 text

変態文法編

Slide 4

Slide 4 text

No content

Slide 5

Slide 5 text

fun f(x: String) { x.fun String.() { println(toUpperCase()) }() }

Slide 6

Slide 6 text

fun f(x: String) { x.fun String.() { println(toUpperCase()) }() } 無名関数

Slide 7

Slide 7 text

fun f(x: String) { x.fun String.() { println(toUpperCase()) }() } 即時実行

Slide 8

Slide 8 text

fun f(x: String) { x.fun String.() { println(toUpperCase()) }() } Stringの拡張関数を 無名関数として定義して 即実行している

Slide 9

Slide 9 text

No content

Slide 10

Slide 10 text

val x = object: (()->Unit)->Unit by {}{}{}

Slide 11

Slide 11 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{}

Slide 12

Slide 12 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0)->Unit by {}{}{} 関数型() -> Unit は インタフェースFunction0

Slide 13

Slide 13 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0)->Unit by {}{}{} object: Function1, Unit> by {}{}{}

Slide 14

Slide 14 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0)->Unit by {}{}{} object: Function1, Unit> by {}{}{} インタフェースのオブジェクト式（＝無名クラス化）

Slide 15

Slide 15 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0)->Unit by {}{}{} object: Function1, Unit> by {}{}{} 何もしない関数であるラムダ式{}にbyにより委譲

Slide 16

Slide 16 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0)->Unit by {}{}{} object: Function1, Unit> by {}{}{} 無名クラスの本体ブロック

Slide 17

Slide 17 text

val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0)->Unit by {}{}{} object: Function1, Unit> by {}{}{} 無名クラス（1つの引数を取る関数）の即時実行で、 ラムダ式を渡している

Slide 18

Slide 18 text

No content

Slide 19

Slide 19 text

fun main(args: Array) { x.(y())() }

Slide 20

Slide 20 text

fun main(args: Array) { x.(y())() } xのメソッド呼び出し or 拡張関数呼び出し

Slide 21

Slide 21 text

fun main(args: Array) { x.(y())() } y()呼び出しによって、xの拡張関数を得る

Slide 22

Slide 22 text

val x = 0 fun y(): Int.()->Unit = {} fun main(args: Array) { x.(y())() }

Slide 23

Slide 23 text

object x fun y(): x.()->Unit = {} fun main(args: Array) { x.(y())() }

Slide 24

Slide 24 text

No content

Slide 25

Slide 25 text

fun Nothing.foo() {}

Slide 26

Slide 26 text

fun Nothing.foo() {} listOf().first().foo()

Slide 27

Slide 27 text

fun Nothing.foo() {} listOf().first().foo() null?.foo()

Slide 28

Slide 28 text

fun Nothing.foo() {} listOf().first().foo() null?.foo() return.foo()

Slide 29

Slide 29 text

fun Nothing.foo() {} listOf().first().foo() null?.foo() return.foo() (throw Exception()).foo()

Slide 30

Slide 30 text

nullがNothingであるおかげで... nullがあらゆるnull許容型変数に代入可能 val a: String? = null val b: Int? = null val c: List? = null returnやthrowがNothingであるおかげで... Nullable -> NotNull 変換が捗る val x: Foo = xx ?: return val y: Bar = yy ?: throw Exception()

Slide 31

Slide 31 text

Kotlin Puzzlers編

Slide 32

Slide 32 text

fun Array.main() = "Hello, world" ------------------------------------------- 1) 「Hello, world」と出力される 2) 何も起こらない 3) コンパイルエラー 4) 実行時例外

Slide 33

Slide 33 text

fun Array.main() = "Hello, world" ------------------------------------------- 1) 「Hello, world」と出力される 2) 何も起こらない 3) コンパイルエラー 4) 実行時例外

Slide 34

Slide 34 text

fun main(args: Array) { { return@main } print("A") run { return@main } print("B") } -------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー

Slide 35

Slide 35 text

fun main(args: Array) { { return@main } print("A") run { return@main } print("B") } -------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー

Slide 36

Slide 36 text

fun main(args: Array) { val f: String.() -> Unit = ::print "A".f() f("B") } --------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー

Slide 37

Slide 37 text

fun main(args: Array) { val f: String.() -> Unit = ::print "A".f() f("B") } --------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー

Slide 38

Slide 38 text

fun main(args: Array) { var a: Int? = -128 val b: Int? = -129 print(a === -128); print(", ") print(a?.minus(1) === -129); print(", ") print(b === -129) } --------------------------------------------- 1) 「true, true, true」と出力される 2) 「true, false, true」と出力される 3) 「true, true, false」と出力される 4) コンパイルエラー

Slide 39

Slide 39 text

fun main(args: Array) { var a: Int? = -128 val b: Int? = -129 print(a === -128); print(", ") print(a?.minus(1) === -129); print(", ") print(b === -129) } --------------------------------------------- 1) 「true, true, true」と出力される 2) 「true, false, true」と出力される 3) 「true, true, false」と出力される 4) コンパイルエラー

Slide 40

Slide 40 text

fun main(args: Array) { val (x) = object { operator fun component0() = "Zero" operator fun component1() = "One" override fun toString() = "Unknown" } println((x)) } --------------------------------------------- 1) 「Zero」と出力される 2) 「One」と出力される 3) 「Unknown」と出力される 4) コンパイルエラー

Slide 41

Slide 41 text

fun main(args: Array) { val (x) = object { operator fun component0() = "Zero" operator fun component1() = "One" override fun toString() = "Unknown" } println((x)) } --------------------------------------------- 1) 「Zero」と出力される 2) 「One」と出力される 3) 「Unknown」と出力される 4) コンパイルエラー