変態文法とKotlin Puzzlers

Transcript

1. 変態文法と Kotlin Puzzlers
2. 長澤 太郎 • エムスリー株式会社 • 日本Kotlinユーザグループ代表
3. 変態文法編
5. fun f(x: String) { x.fun String.() { println(toUpperCase()) }() }
6. fun f(x: String) { x.fun String.() { println(toUpperCase()) }() } 無名関数
7. fun f(x: String) { x.fun String.() { println(toUpperCase()) }() } 即時実行
8. fun f(x: String) { x.fun String.() { println(toUpperCase()) }() } Stringの拡張関数を 無名関数として定義して 即実行している
10. val x = object: (()->Unit)->Unit by {}{}{}
11. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{}
12. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0<Unit>)->Unit by {}{}{} 関数型() -> Unit は インタフェースFunction0<Unit>
13. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0<Unit>)->Unit by {}{}{} object: Function1<Function0<Unit>, Unit> by {}{}{}
14. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0<Unit>)->Unit by {}{}{} object: Function1<Function0<Unit>, Unit> by {}{}{} インタフェースのオブジェクト式（＝無名クラス化）
15. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0<Unit>)->Unit by {}{}{} object: Function1<Function0<Unit>, Unit> by {}{}{} 何もしない関数であるラムダ式{}にbyにより委譲
16. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0<Unit>)->Unit by {}{}{} object: Function1<Function0<Unit>, Unit> by {}{}{} 無名クラスの本体ブロック
17. val x = object: (()->Unit)->Unit by {}{}{} object: (()->Unit)->Unit by {}{}{} object: (Function0<Unit>)->Unit by {}{}{} object: Function1<Function0<Unit>, Unit> by {}{}{} 無名クラス（1つの引数を取る関数）の即時実行で、 ラムダ式を渡している
19. fun main(args: Array<String>) { x.(y())() }
20. fun main(args: Array<String>) { x.(y())() } xのメソッド呼び出し or 拡張関数呼び出し
21. fun main(args: Array<String>) { x.(y())() } y()呼び出しによって、xの拡張関数を得る
22. val x = 0 fun y(): Int.()->Unit = {} fun main(args: Array<String>) { x.(y())() }
23. object x fun y(): x.()->Unit = {} fun main(args: Array<String>) { x.(y())() }
25. fun Nothing.foo() {}
26. fun Nothing.foo() {} listOf<Nothing>().first().foo()
27. fun Nothing.foo() {} listOf<Nothing>().first().foo() null?.foo()
28. fun Nothing.foo() {} listOf<Nothing>().first().foo() null?.foo() return.foo()
29. fun Nothing.foo() {} listOf<Nothing>().first().foo() null?.foo() return.foo() (throw Exception()).foo()
30. nullがNothingであるおかげで... nullがあらゆるnull許容型変数に代入可能 val a: String? = null val b: Int? = null val c: List<Foo>? = null returnやthrowがNothingであるおかげで... Nullable -> NotNull 変換が捗る val x: Foo = xx ?: return val y: Bar = yy ?: throw Exception()
31. Kotlin Puzzlers編
32. fun Array<String>.main() = "Hello, world" ------------------------------------------- 1) 「Hello, world」と出力される 2) 何も起こらない 3) コンパイルエラー 4) 実行時例外
33. fun Array<String>.main() = "Hello, world" ------------------------------------------- 1) 「Hello, world」と出力される 2) 何も起こらない 3) コンパイルエラー 4) 実行時例外
34. fun main(args: Array<String>) { { return@main } print("A") run { return@main } print("B") } -------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー
35. fun main(args: Array<String>) { { return@main } print("A") run { return@main } print("B") } -------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー
36. fun main(args: Array<String>) { val f: String.() -> Unit = ::print "A".f() f("B") } --------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー
37. fun main(args: Array<String>) { val f: String.() -> Unit = ::print "A".f() f("B") } --------------------------------------------- 1) 何も起こらない 2) 「A」と出力される 3) 「AB」と出力される 4) コンパイルエラー
38. fun main(args: Array<String>) { 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) コンパイルエラー
39. fun main(args: Array<String>) { 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) コンパイルエラー
40. fun main(args: Array<String>) { val (x) = object { operator fun component0() = "Zero" operator fun component1() = "One" override fun toString() = "Unknown" } println((x)) } --------------------------------------------- 1) 「Zero」と出力される 2) 「One」と出力される 3) 「Unknown」と出力される 4) コンパイルエラー
41. fun main(args: Array<String>) { val (x) = object { operator fun component0() = "Zero" operator fun component1() = "One" override fun toString() = "Unknown" } println((x)) } --------------------------------------------- 1) 「Zero」と出力される 2) 「One」と出力される 3) 「Unknown」と出力される 4) コンパイルエラー