Kotlin教程笔记(21) -高阶函数与函数引用

简介: Kotlin教程笔记(21) -高阶函数与函数引用

本系列学习教程笔记属于详细讲解Kotlin语法的教程,需要快速学习Kotlin语法的小伙伴可以查看“简洁” 系列的教程

快速入门请阅读如下简洁教程:
Kotlin学习教程(一)
Kotlin学习教程(二)
Kotlin学习教程(三)
Kotlin学习教程(四)
Kotlin学习教程(五)
Kotlin学习教程(六)
Kotlin学习教程(七)
Kotlin学习教程(八)
Kotlin学习教程(九)
Kotlin学习教程(十)

Kotlin教程笔记(21) -高阶函数与函数引用

imgKotlin - 高阶函数与函数引用

#高阶函数

高阶函数是 参数或返回值是函数 的函数,我们之前已经接触过了几个高阶函数,如:

// _Arrays.kt
public inline fun <T> Array<out T>.forEach(action: (T) -> Unit): Unit {
    for (element in this) action(element)
}
public inline fun <T> Array<out T>.filter(predicate: (T) -> Boolean): List<T> {
    return filterTo(ArrayList<T>(), predicate)
}

其中 forEach 要求传入一个函数类型为 (T) -> Unit 的函数作为参数(即带一个参数且无返回值),而 filter 则是要求函数类型为 (T) -> Boolean 的函数作为参数(即带一个参数且返回值是 Boolean 类型)。

Kotlin 中,函数是第一公民。

#函数类型

这里要搞明白什么是函数类型?我们经常会使用 String 、Int 等来描述一个变量的类型,这可以让我们很清楚的知道这个变量具体是个什么东西,而函数类型也一样,它明确描述了变量接收的是一个怎样的函数,函数类型的格式为:(参数1类型, 参数2类型, ..., 参数n类型)->返回值类型

注意:当返回值类型为 Unit 时,这里的 Unit 不能省略,如:(String, String)->Unit

举个例子:

val myFun1: (String) -> Unit = fun(value: String) { println(value) }
val myFun2: (String) -> Unit = { value -> println(value) }

上述代码中,类型为 (String) -> Unit 的常量 myFun1,接收了一个同 函数类型 的匿名函数,而 myFun2 则是接收了一个同 函数类型 的 lambda 表达式,两者其实没啥区别,功能也一样。

lambda 表达式也是一种匿名函数。

#函数引用

参考对象引用这个概念,我们可以把函数引用简单理解为指向函数的变量,如:

val myFun1: (String) -> Unit = fun(value: String) { println(value) }
val myFun2: (String) -> Unit = { value -> println(value) }

这里的 myFun1 和 myFun2 都是函数的引用。这时回过头来看看 forEach 这个高阶函数,我们可以把函数类型为 (T) -> Unit 的函数引用传递给它,说到底不就是把一个变量作为参数传入而已嘛:

fun main(args: Array<String>) {
    val myFun: (String) -> Unit = { value -> println(value) }
    args.forEach(myFun)
}

(T) -> Unit 中的 T 是泛型,此处 forEach 的调用者 args 的类型是 Array<String>,所以这里的实际函数类型是 (String) -> Unit,同理,如果 args 的类型是 Array<Int>,那么函数类型则应该是 (Int) -> Unit

这里就有一个问题,如果不是匿名函数,而是具名函数,能否直接把函数名作为参数传入呢?

image-20241015093100417

很遗憾,这是不行的,函数名不是函数引用,函数名不是函数引用,函数名不是函数引用,不过 Kotlin 提供了双冒号 :: 限定符,可以把函数名转成函数引用,因此代码可以这么写:

fun myFun(value:String){
    println(value)
}
args.forEach(::myFun)

这就不会报错了,如果你仔细观察,就能发现函数 println 本身就符合 (T) -> Unit 要求:

