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)
相关文章
|
3天前
|
存储 人工智能 弹性计算
阿里云弹性计算_加速计算专场精华概览 | 2024云栖大会回顾
2024年9月19-21日,2024云栖大会在杭州云栖小镇举行,阿里云智能集团资深技术专家、异构计算产品技术负责人王超等多位产品、技术专家,共同带来了题为《AI Infra的前沿技术与应用实践》的专场session。本次专场重点介绍了阿里云AI Infra 产品架构与技术能力,及用户如何使用阿里云灵骏产品进行AI大模型开发、训练和应用。围绕当下大模型训练和推理的技术难点,专家们分享了如何在阿里云上实现稳定、高效、经济的大模型训练,并通过多个客户案例展示了云上大模型训练的显著优势。
|
7天前
|
存储 人工智能 调度
阿里云吴结生:高性能计算持续创新,响应数据+AI时代的多元化负载需求
在数字化转型的大潮中,每家公司都在积极探索如何利用数据驱动业务增长,而AI技术的快速发展更是加速了这一进程。
|
4天前
|
人工智能 运维 双11
2024阿里云双十一云资源购买指南(纯客观,无广)
2024年双十一,阿里云推出多项重磅优惠,特别针对新迁入云的企业和初创公司提供丰厚补贴。其中,36元一年的轻量应用服务器、1.95元/小时的16核60GB A10卡以及1元购域名等产品尤为值得关注。这些产品不仅价格亲民,还提供了丰富的功能和服务,非常适合个人开发者、学生及中小企业快速上手和部署应用。
|
12天前
|
人工智能 弹性计算 文字识别
基于阿里云文档智能和RAG快速构建企业"第二大脑"
在数字化转型的背景下,企业面临海量文档管理的挑战。传统的文档管理方式效率低下,难以满足业务需求。阿里云推出的文档智能(Document Mind)与检索增强生成(RAG)技术,通过自动化解析和智能检索,极大地提升了文档管理的效率和信息利用的价值。本文介绍了如何利用阿里云的解决方案,快速构建企业专属的“第二大脑”,助力企业在竞争中占据优势。
|
14天前
|
自然语言处理 数据可视化 前端开发
从数据提取到管理:合合信息的智能文档处理全方位解析【合合信息智能文档处理百宝箱】
合合信息的智能文档处理“百宝箱”涵盖文档解析、向量化模型、测评工具等,解决了复杂文档解析、大模型问答幻觉、文档解析效果评估、知识库搭建、多语言文档翻译等问题。通过可视化解析工具 TextIn ParseX、向量化模型 acge-embedding 和文档解析测评工具 markdown_tester,百宝箱提升了文档处理的效率和精确度,适用于多种文档格式和语言环境,助力企业实现高效的信息管理和业务支持。
3935 2
从数据提取到管理:合合信息的智能文档处理全方位解析【合合信息智能文档处理百宝箱】
|
3天前
|
算法 安全 网络安全
阿里云SSL证书双11精选,WoSign SSL国产证书优惠
2024阿里云11.11金秋云创季活动火热进行中,活动月期间(2024年11月01日至11月30日)通过折扣、叠加优惠券等多种方式,阿里云WoSign SSL证书实现优惠价格新低,DV SSL证书220元/年起,助力中小企业轻松实现HTTPS加密,保障数据传输安全。
497 3
阿里云SSL证书双11精选,WoSign SSL国产证书优惠
|
10天前
|
安全 数据建模 网络安全
2024阿里云双11,WoSign SSL证书优惠券使用攻略
2024阿里云“11.11金秋云创季”活动主会场,阿里云用户通过完成个人或企业实名认证,可以领取不同额度的满减优惠券,叠加折扣优惠。用户购买WoSign SSL证书,如何叠加才能更加优惠呢?
985 3
|
7天前
|
机器学习/深度学习 存储 人工智能
白话文讲解大模型| Attention is all you need
本文档旨在详细阐述当前主流的大模型技术架构如Transformer架构。我们将从技术概述、架构介绍到具体模型实现等多个角度进行讲解。通过本文档,我们期望为读者提供一个全面的理解,帮助大家掌握大模型的工作原理,增强与客户沟通的技术基础。本文档适合对大模型感兴趣的人员阅读。
394 15
白话文讲解大模型| Attention is all you need
|
7天前
|
算法 数据建模 网络安全
阿里云SSL证书2024双11优惠,WoSign DV证书220元/年起
2024阿里云11.11金秋云创季火热进行中,活动月期间(2024年11月01日至11月30日),阿里云SSL证书限时优惠,部分证书产品新老同享75折起;通过优惠折扣、叠加满减优惠券等多种方式,阿里云WoSign SSL证书将实现优惠价格新低,DV SSL证书220元/年起。
559 5
|
3天前
|
安全 网络安全
您有一份网络安全攻略待领取!!!
深入了解如何保护自己的云上资产,领取超酷的安全海报和定制鼠标垫,随时随地提醒你保持警惕!
692 1
您有一份网络安全攻略待领取!!!