Kotlin的 :: 符号是个啥?

语言: CN / TW / HK

highlight: a11y-dark

「这是我参与2022首次更文挑战的第6天,活动详情查看:2022首次更文挑战

前言

在阅读Kotlin的代码时,经常有看到 :: 这个符号,这个符号专业术语叫做成员引用,在代码中使用可以简化代码,那到底怎么使用呢以及使用的范围,这篇文章就来好好捋一下。

正文

这里虽然很熟悉,但是我们还是从简单说起,需要了解为什么这样设计。

传递函数优化

这里我们举个栗子,就看这个熟悉的sortBy排序函数,先定义People类:

js //测试代码 data class People(val name: String,val age: Int){ //自定义的排序条件 fun getMax() : Int{ return age * 10 + name.length } }

然后我们来进行排序:

js val people = People("zyh",10) val people1 = People("zyh1",100) val peopleList = arrayListOf(people,people1) //给sortBy传入lambda peopleList.sortBy { people -> people.getMax() } 这里我们给sortBy函数传递一个lambda,由于sortBy函数是内联的,所以传递给它的lambda会被内联,但是假如现在有个问题,就是这些lambda已经被定义成了函数变量,比如我定义了一个顶层函数:

js //定义了一个顶层函数 fun getMaxSort(people: People): Int{ return (people.age) * 10 + people.name.length } 或者排序条件已经定义成了一个变量值:

js //排序条件 val condition = { people: People -> people.getMax() } 那这时如果我想再进行排序必须要这么写了:

js //调用一遍函数 peopleList.sortBy { getMaxSort(it) } //传递参数 peopleList.sortBy(condition) 然后这里我们可以利用成员引用 :: 符号来优化一下:

js //直接就会调用顶层函数getMaxSort peopleList.sortBy(::getMaxSort) //直接就会调用People类的getMax函数 peopleList.sortBy(People::getMax) 这里看起来就是语法糖,可以简化代码。

成员引用 ::

你有没有想过这里是为什么,这里使用了 :: 符号其实就是把函数转换成了一个值,首先我们使用

js val condition = { people: People -> people.getMax() } 这种时,其实condition就是一个函数类型的变量,这个我们之前文章说过,Kotlin支持完整的函数类型,而使用高阶函数可以用lambda,但是getMaxSort()函数它就是一个函数了,它不是一个值,除非你再外面给它包裹一层构成lambda,所以这里调用condition传递进的是sortBy()中,而getMaxSort(it)是以lambda的形式又包裹了一层。

但是使用 :: 符号后,也就是把函数转换成了一个值,比如 People::getMax 这就是一个值,它代表的就是People内的getMax函数。

而 ::getMaxSort 也是一个值,它表示getMaxSort函数。

使用范围

前面2个例子其实也就表明了这种成员引用的使用范围,一个是类的函数或者属性,还有就是顶层函数,它没有类名,可以省略。

绑定引用

这里再额外说一个知识点,前面说成员引用都是 类名:属性名 这种格式,比如 People::getMax ,但是它在后面KT版本变化后进行了优化,可以看下面代码:

js //定义一个people实例 val people = People("zyh",10) //利用成员引用,把函数转换成值 val ageFun = People::age val age = ageFun(people) //直接在对象实例上使用 :: val ageValue = people::age 从上面我们发现,ageValue的值可以从实例上通过成员引用调用得到,不过这里区别就大了,ageFun是一个函数类型,而ageValue则是一个int值。

总结

总结一下,其实成员引用 :: 很简单,它就是把函数给转成了值,而这个值可以看成是函数类型,这样说就十分好理解了。

不过这个真实原理可不是这么简单,并不是利用lambda又把函数包裹了一层,这里应该是反射的相关知识,我们后续再具体来说其原理,刚好后续有反射相关的文章,大家可以点赞、关注一波。