Kotlin ラムダ式と関数型について

Question

今現在「初めてのアンドロイドプログラミング」という書籍で、kotlinの勉強をしております。

fun doLambda(x: Int, l:(Int) -> Int) = l(x)
doLambda(5, {it*2})

結果は10となります。
第一引数に受け取る値、第2引数に関数型で戻り値と受け取る値はInt型ですよと明示していると思われるのですが、
= l(x)っというのはこの関数自体の返却値で、合っているのでしょうか？

あまり理解できていないので、説明がうまくできません。
どなたか教えていただけないでしょうか？

Answer 1

ラムダを利用する場合と利用しない場合

次のコードがラムダを利用せずに記述したものになります。
doLambdaに与えられたIntをdoubleが2倍して返すだけです。

    fun double(i : Int) : Int {
        return i * 2
    }
    
    fun doLambda(i : Int) : Int {
        return double(i)
    }

次のコードが double をラムダで渡すようにしたものになります。

    fun doLambda(i: Int, l: (Int) -> Int): Int {
        return l(i)
    }

    fun main() {
        doLambda(2, { it * 2 })
    }

というようにラムダを利用すると、doLamdaで実行する
処理の一部を呼び出し側でカスタマイズできるようになります。

    fun doLambda(i: Int, l: (Int) -> Int): Int {
        return l(i)
    }

    fun main() {
        doLambda(2, { it * it}) // 2倍ではなく2乗を計算したいから変更
    }

冗長なコードがあるので、省略していく

上のコードのままでも特に動作には問題ありませんが、
少し冗長な記述があるので Kotlin の機能を利用して省略していきます。

単一式関数を利用すれば {} を省略できる

Kotlin では単一式関数という機能がサポートされているので、
関数に単一の式(1つの処理)のみ記述される場合は次のように{}を省略できます。

   // Before
   fun double(i : Int) : Int {
       return i * 2
   }

   // After
   fun double(i : Int) : Int = i * 2

   fun main() {
       doLambda(2, { it * 2 })
   }

単一式関数を利用すれば、戻り値を省略できる

また単一式関数で宣言されたとき、単一の式(1つの処理)の
戻り値の型が明確な場合には関数の戻り値を省略することができます。

   // Before
   fun double(i : Int) : Int = i * 2

   // After
   fun double(i : Int) = i * 2

   fun main() {
       doLambda(2, { it * 2 })
   }

というように Kotlin の機能を駆使して、
冗長な記述を省略していくと次のコードになります。

   fun double(i : Int) = i * 2

   fun main() {
       doLambda(2, { it * 2 })
   }

Comments

[kbayashi]

ラムダ式を利用しない場合と利用する場合のコード、さらにラムダ式で単一の式の場合はコードを簡潔にできることを丁寧に解説していただき、ありがとうございました。
ちなみに質問なんですが、kotlinでは関数を定義するときは、基本ラムダ式を利用するんですか？

[kaleidot725]

> kotlinでは関数を定義するときは、基本ラムダ式を利用するんですか？
普通の関数の定義して利用するのが基本だと思いますよ。
ラムダ式を利用すると確かに便利なシチュエーションはありますが、
特に Kotlin を学びはじめのときは使う必要がないかな〜と思っています。

[kbayashi]

返信ありがとうございます。
とりあえず普通の関数で色々作ってみて慣れてきたら使おうと思います～

Answer 2

第一引数に受け取る値、第2引数に関数型で戻り値と受け取る値はInt型ですよと明示していると思われるのですが、

= l(x)っというのはこの関数自体の返却値で、合っているのでしょうか？

はい、その解釈であっていると思います。

doLambdaの引数xはInt型、引数lは引数にIntを取りIntを返す関数型を表しています。

fun doLambda(x: Int, l: (Int) -> Int) = l(x)

この書き方を少し冗長化して書くと下記のようになります。
このコードから分かるように、doLambdaの戻り値はlという関数の実行結果です。

fun doLambda(x: Int, l: (Int) -> Int): Int {
    //Intを取り、Intを返すl関数を実行
    return l(x)
}

実行する式が単一式の場合、下記のようにreturnと{ }を省略することができます。

fun doLambda(x: Int, l: (Int) -> Int): Int = l(x)

さらに戻り値の型が推論できる場合、戻り値の型も省略できます。（これは質問文に記載の関数と同じものです。）

fun doLambda(x: Int, l: (Int) -> Int) = l(x)

Comments

[kbayashi]

解説ありがとうございます。ラムダ式を利用した関数は利用しない場合と比べ、コードが簡潔になるのが良いですね。関数を定義する時はラムダ式を用いて定義していこうと思います。