Kotlin 中的Receiver 是什么

Kotlin官方文档中没有针对Receiver的专题讲解,但这个知识点却贯穿在了整个基础体系中

Receiver

字面意思是接收者,为什么kotlin会有这个概念?首先kotlin中函数是一等公民,和java不一样,java中的函数(准确来说是方法)需要依赖于类,kotlin的函数不依赖类,它可以在任何地方定义,那么在某些场景就会有一些问题

场景1.

开发者想知道函数调用者上下文,看下面代码


1594974078(1).png

如果函数有Receiver,那么this 就是对应的Receiver,如果不写Receiver ,那么this 表示什么?


1594974621(1).png

看到没,没写的话,默认是这个函数所定义的类里面,那如果我们lambda表达式里嵌套lambda表达式,最里层的上下文是哪个呢
1594975059(1).png

与第一层的上下文一致
到这里,我们可以总结下:
1.函数默认Receiver是该函数所定义的类内(感觉有点废话)
2.函数内this指向的是Receiver


1595382612(1).png

我这里为什么要讲:1.函数默认Receiver是该函数所定义的类内 。这句废话,其实是有原因的,
这和kotlin lanbda 表达式原理有关,具体的可以参看kotlin入门潜修之进阶篇—高阶方法和lambda表达式原理;kotlin会为lambda表达式生成一个新类,类名为自己所处的类名(Test)+ 所处的方法名(test)+ 数字(从1开始,有多个则依次递增)。该类继承了Lambda类并实现了对应的Function接口,那按照这个原理,那么lambda表达式内的this指向的就是编译器为lambda生成的新类,这与我上面的两点总结不符合,但是上面两点总结是根据事实而来,这说明在JVM层面,肯定对这种情况作了处理,至于怎么处理的,我也没有找到具体的依据。如果读者有好的见解还望评论分享下
我这里从Java与kotlin之间的联系来解读下为什么JVM会做这种转换处理以及为什么需要Receiver这个概念
我们知道Java中我们通常说的函数其实是不准确的,应该称为方法,Java中的方法需依赖于类,java中的this指向的是调用者本身。因为kotlin(本文讨论的kotlin是基于java)是基于Java之上的封装,所以对于开发者而言,this 不管是在kotlin 还是在java中 概念都应该保持统一,即代表上下文,或者说this指向的都是调用这本身,但是kotlin 中的函数是有自己的类型,或者说它可以自己调用自己,不需要依赖类,这样就会存在一些问题,那怎样将kotlin中的this翻译成Java中的this呢,在转换的时候怎么处理,这时候就借用了Receiver这个概念了,kotlin可以默认或者指定某个函数的Receiver,这样类似于对这个函数做了一份主权申明:“这个函数是定义在我这个类的”。这样做的好处就是在转换成Java语言时可以根据Receiver来明确上下文this.我们可以在kotlin 字节码中找的到了$Receicer 这个常量。