/** Prints the given [message] and the line separator to the standard output stream. */
@kotlin.internal.InlineOnly
public actual inline fun println(message: Any?) {
    System.out.println(message)
}

所以,如果仅仅只是为了打印字符串,那么我们完全可以把 myFun 这一层丢弃,而直接引用 prinln 函数:

args.forEach(::println)

#引用成员方法

到目前为止,我们使用过的函数引用都是一些顶层、局部、扩展函数,而不是类成员方法,如果直接引用类成员方法会报错:

img

KFunction2<MyPrinter, String, Unit> 是什么东西???我们知道顶层、局部、扩展函数的调用并不依赖于对象实例,而类成员方法则需要依赖对象实例,如果直接通过 类名::方法名 来引用一个成员方法,那么该函数引用对应的类型就会在参数列表第 1 位多一个 Receiver 参数(用于接收方法依赖的对象实例),其真实函数类型应该是 (MyPrinter, String) -> Unit,而通过 对象实例::方法名 则是 (String) -> Unit,因此,通过对象实例引用成员方法可以解决该问题:

class MyPrinter{
    fun myFun(value: String) {
        println(value)
    }
}
fun main(args: Array<String>) {
    val myPrinter = MyPrinter()
    args.forEach(myPrinter::myFun)
}

当然了,这不是说类中的方法就一定都是这样引用的,而是要考虑到方法的调用是否需要依赖于对象实例,像 object 或者 companion object 中的方法,就可以像函数那样直接调用,因为不依赖于对象实例,所以函数类型也不会多一个 Receiver 参数,因此可以直接通过 类名::方法名 来引用:

object MyPrinter {
    fun myFun(value: String) {
        println(value)
    }
}

class MyPrinter {
    companion object {
        fun myFun(value: String) {
            println(value)
        }
    }
}

fun main(args: Array<String>) {
    args.forEach(MyPrinter::myFun)
}

补充:方法可以认为是函数的一种特殊类型;从形式上,有 Receiver 的函数即为方法。

#函数类型实例调用

函数引用可以通过其 invoke(……) 操作符调用:f.invoke(x) 或者 f(x)

fun main(args: Array<String>) {
    val myFun1: (String) -> Unit = fun(value: String) { println(value) }
    myFun1.invoke("lqr") // lqr
    myFun1("lqr") // lqr
}

再来看看类成员方法引用的情况,前面说过,直接通过 类名::方法名 来引用一个成员方法,那么该函数引用对应的函数类型就会在参数列表第 1 位多一个 Receiver 参数,就比如这个 String 类中的 plus()方法,它的 Receiver 就是一个 String 对象实例:

val opear: (String, String) -> String = String::plus
val result = opear("hello", " world") // 等价于 "hello".plus(" world")
println(result) // hello world

Receiver 除了可以作为函数类型的首个参数,还可以将其提取出来,通过 . 与原始函数类型连接,同时,调用方法也会因此发生一些变化,类似扩展函数:

