Kotlin高阶函数摘要

声明高阶函数

val sum = { x: Int, y: Int -> x + y }

显示声明

val sum: (Int, Int) -> Int = { x, y -> x + y }

函数类型的返回值也可以标记为可空类型:

var canReturnNull: (Int, Int) -> Int? = { null }

定义一个函数类型的可空变量

var funOrNull: ((Int, Int) -> Int)? = null

调用作为参数的函数

fun twoAndThree(operation: (Int, Int) -> Int) {
    // 调用函数类型的参数
    val result = operation(2, 3)
    println("The result is $result")
}
>>> twoAndThree { a, b -> a + b }
The result is 5
>>> twoAndThree { a, b -> a * b }
The result is 6

看到这个调用我们很自然的会想到,在 Java 中该怎么调用这样的方法呢?

其背后的原理是,函数类型被声明为普通的接口:一个函数类型的变量是FunctionN接口的一个实现。Kotlin 标准库定义了一系列的接口,这些接口对应于不同参数数量的函数:Function0<R>(没有参数的函数),Function1<P1,R>(一个参数的函数),等等。每个接口定义了一个invoke方法,调用这个方法就会执行函数。一个函数类型的变量就是实现了对应的FunctionN接口的实现类的实例,实现类的invoke方法包含了 lambda。

Java 8 的 lambda 会被自动转换为函数类型的值。

/* Kotlin 声明 */
fun processTheAnswer(f: (Int) -> Int) {
    println(f(42))
}

/* Java */
>>> processTheAnswer(number -> number + 1);
43

在旧版的 Java 中,你可以传递一个实现了函数接口中的invoke方法的匿名类的实例:

/* Java */
>>> processTheAnswer(
        // 在Java代码中使用函数类型(Java 8以前)
        new Function1<Integer, Integer>() {
             @Override
             public Integer invoke(Integer number) {
                 System.out.println(number);
                 return number + 1;
                 }
         });
43

Java 中你可以很容易地使用 Kotlin 标准库中以 lambda 作为参数的扩展函数。但是要注意它们看起来并没有Kotlin中那么直观——你必须要显式地传递一个接收者对象作为第一个参数:

/* Java */
>>> List<String> strings = new ArrayList();
>>> strings.add("42");
// 你可以在 Java 代码中使用 Kotlin 标准库中的函数
>>> CollectionsKt.forEach(strings, s -> {
        System.out.println(s);
        // 必须要显式地返回一个Unit类型的值
        return Unit.INSTANCE;
    });

在 Java 中,函数或者 lambda 可以返回Unit。但因为在Kotlin 中Unit类型是有一个值的,所以需要显式地返回它。一个返回void的 lambda 不能作为返回Unit的函数类型的实参,就像之前的例子中的(String) -> Unit

内联函数:inline

为什么要用内联函数?

每调用一次 lambda 表达式,一个额外的类就会被创建。并且如果 lambda 捕捉了某个变量,那么每次调用的时候都会创建一个新的对象。这会带来运行时的额外开销,导致使用 lambda 比使用一个直接执行相同代码的函数效率更低。

定义:

inline fun <T> synchronized(lock: Lock, action: () -> T): T {
    lock.lock()
    try {
        return action()
    }
    finally {
        ock.unlock()
    }
}

使用内联函数

fun foo(l: Lock) {
    println("Before sync")
    synchronized(l) {
        println("Action")
    }
    println("After sync")
}

下图展示的是作用相同的代码,将会被编译成同样的字节码:


inline.png

注意上看代码中传递给synchronized内联函数的第二个参数是一个lambda,它也被内联了!!!

但是,如果传递给内联函数作为参数的只是一个函数类型的变量:

class LockOwner(val lock: Lock) {
    fun runUnderLock(body: () -> Unit) {
            // 传递一个函数类型的变量作为参数,而不是一个 lambda 
          synchronized(lock, body)
    }
}

runUnderLock函数会被编译成类似于以下函数的字节码:

class LockOwner(val lock: Lock) {
    // 这个函数类似于真正的runUnderLock被编译成的字节码
    fun___runUnderLock__(body: () -> Unit) {
        lock.lock()
        try {
            // body没有被内联,因为在调用的地方还没有 lambda 
            body()
        }
        finally {
            lock.unlock()
         }
    }
}

在编译器做内联操作的时候,这个body其实是没有真正意义上的函数体的,所以将不会跟内联函数一起被展开。

