変態文法とKotlin Puzzlers

14c9795d267f5b85abb98ca5e8780646?s=47 Taro Nagasawa
April 01, 2018
530

変態文法とKotlin Puzzlers

14c9795d267f5b85abb98ca5e8780646?s=128

Taro Nagasawa

April 01, 2018
Tweet

Transcript

  1. 変態文法と Kotlin Puzzlers

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

  3. 変態文法編

  4. None
  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の拡張関数を 無名関数として定義して 即実行している
  9. None
  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つの引数を取る関数)の即時実行で、 ラムダ式を渡している
  18. None
  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())() }
  24. None
  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) コンパイルエラー