Taro Nagasawa
April 01, 2018
670

# 変態文法とKotlin Puzzlers

April 01, 2018

## Transcript

4. None

無名関数

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

Stringの拡張関数を 無名関数として定義して 即実行している
9. None

{}{}{}
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つの引数を取る関数）の即時実行で、 ラムダ式を渡している
18. None

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())() }
24. None

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()

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) コンパイルエラー