内联函数的限制

  • lambda 参数如果被直接调用或者作为参数传递给另外一个 inline 函数, 它是可以被内联的。否则的话,编译器会禁止参数被内联并给出错误信息“Illegal usage of inline-parameter”(非法使用内联参数)。

  • 如果一个函数期望两个或更多 lambda 参数,你可以选择只内联其中一些参数。因为一个 lambda 可能会包含很多代码或者以不允许内联的方式使用。

    如果你要内联的函数很大,将它的字节码拷贝到每一个调用点将会极大的增加字节码的长度。在这种情况下,你应该将那些与 lambda 参数无关的代码抽取到一个独立的非内联函数中。

​ 接受这样的非内联 lambda 的参数,你可以用noinline修饰符来标记它:

   ```kotlin

inline fun foo(inlined: () -> Unit, noinline notInlined: () -> Unit) {
// ...
}
```

  • 编译器完全支持内联跨模块的函数或者第三方库定义的函数。你也可以在 Java 中调用绝大部分内联函数,但这些调用并不会被内联,而是被编译成普通的函数调用。
  • Kotlin 标准库函数都是内联函数,但会产生中间集合;而改用asSequence以后,lambda将被保存在中间序列对象中,因此不会被内联。两者个有优劣,处理大量数据的集合时asSequence有用,小的集合可以用普通的集合操作处理。

  • use这个内联函数很有用,并在Kotlin的流操作和文件操作函数中被广泛使用,函数定义:

public inline fun <T : Closeable?, R> T.use(block: (T) -> R): R {
    var exception: Throwable? = null
    try {
        return block(this)
    } catch (e: Throwable) {
        exception = e
        throw e
    } finally {
        when {
            apiVersionIsAtLeast(1, 1, 0) -> this.closeFinally(exception)
            this == null -> {}
            exception == null -> close()
            else ->
                try {
                    close()
                } catch (closeException: Throwable) {
                    // cause.addSuppressed(closeException) // ignored here
                }
        }
    }
}

高阶函数中的控制流

非局部返回

如果你在lambda中使用return关键字,它会从调用lambda的函数中返回,并不只是从lambda中返回。这样的return语句叫做非局部返回,因为它从一个比包含return的代码块更大的代码块中返回了。

局部返回

你也可以在lambda表达式中使用局部返回,使用标签。想从一个lambda表达式处返回你可以标记它,然后在return关键字后面引用这个标签。

fun lookForAlice(people: List<Person>) {
    // 标记lambda表达式
    people.forEach label@{
        // return@label 引用标签
        if (it.name == "Alice") return@label
    }
    // 这行总是会被打印出来
    println("Alice might be somewhere")
}

>>> lookForAlice(people)
Alice might be somewhere

另外一种选择是,使用lambda作为参数的函数的函数名可以作为标签。

fun lookForAlice(people: List<Person>) {
    people.forEach {
        // return@forEach 从lambda表达式返回
        if (it.name == "Alice") return@forEach
    }
    println("Alice might be somewhere")
}

如果你显式地指定了lambda表达式的标签,再使用函数名作为标签没有任何效果。一个lambda表达式的标签数量不能多于一个。

如果你给带接收者的lambda指定标签,就可以通过对应的带有标签的this表达式访问它的隐式接收者:

// 这个lambda的隐式接收者可以通过this@sb访问
>>> println(StringBuilder().apply sb@{
        // “this”指向作用域内最近的隐式接收者
...     listOf(1, 2, 3).apply {
            // 所有隐式接收者都可以被访问,外层的通过显式的标签访问
...         this@sb.append(this.toString())
...     }
... })
[1, 2, 3]

非局部返回的语法相当的冗长,如果一个lambda包含多个返回语句会变得更加的笨重。解决方案是,你可以使用另一种可选的语法来传递代码块:匿名函数

fun lookForAlice(people: List<Person>) {
    // 使用匿名函数取代lambda表达式
    people.forEach(fun (person) {
        // “return”指向最近的函数:一个匿名函数
        if (person.name == "Alice") return
        println("${person.name} is not Alice")
    })
}

匿名函数和普通函数有相同的指定返回值类型的规则。

people.filter(fun (person): Boolean {
    return person.age < 30
})

如果使用表达式函数体,就可以省略返回类型。

people.filter(fun (person) = person.age < 30)

这条规则很简单return从最近的使用fun关键字声明的函数返回。lambda表达式没有使用fun关键字,所以lambda中的return从最外层的函数返回。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 212,686评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,668评论 3 385
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 158,160评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,736评论 1 284
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 65,847评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,043评论 1 291
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,129评论 3 410
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,872评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,318评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,645评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,777评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,470评论 4 333
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,126评论 3 317
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,861评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,095评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,589评论 2 362
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,687评论 2 351

推荐阅读更多精彩内容