val opear: String.(String) -> String = String::plus
val result = "hello".opear(" haha") // 等价于 "hello".plus(" world")
println(result)
相关文章
|
1天前
|
Kotlin 索引
Kotlin教程笔记(22) -常见高阶函数
Kotlin教程笔记(22) -常见高阶函数
13 6
|
21小时前
|
安全 Java 编译器
Kotlin教程笔记(27) -Kotlin 与 Java 共存(二)
Kotlin教程笔记(27) -Kotlin 与 Java 共存(二)
|
1天前
|
Java 开发工具 Android开发
Kotlin教程笔记(26) -Kotlin 与 Java 共存(一)
Kotlin教程笔记(26) -Kotlin 与 Java 共存(一)
kotlin极简教程 高阶函数 函数式编程章节节选
kotlin极简教程 高阶函数 函数式编程章节节选 KotlinChina编程社区 微博 《Kotlin极简教程》正式上架: 点击这里 > 去京东商城购买阅读 点击这里 > 去天猫商城购买阅读 非常感谢 if (boy) { 帅气英俊潇洒} else { 魔鬼身材天使脸蛋美丽动人女神气质} 的您。
1069 0
|
1月前
|
Android开发 开发者 Kotlin
告别AsyncTask:一招教你用Kotlin协程重构Android应用,流畅度飙升的秘密武器
【9月更文挑战第13天】随着Android应用复杂度的增加,有效管理异步任务成为关键。Kotlin协程提供了一种优雅的并发操作处理方式,使异步编程更简单直观。本文通过具体示例介绍如何使用Kotlin协程优化Android应用性能,包括网络数据加载和UI更新。首先需在`build.gradle`中添加coroutines依赖。接着,通过定义挂起函数执行网络请求,并在`ViewModel`中使用`viewModelScope`启动协程,结合`Dispatchers.Main`更新UI,避免内存泄漏。使用协程不仅简化代码,还提升了程序健壮性。
54 1
|
2月前
|
调度 Android开发 开发者
【颠覆传统!】Kotlin协程魔法:解锁Android应用极速体验,带你领略多线程优化的无限魅力!
【8月更文挑战第12天】多线程对现代Android应用至关重要,能显著提升性能与体验。本文探讨Kotlin中的高效多线程实践。首先,理解主线程(UI线程)的角色,避免阻塞它。Kotlin协程作为轻量级线程,简化异步编程。示例展示了如何使用`kotlinx.coroutines`库创建协程,执行后台任务而不影响UI。此外,通过协程与Retrofit结合,实现了网络数据的异步加载,并安全地更新UI。协程不仅提高代码可读性,还能确保程序高效运行,不阻塞主线程,是构建高性能Android应用的关键。
44 4
|
3月前
|
安全 Android开发 Kotlin
Android经典面试题之Kotlin延迟初始化的by lazy和lateinit有什么区别?
**Kotlin中的`by lazy`和`lateinit`都是延迟初始化技术。`by lazy`用于只读属性,线程安全,首次访问时初始化;`lateinit`用于可变属性,需手动初始化,非线程安全。`by lazy`支持线程安全模式选择,而`lateinit`适用于构造函数后初始化。选择依赖于属性特性和使用场景。**
115 5
Android经典面试题之Kotlin延迟初始化的by lazy和lateinit有什么区别?
|
3月前
|
安全 Android开发 Kotlin
Android经典面试题之Kotlin中常见作用域函数
**Kotlin作用域函数概览**: `let`, `run`, `with`, `apply`, `also`. `let`安全调用并返回结果; `run`在上下文中执行代码并返回结果; `with`执行代码块,返回结果; `apply`配置对象后返回自身; `also`附加操作后返回自身
44 8
|
3月前
|
安全 Java Android开发
探索Android应用开发中的Kotlin语言
【7月更文挑战第19天】在移动应用开发的浩瀚宇宙中,Kotlin这颗新星以其简洁、安全与现代化的特性,正迅速在Android开发者之间获得青睐。从基本的语法结构到高级的编程技巧,本文将引导读者穿梭于Kotlin的世界,揭示其如何优化Android应用的开发流程并提升代码的可读性与维护性。我们将一起探究Kotlin的核心概念,包括它的数据类型、类和接口、可见性修饰符以及高阶函数等特性,并了解这些特性是如何在实际项目中得以应用的。无论你是刚入门的新手还是寻求进阶的开发者,这篇文章都将为你提供有价值的见解和实践指导。
|
3月前
|
SQL 安全 Java
Android经典面试题之Kotlin中object关键字实现的是什么类型的单例模式?原理是什么?怎么实现双重检验锁单例模式?
Kotlin 单例模式概览 在 Kotlin 中,`object` 关键字轻松实现单例,提供线程安全的“饿汉式”单例。例如: 要延迟初始化,可使用 `companion object` 和 `lazy` 委托: 对于参数化的线程安全单例,结合 `@Volatile` 和 `synchronized`
47 6