Kotlinの関数参照 #Kotlin_Sansan

Qiita記事をそのままスライド化。
http://qiita.com/ngsw_taro/items/f2f70296828ee75491a2

Transcript

1. Kotlinの関数参照 2017-04-04 Kotlin勉強会@Sansan 長澤 太郎
2. 自己紹介 • たろう @ngsw_taro • エムスリー株式会社のAndroidエンジニア • Kotlinエバンジェリスト（自称） • 著書「Kotlinスタートブック」
3. もくじ 1. 関数参照 2. レシーバが未定のメソッド参照 3. レシーバが確定のメソッド参照 4. プロパティも関数
4. 1. 関数参照
5. 関数オブジェクト • Kotlinでは定義済みの関数のオブジェクトを得ること ができる • 関数オブジェクトを変数に代入したり、別の関数の引 数に渡したり、持ち回して便利に使える。 • 必ずしもオブジェクトではない（ヒント: インライン関 数）
6. コード例 // 普通の関数 fun succ(n: Int): Int = n + 1 // 関数オブジェクトを取得し、変数に代入 val myFunc: (Int)->Int = ::succ // ^^^^^^^^^^ 関数型 // メソッド呼び出しによる元の関数の計算を実行 myFunc.invoke(5) //=> 6 // 演算子オーバロードによる関数らしい記述 myFunc(7) //=> 8
7. 応用例 // 高階関数の引数に「関数参照」を渡す listOf(1, 2, 3).map(::succ) //=> [2, 3, 4] // ラムダ式を使えば同じ listOf(1, 2, 3).map { succ(it) } //=> [2, 3, 4] • ラムダ式は、文を手続き的に記述していく • 関数参照は、宣言的な記述になる
8. 2. レシーバが未定のメソッド参照
9. メソッド参照 • メソッドのオブジェクトも取得できる • この場合は、レシーバが未定 // 「型::メソッド名」という書式で取得 val foo: String.()->String = String::reversed // ^^^^^^^^^^^^^^^^^ 関数型 // メソッドっぽく呼び出せる "Kotlin".foo() //=> niltoK
10. 拡張関数もOK fun String.bold(): String = "**$this**" val baz: String.()->String = String::bold "Sansan".baz() //=> **Sansan**
11. 普通の関数型にもなるよ • A.(B)->Cという型は、(A, B)->Cと同じっぽい fun String.bold(): String = "**$this**" // 型どっちでもOK val aaa: String.()->String = String::bold val bbb: (String)->String = aaa // 呼び出し方どっちでもOK "hoge".aaa() //=> **hoge** aaa("fuga") //=> **fuga**
12. 高階関数で効果を発揮 "Hello".let { it.bold() } "Hello".let(String::bold) もしString.()->Stringが(String)->Stringと みなせなかったら、2行目の書き方がNGです。
13. 3. レシーバが確定のメソッド参照
14. Bound Function Reference • bound = 束縛された → レシーバが確定してるメソッド参照 • Kotlin 1.1から使用できる
15. コード例 // 「オブジェクト::メソッド名」の書式で取得 val succ: (Int)->Int = 1::plus succ(5) //=> 6 userRepository.findById(123L) ?.let { user -> user.copy(blocked = true) } ?.let(userRepository::update)
16. 4. プロパティも関数
17. プロパティも関数として扱える val prop: KProperty1<String, Int> = String::length prop.get("Taro") //=> 4 val func: (String) -> Int = prop func("Taro") //=> 4
18. 高階関数で効果を発揮 listOf("foo", "wa").map { it.length } // => [3, 2] listOf("foo", "wa").map(String::length) // => [3, 2] もしKProperty1<String, Int>が (String)->Stringとみなせなかったら、2行目の書き 方がNGです。
19. まとめ • 関数オブジェクトを使うと宣言的な記述ができる • ::hoge: 関数参照 • Foo::bar: メソッド参照 • foo::bar: レシーバ固定メソッド参照 (Bound Function Reference) • プロパティも関数オブジェクトになれる